Re: dynamic multithreading

[Preben Randhol <randhol+news@pvv.org>]

Lutz Donnerhacke wrote:
>> But it doesn't make sense, because you can have two access variables.
> 
> The current variables can be ignored. I write only about the type of them.
> 
>> If the inner variable goes out of scope it should not free up the rest of
>> the objects.
> 
>   declare
>      type A_Access is access A;
>      a : A_Access := new A;        -- Instance 1.
>   begin
>      a := new A;                   -- Instance 2: Leaks memory (Instance 1)
>      declare
>        b : A_Access := a;
>      begin
>        b := new A;                 -- Instance 3.
>        a := b;                     -- Leaks memory (Instance 2)
>      end;
>   end;                             -- Frees all three instances.

Well try this:

declare
   type A_Access is access A;
   a : A_Access := new A;        -- Instance 1.
begin
   loop
      a := new A;                   -- Instance 2: Leaks memory (Instance 1)
      declare
        b : A_Access := a;
      begin
        b := new A;                 -- Instance 3.
        a := b;                     -- Leaks memory (Instance 2)
      end;
   end loop;
end;                             -- Frees all three instances.

-- 
Preben Randhol ------------------------ http://www.pvv.org/~randhol/ --
�There are three things you can do to a woman. You can love her, suffer
 for her, or turn her into literature.�  - Justine, by Lawrence Durrell