From: Tom Payne <thp@roam-thp2.cs.ucr.edu>
Subject: Re: multi reads, single write
Date: 1999/12/14
Date: 1999-12-14T00:00:00+00:00 [thread overview]
Message-ID: <836gbn$j72$2@pravda.ucr.edu> (raw)
In-Reply-To: s5dc7411qrs59@corp.supernews.com
In comp.programming.threads Vladimir Olensky <vladimir_olensky@yahoo.com> wrote:
> Tom Payne wrote in message <833uh9$e4p$1@pravda.ucr.edu>...
[...]
>>Vladimir Olensky <vladimir_olensky@yahoo.com> wrote:
>>[...]
>>> My answer was exactly how to do that in a very simple and efficient
>>> way - using protected types in Ada that are specially designed for
>>> "multi-read single write" scenario in multithreaded/multitasking
>>> environment.
>>
>>Your answer does not, however, respond to the question of "what is the
>>most efficient way to implement" a CREW protocol. It merely states
>>that all Ada implementations have a built-in implementation, which is
>>interesting but not particularly helpful.
[...]
> =============================================
> Some quotes from Ada ARM (9.1):
[...]
> Ada 95 protected objects are an amalgam of the best features
> of conditional critical regions and monitors: they collect all the
> data and operations together, like monitors, and yet they have
> barriers, like conditional critical regions. The barriers describe
> the required state that must exist before an operation can be
> performed in a clear manner which aids program proof and
> understanding. Protected objects are very similar to the shared
> objects of the Orca language developed by Bal, Kaashoek and
> Tanenbaum [Bal 92].
That's helpful and interesting, especially the last sentence.
Thanks, ;-)
Tom Payne
next prev parent reply other threads:[~1999-12-14 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <3847B024.EC4FD04F@essex.ac.uk>
[not found] ` <s55ijfn65347@corp.supernews.com>
[not found] ` <S8D44.2440$Fg4.55139@cac1.rdr.news.psi.ca>
[not found] ` <s57jva4653132@corp.supernews.com>
[not found] ` <It254.26$0M4.4114@cac1.rdr.news.psi.ca>
[not found] ` <s59nkfe15396@corp.supernews.com>
[not found] ` <833uh9$e4p$1@pravda.ucr.edu>
1999-12-14 0:00 ` multi reads, single write Vladimir Olensky
1999-12-14 0:00 ` Tom Payne [this message]
[not found] ` <slrn85ahtm.709.kaz@ashi.FootPrints.net>
[not found] ` <s5at141453168@corp.supernews.com>
[not found] ` <slrn85b2bs.b2j.kaz@ashi.FootPrints.net>
1999-12-15 0:00 ` Vladimir Olensky
[not found] ` <3854FCC0.D0127CD8@bbnplanet.com>
[not found] ` <s5d9d16j5397@corp.supernews.com>
[not found] ` <3858F8FA.CA9BD032@bbnplanet.com>
1999-12-16 0:00 ` Mike Silva
1999-12-16 0:00 ` Laurent Guerby
1999-12-16 0:00 ` Mike Silva
1999-12-12 0:00 Vladimir Olensky
1999-12-14 0:00 ` Samuel T. Harris
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox