Better handling of slow timers

Make sure the code deals more gracefully with timers that take a
long time to execute, and therefore might miss their deadlines.
1 file changed