Re: Ravenscar - program termination

Ludovic Brenta wrote:

Do I understand correctly that Ravenscar programs are by definition
running forever? What about programs that are expected to finish?

Yes, it is my understanding as well, and I'm happy with that.

I remember being impressed with Ada because you could write an
infinite loop without a faked up condition. The idea being that in
Ada the typical infinite loop would normally be terminated by
detonation. -- Larry Wall

:-)

The Ravenscar profile is specifically targeted at high-integrity
systems, where infinite loops are, I think, the norm.

Sorry, but I don't see anything in the concept of high-integrity software that would make it a norm. High-integrity software is a set of quality objectives, whereas infinite loops are (or aren't) part of system requirements. These should stay independent, even though I understand that expectations for both often come in pairs.

OK, just nit-picking. ;-)
I wanted to be sure that I understand it correctly, thanks.
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! :-)

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

Relevant Pages

  • Re: Ravenscar - program termination
    ... Ada the typical infinite loop would normally be terminated by ... understand that expectations for both often come in pairs. ... Well, it terminates. ... task goes into idle mode and the last thing a controlling task does, ...
    (comp.lang.ada)
  • Re: Bye, bye?
    ... The idea being that in Ada ... >> the typical infinite loop would normally be terminated by detonation. ...
    (comp.lang.ada)
  • Re: Bye, bye?
    ... >> Sometimes, reading a perl book, I am surprised that it's ... > I remember hearing a rumour that Larry Wall seriously considered writing ... > in Ada. ... > the typical infinite loop would normally be terminated by detonation. ...
    (comp.lang.ada)
  • Re: Ada users
    ... Investment simulations and analysis in an investment bank. ... "I remember being impressed with Ada because you could write ... an infinite loop without a faked up condition. ...
    (comp.lang.ada)
  • Re: Herr Krammer
    ... Do you get some sort of perverse pleasure out of messing with the minds of ... Euro-weenie tulip heads? ... infinite loop without a faked up condition. ... The idea being that in Ada ...
    (rec.scuba)