Re: Ravenscar - program termination

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/
.

Relevant Pages

  • New Scam?
    ... Aims and objectives of the Organization. ... Organization’s profile. ... Achievements. ...
    (soc.culture.malaysia)
  • Re: I still havent got it.
    ... You aim to reach your objective. ... your objectives are to reach your aim. ... He's keeping a profile on you. ...
    (uk.education.staffroom)