Re: Termination of periodic tasks

[Natasha Kerensikova <lithiumcat@instinctive.eu>]

Hello,

On 2014-06-15, Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> wrote:
> On 06/15/2014 03:10 AM, Natasha Kerensikova wrote:
>>
>> A timed select to wait for an entry that exists the loop would be fine
>> too, but how can I detect program termination to call the entry?
>> Could something be worked with a user-defined Finalize?
>
> ARM 7.6.1 says, "For the finalization of a master, dependent tasks are first 
> awaited, as explained in 9.3. Then each object ... is finalized if the object 
> was successfully initialized and still exists."
>
> So the task has to terminate before Finalize is called.

That seems at odds with the solution proposed by Dmitry, isn't it?

Considering the following skeleton spec,

   package To_Be_Discussed is

      task type Typed_Task is
         entry Terminate;
      end Typed_Task;

      type Task_Access is access Typed_Task;

      task Singleton_Task is
         entry Terminate;
      end Singleton_Task;

      type Watcher is new Ada.Finalization.Limited_Controlled with record
         Signal_Target : Task_Access;
      end record;

      overriding procedure Finalize (Object : in out Watcher);

   end To_Be_Discussed;

As far as I can tell, Singleton_Task and task(s) created using an
allocator for Task_Access have the same master.

I understood Dimtry's solution as calling Terminate entry from
Watcher.Finalize.

However what you quote seems to indicate that Watcher.Finalize won't be
called until Singleton_Task and any allocated task in a Task_Access are
termninated by themselves.

So I'm still lost on how to solve my problem, though I still have to
experiment with ideas like the specification above.


Thanks for your help,
Natasha