On Tue, 2014-01-28 at 02:15 +0000, Joseph S. Myers wrote: > __ASSUME_FUTEX_LOCK_PI, __ASSUME_PRIVATE_FUTEX, > __ASSUME_FUTEX_CLOCK_REALTIME, __ASSUME_REQUEUE_PI, Being able to assume these would simplify the lock/condvar/semaphore implementations somewhat.