Re: Tasks unleashed

[Pascal Obry <p.obry@wanadoo.fr>]

Craig Carey <research@ijs.co.nz> writes:

> Recovering the memory of a task silently fails if the task was not
>  finished.
> 
> ** Test 1: the memory leak is completely absent:
>    for K in 1 .. 20_000 loop  -- N=20,000
>       X := new A.Tt;
>       N := N + 1;
>       X.The_End;
>       delay 1.0E-30;    --  [1]
>       Free (X);         --  [2]
>    end loop;

[1] is not right here. The delay could still not be enough. What I usually do
is loop until 'Terminated is true.

Something like: (not compiled)

    for K in 1 .. 20_000 loop  -- N=20,000
       X := new A.Tt;
       N := N + 1;
       X.The_End;

       loop
          exit when X'Terminated;
          delay 1.0E-30;    --  [1]
       end loop;

       Free (X);         --  [2]
    end loop;     

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595