From: Simon Wright <simon@pushface.org>
Subject: Specify priority of main program
Date: Sat, 23 Jan 2021 17:55:13 +0000 [thread overview]
Message-ID: <lyeeibleri.fsf@pushface.org> (raw)
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?
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)?
next reply other threads:[~2021-01-23 17:55 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-01-23 17:55 Simon Wright [this message]
2021-01-23 21:45 ` Specify priority of main program Simon Wright
2021-01-27 2:52 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox