On 13/01/2015 15:26, Pavel Dovgaluk wrote: >> > Should you instead distinguish which TimerListGroup is being run? Then >> > main loop would checkpoint once for every TimerListGroup (which means >> > twice). > Then I'll have to introduce some kind of deterministic ID for them > and new asynchronous event to be saved instead of common checkpoints. > Because these calls can be invoked in any order. > But I have no idea of how to make such a deterministic ID.
There is currently one TimerListGroup per iothread object, and two more. You can start by not supporting iothreads, or you can give a deterministic ID to iothreads. Paolo
