• Jan Včelák's avatar
    evsched: attempt to fix rare data race · fe6a0409
    Jan Včelák authored
    The scheduled time of an event must not be changed when the event is
    potentially in the heap and the heap is not locked. Otherwise a parallel
    modification of the heap could break the heap property and the planning
    might not work reliably.
    
    close #390
    fe6a0409