From: "Jeffrey R. Carter" <jrcarter@acm.org>
Subject: Re: Arguments for single-mutex-exclusion on protected types (Was: Does Ada tasking profit from multi-core cpus?)
Date: Wed, 21 Mar 2007 00:10:14 GMT
Date: 2007-03-21T00:10:14+00:00 [thread overview]
Message-ID: <GJ_Lh.28521$y92.10315@attbi_s22> (raw)
In-Reply-To: <etp6st$q37$1@jacob-sparre.dk>
Randy Brukardt wrote:
>
> I was thinking about a solution that doesn't clutter the cliient's view of
> the library with (usually) irrelevant details (such as whether the library
> is implemented with protected objects). After all, information hiding is
> good! If you're willing to ignore that (and you are), then it certainly is
> possible. But I was thinking about a library that uses as the ceiling
> whatever the highest priority it is called with: that can't be implemented
> in Ada 95. (Such a library would not make anything having to do with
> priorities visible.)
OK. We're talking about 2 different things.
> If you really care about priorities, then your solution is probably better
> (it allows more analyzability). Which just demonstrates that you can't just
> make something "task-safe". You have to answer the question of "task-safe
> for what?". And that tends to lead to families of libraries rather than an
> all-in-one solution (like Ada.Containers) - or impacts reusability.
Right. Concurrency adds an addition dimension. On the other hand, many
multi-tasking applications I've worked on have used the PragmARCs'
bounded, blocking queues, or something very like them.
--
Jeff Carter
"Crucifixion's a doddle."
Monty Python's Life of Brian
82
next prev parent reply other threads:[~2007-03-21 0:10 UTC|newest]
Thread overview: 61+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-01-29 11:57 Does Ada tasking profit from multi-core cpus? Gerd
2007-01-29 12:04 ` Georg Bauhaus
2007-01-30 13:55 ` Gerd
2007-02-09 10:18 ` karl
2007-02-09 11:03 ` Stefan Lucks
2007-02-09 11:35 ` Ludovic Brenta
2007-03-04 17:54 ` jpluto
2007-03-05 10:08 ` Ludovic Brenta
2007-03-05 13:12 ` Dmitry A. Kazakov
2007-03-06 5:33 ` tmoran
2007-03-06 8:44 ` Dmitry A. Kazakov
2007-03-07 7:52 ` tmoran
2007-03-07 9:31 ` tmoran
2007-03-06 9:40 ` Colin Paul Gloster
2007-03-06 12:47 ` Jeffrey Creem
2007-03-06 14:44 ` Georg Bauhaus
2007-03-06 16:53 ` Dr. Adrian Wrigley
2007-03-06 18:58 ` tmoran
2007-03-07 10:11 ` Colin Paul Gloster
2007-03-07 18:47 ` tmoran
2007-03-06 18:51 ` Jeffrey R. Carter
2007-03-16 14:29 ` Arguments for single-mutex-exclusion on protected types (Was: Does Ada tasking profit from multi-core cpus?) Jacob Sparre Andersen
2007-03-17 5:26 ` Jeffrey R. Carter
2007-03-17 17:22 ` Robert A Duff
2007-03-17 17:52 ` Jeffrey R. Carter
2007-03-17 23:06 ` Randy Brukardt
2007-03-18 17:57 ` Robert A Duff
2007-03-19 21:49 ` Randy Brukardt
2007-03-20 0:55 ` Jeffrey R. Carter
2007-03-20 1:36 ` Randy Brukardt
2007-03-20 16:32 ` Jeffrey R. Carter
2007-03-20 17:51 ` Randy Brukardt
2007-03-21 0:10 ` Jeffrey R. Carter [this message]
2007-03-26 23:38 ` Robert A Duff
2007-03-26 23:24 ` Robert A Duff
2007-03-17 10:25 ` Dmitry A. Kazakov
2007-03-18 17:15 ` Arguments for single-mutex-exclusion on protected types Jacob Sparre Andersen
2007-03-18 18:50 ` Dmitry A. Kazakov
2007-03-20 12:38 ` Florian Weimer
2007-03-07 3:58 ` Does Ada tasking profit from multi-core cpus? Steve
2007-03-07 8:39 ` Dmitry A. Kazakov
2007-03-08 5:21 ` Randy Brukardt
2007-03-08 10:15 ` Dmitry A. Kazakov
2007-03-08 21:18 ` accuracy (was: Does Ada tasking profit from multi-core cpus?) Björn Persson
2007-03-09 8:33 ` accuracy Dmitry A. Kazakov
2007-03-10 1:39 ` accuracy Randy Brukardt
2007-03-10 9:11 ` accuracy Dmitry A. Kazakov
2007-03-11 3:03 ` accuracy Randy Brukardt
2007-03-11 5:21 ` accuracy tmoran
2007-03-11 8:52 ` accuracy Dmitry A. Kazakov
2007-03-11 13:57 ` accuracy Pascal Obry
2007-03-11 14:16 ` accuracy Dmitry A. Kazakov
2007-03-11 14:37 ` accuracy Pascal Obry
2007-03-11 15:50 ` accuracy Dmitry A. Kazakov
2007-03-11 17:38 ` accuracy Pascal Obry
2007-03-11 18:48 ` accuracy Dmitry A. Kazakov
2007-03-12 20:20 ` accuracy Randy Brukardt
2007-03-13 9:33 ` accuracy Dmitry A. Kazakov
2007-03-10 14:53 ` accuracy Stephen Leake
2007-03-10 18:36 ` accuracy Cesar Rabak
2007-03-05 18:46 ` Does Ada tasking profit from multi-core cpus? Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox