Re: [Boost-users] thread: condition::notify() does not require a lock - why?

Thomas Costa wrote:

The mutex ensures correctness even if not being held when the cond variable is signalled/broadcast AS LONG AS the "state" being waited on is only modified WHILE holding the mutex.

Thanks, it all makes sense now. I also posted the question to comp.programming.threads and got some detailed responses. Apparently this sort of question comes up quite regularly... Thank you for the explanation.