From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Timeouts in Ada
Date: Mon, 21 Jul 2014 18:44:55 -0500
Date: 2014-07-21T18:44:55-05:00 [thread overview]
Message-ID: <lqk8ln$50m$1@loke.gir.dk> (raw)
In-Reply-To: lq9d2e$2on$1@dont-email.me
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1452 bytes --]
"J-P. Rosen" <rosen@adalog.fr> wrote in message
news:lq9d2e$2on$1@dont-email.me...
> Le 17/07/2014 22:29, Adam Beneschan a écrit :
>> J-P's statement makes no sense if we're talking about low-level or OS
>> threads
> I should have included my statement between <lawiers_hat_off> ...
> </lawiers_hat_off>
>
> In practice, and not to confuse the OP, tasks correspond to OS threads.
> I meant that the language does not require creating separate threads
> when not explicitely stated. Of course, a crazy implementation can do it
> any way it pleases, provided it is equivalent to the model.
Nothing crazy about it for implementing ATC. I remember talking about doing
exactly that when Ada 9x was designed, and the rules were supposed to allow
it. But it does require some hoops vis-a-vis exceptions, current task, etc.
ATC isn't useful on Windows unless one uses two threads, as most OS calls
cannot be interrupted. The first example in the RM - 9.7.4(11) will never
work on Windows unless a two thread model is used. We just discussed that in
the ARG meeting -- in your office no less -- I'm surprised that you forgot
about it.
Of course, we decided that it's not important that ATC is useful. (We added
a disclaimer that cannot possibly be true of the first example.) Ergo,
talking about ATC is a waste of time, no one should use it because you can't
expect it to work (portably).
Randy.
next prev parent reply other threads:[~2014-07-21 23:44 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 [this message]
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
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