Re: Ravenscar - program termination

Ludovic Brenta wrote:

Indeed, one of Ravenscar's goals is to make the necessary kernel easy
to certify to the most stringent safety standards. As with all
high-integrity software, the best way to achieve this is to make
things small and simple. So, not only does Ravenscar avoid the need
to wait for task termination, but also the tasking model (priority
ceiling inheritance) avoids the need for locks completely. Imagine a
tasking kernel with no mutexes :)

The assumption is a single processor. We're already moving away from that.

--
Jeff Carter
"Alms for an ex-leper!"
Monty Python's Life of Brian
75
.