Synchronization primitives for Tornado coroutines