From: NiGHTS <nights@unku.us>
Subject: Re: Timeouts in Ada
Date: Thu, 17 Jul 2014 10:58:07 -0700 (PDT)
Date: 2014-07-17T10:58:07-07:00 [thread overview]
Message-ID: <131b545e-185b-4c4a-8a72-c627ff507138@googlegroups.com> (raw)
In-Reply-To: <lybnsnyko5.fsf@pushface.org>
On Thursday, July 17, 2014 1:11:54 PM UTC-4, Simon Wright wrote:
>
> > 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
Again, your links were very helpful. It led me to the following discussion on this topic which I feel completely satisfies my curiosity on this subject.
http://archive.adaic.com/standards/83lrm/html/lrm-09-07.html
Thank you all for bearing with me and taking the time to help me with this.
next prev parent reply other threads:[~2014-07-17 17:58 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 [this message]
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