Re: multi reads, single write

[Laurent Guerby <guerby@acm.org>]

"Mike Silva" <mjsilva@jps.net> writes:
> I've cross-posted this to comp.lang.ada because I'm interested in any
> insight they may have there.  While an Ada task entry can easily do such
> bounded waiting (see e.g. http://www.adahome.com/Ammo/cpp2ada.html "7.2.4
> delays"), it appears from my newbie reading on protected types that they do
> not allow this.  [...]

They do, a protected entry is just like a task entry. The difference
is between protected procedure and protected entries. Calling a protected
procedure is conceptually not blocking (the model is spin locking).

Example of bounded waiting on an entry:

   R : Resource;

   ...

   select
      R.Seize;
   or
      delay 1.0;
      --  resource still not available after 1 second, try something else
   end select;

--LG