From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Ravenscar - program termination
Date: Tue, 30 Jan 2007 15:30:58 -0500
Date: 2007-01-30T15:30:58-05:00 [thread overview]
Message-ID: <wccd54w8dfh.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 45bf97d4$0$22524$39db0f71@news.song.fi
Niklas Holsti <niklas.holsti@nospam.please> writes:
> 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.
Then what would happen if there were no tasks other than 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.
Why so? The RM wording says "all tasks", and that includes the env
task.
- Bob
next prev parent reply other threads:[~2007-01-30 20:30 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
2007-01-30 20:30 ` Robert A Duff [this message]
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