From: Simon Wright <simon@pushface.org>
Subject: Re: Timeouts in Ada
Date: Thu, 17 Jul 2014 18:11:54 +0100
Date: 2014-07-17T18:11:54+01:00 [thread overview]
Message-ID: <lybnsnyko5.fsf@pushface.org> (raw)
In-Reply-To: 7581b098-ea30-4b34-a51e-2f0dd5a57563@googlegroups.com
NiGHTS <nights@unku.us> writes:
> So even if the entry call takes an hour, it will still wait the full
> hour until it completes before entering the "or delay" section? This
> is what I am understanding so far.
After the entry call has been accepted, the timeout is cancelled; Adam's
pseudocode had Wait_For_Rendezvous_To_Complete at that point. It could
wait for days to complete (not that that's a good idea).
> Also, can two entry calls be placed like this?
>
> select call_1(params)
> ...
> or call_2(params)
> ...
> or delay 10
> ...
> end select
>
> If so, how would it know which finishes first without having them run
> concurrently? Don't see a point in having them run one after the
> other.
Not allowed: ARM 9.7.2 [1].
> I have also seen the select used with an "else". What exactly is the
> difference between "or" and "else"? Is "else" used when a "delay" is
> not involved? Otherwise I don't see the point in the "else" path.
This is in ARM 9.7.3. If the entry_call_alternative (the part after the
select) can't be accepted immediately, the else part is executed.
[1] http://www.ada-auth.org/standards/12rm/html/RM-9-7-2.html
next prev parent reply other threads:[~2014-07-17 17:11 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 [this message]
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