Open
Description
Over the past few years, I have observed the following behavior a couple of times: In WorldState
, the DeferredUIMessages
SharedQueue
keeps non-empty permanently, and sending nextOrNil
to it always answers nil
. Practically, this causes UI messages being handled a few ticks too late, or even never. In this situations, readSynch
apparently has not been signaled often enough. I have however no idea how this situation arises, nor I could reproduce it ... possibly some concurrency issue?