From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Timeouts in Ada
Date: Fri, 25 Jul 2014 00:16:22 -0500
Date: 2014-07-25T00:16:22-05:00 [thread overview]
Message-ID: <lqsp76$b75$1@loke.gir.dk> (raw)
In-Reply-To: wccppgu9398.fsf@shell01.TheWorld.com
"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wccppgu9398.fsf@shell01.TheWorld.com...
...
> I think the reason multiple entries are not allowed is that during the
> Ada 9X project, it was thought to be too hard to implement.
> Or too hard to implement on existing implementations (which of course
> had not been designed for that).
It wasn't so much that it was too hard to implement, but that it was too
hard to implement better than a programmer could write themselves. I recall
something about essentially having to poll the entries. I don't know
off-hand if there would have been some way to implement it sensibly if one
was starting from scratch; I do remember that none of the 3 teams that
analyzed the feature could come up with an efficient implementation. The
real problem was that the people that were requesting the feature were
hard-real time types that expect everything to happen immediately -- and
that's not how this was going to work in practice.
We also analyzed ATC, which is equally expensive. But of course that did get
in, because the expensive implementation is OK for the sorts of uses that it
puts too.
It would be interesting to find those papers; I'm sure I still have them in
a dusty box somewhere. (Our paper should also be on-line somewhere here, but
it's not on my current computer, so finding it would be interesting.)
Randy.
next prev parent reply other threads:[~2014-07-25 5:16 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-17 5:18 Timeouts in Ada NiGHTS
2014-07-17 7:08 ` Simon Wright
2014-07-17 8:35 ` NiGHTS
2014-07-21 23:34 ` Randy Brukardt
2014-07-22 1:11 ` Shark8
2014-07-22 7:39 ` J-P. Rosen
2014-07-22 8:31 ` Simon Wright
2014-07-22 21:52 ` Randy Brukardt
2014-07-17 7:38 ` J-P. Rosen
2014-07-17 8:40 ` NiGHTS
2014-07-17 10:00 ` J-P. Rosen
2014-07-17 19:27 ` Jeffrey Carter
2014-07-17 19:51 ` J-P. Rosen
2014-07-17 20:52 ` Jeffrey Carter
2014-07-17 20:29 ` Adam Beneschan
2014-07-17 20:52 ` J-P. Rosen
2014-07-21 23:44 ` Randy Brukardt
2014-07-17 20:43 ` Jeffrey Carter
2014-07-21 23:37 ` Randy Brukardt
2014-07-17 7:42 ` Dmitry A. Kazakov
2014-07-17 8:59 ` NiGHTS
2014-07-17 9:48 ` Dmitry A. Kazakov
2014-07-17 17:10 ` NiGHTS
2014-07-17 20:45 ` Dmitry A. Kazakov
2014-07-17 16:12 ` Adam Beneschan
2014-07-17 16:46 ` NiGHTS
2014-07-17 17:11 ` Simon Wright
2014-07-17 17:58 ` NiGHTS
2014-07-17 19:02 ` Jeffrey Carter
2014-07-17 18:58 ` Jeffrey Carter
2014-07-17 18:12 ` Adam Beneschan
2014-07-17 19:27 ` Jeffrey Carter
2014-07-17 18:56 ` Jeffrey Carter
2014-07-23 22:37 ` Robert A Duff
2014-07-24 9:23 ` AdaMagica
2014-07-24 15:37 ` Robert A Duff
2014-07-25 5:16 ` Randy Brukardt [this message]
2014-07-25 9:11 ` AdaMagica
2014-07-25 16:15 ` Brad Moore
2014-07-25 16:34 ` Dmitry A. Kazakov
2014-07-17 19:27 ` Jeffrey 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