> The patch is correct but your description is not. No correct program > can ever hit that code. The mutex unlocking has to fail and this is not > possible unless the programmer makes a bad mistake. That's what I meant by not manipulating the condition variable with the mutex locked.