From: Niklas Holsti <niklas.holsti@nospam.please>
Subject: Re: Ravenscar - program termination
Date: Tue, 30 Jan 2007 21:15:18 +0200
Date: 2007-01-30T21:15:18+02:00 [thread overview]
Message-ID: <45bf97d4$0$22524$39db0f71@news.song.fi> (raw)
In-Reply-To: <1170167084.668967.110840@s48g2000cws.googlegroups.com>
matteo.bordin@gmail.com wrote:
[ snip ]
> On real-time kernels supporting the Ravenscar profile, even the main
> procedure must contain an infinite loop.
I don't think that is an Ada requirement. As I understand it, under the
Ravenscar profile the environment task is the master of all application
tasks, so it will await their termination; since they never terminate,
neither does the environment task (RM 2005 10.2(25)), even if the main
procedure terminates and returns to the body of the environment task.
I have seen a Ravenscar Ada implementation that requires the main
procedure to end with an infinite loop, but I think that is a
non-standard requirement. A trivial one, of course.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2007-01-30 19:15 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-01-29 16:34 Ravenscar - program termination Maciej Sobczak
2007-01-29 19:53 ` Ludovic Brenta
2007-01-30 8:09 ` Maciej Sobczak
2007-01-30 9:37 ` Markus E Leypold
2007-01-30 17:48 ` Jeffrey R. Carter
2007-01-31 9:01 ` Maciej Sobczak
2007-01-31 9:59 ` Ludovic Brenta
2007-01-30 14:24 ` matteo.bordin
2007-01-30 19:15 ` Niklas Holsti [this message]
2007-01-30 20:30 ` Robert A Duff
2007-01-31 7:53 ` Niklas Holsti
2007-01-31 8:12 ` Ludovic Brenta
2007-01-31 8:59 ` Niklas Holsti
2007-01-31 18:02 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox