comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Suspicious reentrant semaphore
Date: 01 May 2003 05:59:13 +0100
Date: 2003-05-01T05:59:13+01:00	[thread overview]
Message-ID: <x7vhe8fb6u6.fsf@smaug.pushface.org> (raw)
In-Reply-To: 1b585154.0304301521.3792f86d@posting.google.com

prichtmyer@yahoo.com (Peter Richtmyer) writes:

> "Randy Brukardt" <randy@rrsoftware.com> wrote in message news:<vb02ga5bun2lcc@corp.supernews.com>...
> > 
> >         entry Get when True is
> 
> I'm curious, why the "when True" above ?

It has to be an entry so that it can be requeued if it turns out to be
necessary to do so, but it's one that needs to be accepted
unconditionally.

You use this style when the logical guard (the one you want to write)
can't be expressed in the language as a guard..



  reply	other threads:[~2003-05-01  4:59 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-04-29 22:04 Suspicious reentrant semaphore Jano
2003-04-30  8:06 ` Dmitry A. Kazakov
2003-05-01 12:33   ` Jano
2003-05-02  7:28     ` Dmitry A. Kazakov
2003-05-02 11:24       ` Jano
2003-05-02 20:29         ` tmoran
2003-05-05 11:24       ` Michal Morawski
2003-05-05 17:42         ` Simon Wright
2003-05-05 18:03         ` Jano
2003-05-05 20:18           ` Micha� Morawski
2003-04-30 13:07 ` Ian Broster
2003-05-01 12:33   ` Jano
2003-04-30 17:39 ` Randy Brukardt
2003-04-30 23:21   ` Peter Richtmyer
2003-05-01  4:59     ` Simon Wright [this message]
2003-05-01 12:46   ` Jano
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox