From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: timer_server triggers Task_Termination handler
Date: Thu, 21 Apr 2016 11:31:56 -0700 (PDT)
Date: 2016-04-21T11:31:56-07:00 [thread overview]
Message-ID: <cee3fc0e-b497-4c24-bd0f-51b4037f6971@googlegroups.com> (raw)
In-Reply-To: <87twiult72.fsf@adaheads.consafe1.org>
On Thursday, April 21, 2016 at 11:20:34 AM UTC-7, Jacob Sparre Andersen wrote:
> Anh Vo wrote:
>
> > On Thursday, April 21, 2016 at 3:23:51 AM UTC-7, Per Dalgas Jakobsen wrote:
> >> Is it correct behaviour when tasks internal to the GNAT run-time causes
> >> users task_termination handlers to be called?
> >
> > Yes, this is correct behavior. See C.7.3 of the Ada Reference Manual,
>
> I can't see anywhere in section C.7.3, which allows the compiler to
> insert "spontaneous" calls to the termination handlers.
How about paragraph 13/3 of C.7.3.
Anh Vo
next prev parent reply other threads:[~2016-04-21 18:31 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 [this message]
2016-04-21 21:13 ` Randy Brukardt
2016-04-22 5:41 ` J-P. Rosen
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