Changes to support better interaction between Windows event queue and TINN
scheduler