task synchronization and returns in accept

task synchronization and returns in accept

[Evangelista Sami]

Hello all

Let's take this piece of code:
-----------------------------------------
procedure Test is
   task type T1;
   task body T1 is
   begin
      null;
   end;
   task type T2 is
      entry E;
   end T2;
   task body T2 is
   begin
      accept E do
         declare
            T : T1;
         begin
            return;
         end;
      end E;
   end;
   My_T2 : T2;
begin
   My_T2.E;
end;
-----------------------------------------

what does exactly happen at the "return" statement in the accept.
does it wait for the termination of task T?

Thanks for any help

Sami

Re: task synchronization and returns in accept

[Martin Krischik]

Evangelista Sami wrote:

> Hello all
> 
> Let's take this piece of code:
> -----------------------------------------
> procedure Test is
>    task type T1;
>    task body T1 is
>    begin
>       null;
>    end;
>    task type T2 is
>       entry E;
>    end T2;
>    task body T2 is
>    begin
>       accept E do
>          declare
>             T : T1;
>          begin
>             return;
>          end;
>       end E;
>    end;
>    My_T2 : T2;
> begin
>    My_T2.E;
> end;
> -----------------------------------------
> 
> what does exactly happen at the "return" statement in the accept.
> does it wait for the termination of task T?

Yes, T2 need to wait for the end of T1 - just as Test need to wait for the
end of T2.

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com