Re: Timeouts in Ada

["J-P. Rosen" <rosen@adalog.fr>]

Le 17/07/2014 10:40, NiGHTS a écrit :

> I was mainly confused by the fact that the delay command was placed
> inside the body of a fork in the path of logic, making it seem as
> though in order to satisfy the syntax it had to do things
> concurrently. ARM seems to imply that it expects a delay in the body
> (first command?) as a condition to determine which path to take. I'm
> still a little fuzzy on the mechanics but I'm sure this will clear up
> as I do some more reading on the C variant.
> 
Hmmm... The intent is clearer if you write it this way:

select
   <entry call>
   <other statements>
or delay 10.0;
   <other statements>
end select;

But be aware NOT to try to understand the rendezvous in terms of
mutexes, conditional variables, and the like; it is a much higher level
communication mechanism. It's really a client exchanging data
synchronously with a server.

To me, mutexes are to concurrency what gotos are to sequential
programming: a low level tool which is best hidden behind higher level
constructs.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr