Re: Termination of periodic tasks

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 06/16/2014 07:02 AM, Natasha Kerensikova wrote:
>
>     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;

ARM 9.3 says, "If the task is created by the evaluation of an allocator for a 
given access type, it depends on each master that includes the elaboration of 
the declaration of the ultimate ancestor of the given access type."

The master of a task designated by a Task_Access is the environment task, 
assuming To_Be_Discussed to be a library unit. Meanwhile, finalization of an 
object of type Watcher will happen when you exit the scope of whatever unit 
declares the object. Those will usually be different if the object is declared 
outside of To_Be_Discussed. I'm not clear about the case where the object is 
declared inside To_Be_Discussed.

-- 
Jeff Carter
"Hello! Smelly English K...niggets."
Monty Python & the Holy Grail
08