I think I found the bug. If a thread calls pthread_cond_timedwait(), and the
computed wakeup time is less than 1 microsecond into the future, then the
thread can sleep indefinitely. I'm testing a fix at the moment..

Andrew