I am unsure how to map your reply to my concept of HyperDex's event loop (and C API).

I just generalized about "thread safety" and async programming. So it was nothing specific to your particular code.