Re: How to tell whether program finalization can be suppressed

[Simon Wright <simon@pushface.org>]

Simon Wright <simon@pushface.org> writes:

> In any case, ARM 10.2(25)[1] doesn't appear to say that the main
> program shouldn't exit, or that if it does the system should shut
> down.

Its last sentence is

  "When the environment task completes (normally or abnormally), it
  waits for the termination of all such tasks, and then finalizes any
  remaining objects of the partition."

So, since I'm developing a Ravenscar RTS, with restrictions
No_Task_Termination and No_Exception_Propagation (GNAT
implementation-defined), the environment task will wait forever and the
final finalization will not happen. Of course, if a task actually exits
(not sure whether GNAT detects this at compile time) or a
not-locally-handled exception occurs, we are in trouble, to the point
where we don't need to worry about final finalization.