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


  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