What car would ever use a clock for anything essential, instead of a timer? You could say the same thing about the futex option that caused this issue in Linux

What car would ever use a clock for anything essential, instead of a timer? You could say the same thing about the futex option that caused this issue in Linux in the first place. If the futex call specified a timeout in duration rather than an absolute time, this bug wouldn't have been hit (I observed the two different kinds of futex use during the leap second event).