comp.lang.ada
 help / color / mirror / Atom feed
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


  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