"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 ?