We have a somewhat dubious pattern here where it is possible for an alarm to invoke inline and attempt to hold a lock that was already acquired. The lock use itself isn't necessary, because condition variables are surprisingly atomic.