From: "James S. Rogers" <jimmaureenrogers@worldnet.att.net>
Subject: Re: D.10
Date: 1999/04/12
Date: 1999-04-13T01:34:05+00:00 [thread overview]
Message-ID: <7eu6ud$8lc$1@bgtnsc03.worldnet.att.net> (raw)
In-Reply-To: m3ogkuuriu.fsf@mheaney.ni.net
Matthew Heaney wrote in message ...
>Paragraph D.10 (7) states that
>
>"The operations Set_True and Set_False are atomic with respect to each
>other and with respect to Suspend_Until_True..."
>
>
>Q: Is Suspend_Until_True atomic with respect to Suspend_Until_True?
>
>In 12.3.1 of Burns and Wellings, they state that a semaphore can be used
>to program mutual exclusion between two tasks, like this:
>
Why not implement this as a protected object instead of a task. Protected
operations are guaranteed to be atomic.
Jim Rogers
Colorado Springs, Colorado
next prev parent reply other threads:[~1999-04-12 0:00 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-04-12 0:00 D.10 Matthew Heaney
1999-04-12 0:00 ` D.10 Steve Quinlan
1999-04-12 0:00 ` James S. Rogers [this message]
1999-04-13 0:00 ` D.10 Matthew Heaney
1999-04-13 0:00 ` D.10 Robert Dewar
1999-04-13 0:00 ` D.10 Matthew Heaney
1999-04-13 0:00 ` D.10 Robert Dewar
1999-04-13 0:00 ` D.10 Matthew Heaney
1999-04-13 0:00 ` D.10 Robert A Duff
1999-04-13 0:00 ` D.10 Robert Dewar
1999-04-13 0:00 ` D.10 Robert A Duff
1999-04-13 0:00 ` D.10 Robert Dewar
1999-04-13 0:00 ` D.10 Robert Dewar
1999-04-13 0:00 ` D.10 Matthew Heaney
1999-04-13 0:00 ` D.10 Tucker Taft
1999-04-14 0:00 ` D.10 Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox