Thank you. I'm holding off merging this for now, as I think the right thing would be for SCHEDULE-TIMER to notice that timers have already been scheduled for the time in question -- and to have a single SIGALRM run all the due timers. Maybe.
Of course, fixing that means a new stress test needs to be written too...
Thank you. I'm holding off merging this for now, as I think the right thing would be for SCHEDULE-TIMER to notice that timers have already been scheduled for the time in question -- and to have a single SIGALRM run all the due timers. Maybe.
Of course, fixing that means a new stress test needs to be written too...