Re: dynamic multithreading

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Preben Randhol wrote:
> Lutz Donnerhacke wrote:
>> Not necessary. This kind of "Garbage collection" is easy to implement: Free
>> all allocated data assigned to variables of a specific type if this type
>> goes out of space.
>
> 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.

> I can understand if what you are talking about is a type with Finalize,
> but then you need to call Free in the Finalize function.

No, this not the Ada approach.