[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Hurd_condition_wait

From: Marcus Brinkmann
Subject: Re: Hurd_condition_wait
Date: Sun, 17 Nov 2002 18:40:07 +0100
User-agent: Mutt/1.4i

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


`Rhubarb is no Egyptian god.' GNU      http://www.gnu.org    marcus@gnu.org
Marcus Brinkmann              The Hurd http://www.gnu.org/software/hurd/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]