Re: Timeouts in Ada

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

Le 17/07/2014 21:27, Jeffrey Carter a écrit :
> On 07/17/2014 12:38 AM, J-P. Rosen wrote:
>>
>> Not at all! In Ada, one task=one thread, there are no hidden threads.
> 
> Surely ATC involves a "hidden thread". After all,
> 
> select
>    <trigger>
> then abort
>    <abortable part>
> end select;
> 
> is shorthand for
> 
> declare
>    task AP;
> 
>    task body AP is
>    begin
>       <abortable part>
>    end AP;
> begin
>    <trigger>
> 
>    abort AP;
> end;
> 
Did you check this with an implementation? For one thing, Current_Task
must be the same in the abortable part and in the trigger...

-- 
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