Re: Basic program with tasks goes out of memory

[anisimkov@yahoo.com (Dmitriy Anisimkov)]

wojtek@power.com.pl (Wojtek Narczynski) wrote in message 
>
> Any idea why this program (extracted from AdaSockets example)
> eventually eats up all RAM? Runtime leak or my ignorance?

I think the only way to do not leak memory on dynamically allocated
tasks,
is to have a task for deallocate terminated tasks. And each
dynamically allocated task have to pass its pointer to the Destructor
before termination.

The Destructor have to be like that.
-------------------------------
   task body Destructor is
      Rf : Relay_Access;
      procedure Free is new Ada.Unchecked_Deallocation (Relay,
Relay_Access);
   begin
      loop
         select
            accept Free_Task (R : Relay_Access) do
               Rf := R;
            end Free_Task;
         end select;

         loop
            exit when Rf'Terminated;
            delay 0.001;
         end loop;

         Free (Rf);
      end loop;
   exception when E : others =>
      Unexpected (E, "Destructor");
   end Destructor;
-------------------------
The complete application with task Destructor usage is in the

http://www.ada-ru.org/src/relay.adb

It has a same as tcprelay.adb (from AdaSockets) functionality, but
with dynamically created task deallocation.

It would be good to have a method to wait until task termination like
on entry call. Maybe something like that.
----------------------------------
   task body Destructor is
      Rf : Relay_Access;
      procedure Free is new Ada.Unchecked_Deallocation (Relay,
Relay_Access);
   begin
      loop
         select
            accept Free_Task (R : Relay_Access) do
               Rf := R;
            end Free_Task;
         end select;

         select
            Rf'Wait_Termination;
         or delay 10.0;
            --  Could not wait more.
            null;
         end loop;

         Free (Rf);
      end loop;
   exception when E : others =>
      Unexpected (E, "Destructor");
   end Destructor;
-------------------------