-
- Downloads
Condvar: Move unlock of user mutex
Move the unlocking of the user's mutex in condvar_wait() a bit earlier, while we still hold the condvar's internal mutex. This does not change correctness, but it is needed for the wait morphing protocol, where we assume that once condvar_wake() finds this thread's wait_record (which can happen as soon as we release the internal mutex), we are no longer holding the user mutex.
Please register or sign in to comment