Re: timer_server triggers Task_Termination handler

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2016-04-23 00:31, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:nfcjmm$1nei$1@gioia.aioe.org...
> ....
>> I think it should be the task's master to which all task events are
>> reported. The master can propagate them further.
>
> That's how general termination handlers work. In this case, the "master" is
> the environment task, which is the master of all tasks in the Ada program
> (recall that masters are nested, most tasks belong a number of masters). The
> question here is whether the Ada implementer should be deciding that some
> tasks should be excluded from such reporting.

But the environment task is not an explicitly declared Ada task. It is 
implementation-dependent, so the ambiguity. If it is a "real" task 
starting "real" implementation tasks, they must be reported. If the 
implementation tasks are not Ada tasks started by non-Ada means, they 
cannot be reported or too difficult to.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de