From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: timer_server triggers Task_Termination handler
Date: Fri, 22 Apr 2016 07:41:23 +0200
Date: 2016-04-22T07:41:23+02:00 [thread overview]
Message-ID: <nfcdbo$ivg$1@dont-email.me> (raw)
In-Reply-To: <nfbfq9$5vf$1@loke.gir.dk>
Le 21/04/2016 23:13, Randy Brukardt a écrit :
> In your example, you set a handler for all dependent tasks of the
> environment task (that is, ALL tasks). C.7.3 doesn't specify who wrote the
> task or for what purpose. If it is a dependent of the environment task, your
> handler will be called.
>
> We've always encouraged implementers to write some or all of their runtime
> in Ada. It would increase the difficulty quite a bit if one had to "cover
> up" the effects of using Ada to write the code.
It could be considered user-friendly for hidden tasks in reusable
components to specify a task specific handler, so that they remain
hidden if the user specifies a general handler.
But I agree that it would be difficult to /require/ this in the ARM.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2016-04-22 5:41 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-04-21 10:23 timer_server triggers Task_Termination handler Per Dalgas Jakobsen
2016-04-21 18:14 ` Anh Vo
2016-04-21 18:20 ` Jacob Sparre Andersen
2016-04-21 18:31 ` Anh Vo
2016-04-21 21:13 ` Randy Brukardt
2016-04-22 5:41 ` J-P. Rosen [this message]
2016-04-22 6:46 ` Jacob Sparre Andersen
2016-04-21 21:26 ` Robert A Duff
2016-04-22 6:36 ` Georg Bauhaus
2016-04-22 7:25 ` Dmitry A. Kazakov
2016-04-22 10:05 ` G.B.
2016-04-22 12:55 ` Dmitry A. Kazakov
2016-04-22 13:33 ` G.B.
2016-04-22 13:42 ` Dmitry A. Kazakov
2016-04-22 22:31 ` Randy Brukardt
2016-04-23 9:55 ` Dmitry A. Kazakov
2016-04-25 21:42 ` Randy Brukardt
2016-04-22 22:35 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox