Re: Ravenscar - program termination

[Maciej Sobczak <no.spam@no.spam.com>]

Markus E Leypold wrote:

>> Still, it looks like I cannot say:
>>
>> pragma Profile(Ravenscar);
>>
>> in my Hello World program even though this program meets the
>> objectives of the profile. That's not fair! :-)
> 
> Well, it terminates. What does termination mean in a "high integrity"
> embedded system

And who said that Ravenscar is for embedded systems *only*?
The word "embedded" does not even appear in the document, apart from the 
example in chapter 7 (which as an example is not normative).

I wrote a Hello World program and I want to impress my boss telling him 
that my program complies with Ravenscar recommendations. That sounds 
much more serious than a plain dumb Hello World program!

I've found a way:

with Ada.Text_IO;
procedure Hello is
begin
    Ada.Text_IO.Put_Line("Hello Ravenscar!");
    loop
       null;
    end loop;
end Hello;

Wow! ;-)
But the CPU is spinning like crazy.


OK, back to serious mode.
One of the Ravenscar objectives is to allow implementations to provide 
stripped-down runtime when the profile is requested. This is a nice 
feature, even for programs that are not safety-critical in nature.
How does GNAT handle this? Can I expect it to build smaller (faster?) 
executables when I say pragma Profile(Ravenscar) provided that the 
program complies to all the restrictions anyway?

-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/