comp.lang.ada
 help / color / mirror / Atom feed
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










  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