While this is true for a simple mutex, this is no longer true when waiting on multiple mutexes, and providing a fast and correct implementation in user...