Markus <markus / reality.com> writes:

> Odd.  I'll look at it some more this evening (though as I'm leaving
> for a week in Costa Rica this Sunday my time is growing short).

Oh, have a nice trip. 

> Does it always deadlock on in same state (0 & 1 on the table)?  Or is
> there any other pattern you can discern?

Yes, really. It deadlocks always when the waiter puts 0 and 1 (or 1 and
0) on the table...

>    -- Markus
>
> P.S. Your understanding of the fix is spot on.

Good, then I think "the Grosche is gefalle". ;-)

Regards,
Tassilo
-- 
Q: What's the difference between a golfer and a skydiver?
A: A golfer goes "[WHACK] ... Oh shit!".  /---------------\ 
   A skydiver goes "Oh shit! ... [WHACK]" | www.fscnrw.de |
                                          \---------------/