Condition variables?

[David Brown]

On Tue, Oct 02, 2007 at 09:18:14AM -0700, Kris wrote:
>"Sean Kelly" <sean at f4.ca> wrote
>[snip]
>> That call encapsulates some of the logic normally written by hand in 
>> mutex/condition blocks.  The "count > 0" is the boolean operation to be 
>> evaluated.  Personally, I think it's kind of an odd design.
>
>Mesa vs Hoare ? 

I guess so.  Usually, I've just seen that as the difference between needing 'if' vs 'while'.
Since I've never used a system with real Hoare semantics, I'm just not used
to determining the condition on the signalling side.  To me, it puts the
logic in the wrong place.

Dave