Efficient race detection in the presence of programmatic event loops
Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade · 2016
An event loop is the basic scheduling mechanism for programs that respond to asynchronous events. In some frameworks, only the runtime can spin event loops, while in others, these can also be spun programmatically by event handlers. The latter provides more flexibility and helps improve responsiveness in cases where an event handler must wait for some input, for example, from the user or network. It can do so while spinning an event loop.