Re: Specify priority of main program

[Simon Wright <simon@pushface.org>]

Simon Wright <simon@pushface.org> writes:

> GNAT allows you to specify the main program's priority (actually, I
> suspect it'd allow it on any parameterless library-level procedure, but
> only the one actually used as main will count);
>
>    procedure Main with Priority => 6 is
>
> This is handy for embedded code where you don't want to waste the
> environment task's stack space but need to run that code at a
> non-default priority.
>
> However, I can't see this use in the ARM; is it an extension?

Found it now: ARM D.1(18).

This isn't mentioned in Annex J, Language Defined Aspects: (46),

   "Priority of a task object or type, or priority of a protected object
   or type; the priority is not in the interrupt range. See D.1."

> If it's not a GNAT extension, what would the ARG view be likely to be
> for similar permission for Storage_Size (and Secondary_Stack_Size, but
> that is definitely a GNAT extension)?

But this still stands.