From: NiGHTS <nights@unku.us>
Subject: Re: Timeouts in Ada
Date: Thu, 17 Jul 2014 01:35:06 -0700 (PDT)
Date: 2014-07-17T01:35:06-07:00 [thread overview]
Message-ID: <38c21492-9876-4207-8be1-33e53c56bc12@googlegroups.com> (raw)
In-Reply-To: <lyfvi0xy0w.fsf@pushface.org>
On Thursday, July 17, 2014 3:08:47 AM UTC-4, Simon Wright wrote:
>
> You're actually asking HOW the compiler does it; ARM 9.7.1(15ff)[2] says
>
> WHAT the compiler has to arrange to happen to meet the standard.
>
> [1] http://www.unix.com/man-page/opensolaris/3c/cond_wait/
>
> [2] http://www.ada-auth.org/standards/12rm/html/RM-9-7-1.html#p15
These links were very helpful. I had almost forgotten about the ARM when faced with this question. Also, the C explanation makes sense to me -- I suppose the Ada select/or/else is a kind of lexical adaptation of cond_timedwait() and family. I personally just mutex locked shared resources in my C code so I was not aware of this technique.
next prev parent reply other threads:[~2014-07-17 8:35 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 [this message]
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
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