Re: Hurd_condition_wait

[Marcus Brinkmann]

On Sun, Nov 17, 2002 at 12:24:03PM -0500, Neal H. Walfield wrote:
> > Is there a race condition before __pthread_block? We can receive
> > pthread_broadcast before we have blocked.
> > If so, how do we solve that? 
> 
> As I said in a previous email, a __pthread_wakeup queues a message on
> the waiter's port (using mach_msg).  If this happens before the waiter
> calls does a receive on his port (i.e. via __pthread_block calling
> mach_msg), then it will be there when the waiter arrives.  If it
> happens after the waiter calls mach_msg then the waiter gets the
> message.  Thus, no race.

What about non-Mach backends?  I would feel better about an
internal-interface-guarantee argument rather than an implementation
argument.

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' GNU      http://www.gnu.org    marcus@gnu.org
Marcus Brinkmann              The Hurd http://www.gnu.org/software/hurd/
Marcus.Brinkmann@ruhr-uni-bochum.de
http://www.marcus-brinkmann.de/