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

  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