D.2.4 Non-Preemptive Dispatching
1/2
{
AI95-00298-01}
[This clause defines a non-preemptive task dispatching
policy.] Static Semantics
2/2
2.1/3
{
AI05-0166-1}
The following language-defined library package
exists: 2.2/3
package Ada.Dispatching.Non_Preemptive is
pragma Preelaborate(Non_Preemptive);
procedure Yield_To_Higher;
procedure Yield_To_Same_Or_Higher renames Yield;
end Ada.Dispatching.Non_Preemptive;
2.3/3
{
AI05-0166-1}
{
AI05-0264-1}
A call of Yield_To_Higher is a task dispatching
point for this policy. If the task at the head of the highest priority
ready queue has a higher active priority than the calling task, then
the calling task is preempted.2.a/3
Ramification: For
language-defined policies other than Non_Preemptive, a higher priority
task should never be on a ready queue while a lower priority task is
executed. Thus, for such policies, Yield_To_Higher does nothing.
2.b/3
Yield_To_Higher is not
a potentially blocking operation; it can be used during a protected operation.
That is allowed, as under the predefined Ceiling_Locking policy any task
with a higher priority than the protected operation cannot call the operation
(that would violate the locking policy). An implementation-defined locking
policy may need to define the semantics of Yield_To_Higher differently.
Legality Rules
3/2
3.a/2
Reason: The non-preemptive
nature of this policy could cause the policies of higher priority tasks
to malfunction, missing deadlines and having unlimited priority inversion.
That would render the use of such policies impotent and misleading. As
such, this policy only makes sense for a complete system.
Dynamic Semantics
4/2
{
AI95-00298-01}
When Non_Preemptive_FIFO_Within_Priorities is in
effect, modifications to the ready queues occur only as follows:5/2
{
AI95-00298-01}
When a blocked task becomes ready, it is added
at the tail of the ready queue for its active priority.6/2
When the active priority
of a ready task that is not running changes, or the setting of its base
priority takes effect, the task is removed from the ready queue for its
old active priority and is added at the tail of the ready queue for its
new active priority.
7/2
When the setting of the base
priority of a running task takes effect, the task is added to the tail
of the ready queue for its active priority.
8/2
When a task executes a delay_statement
that does not result in blocking, it is added to the tail of the ready
queue for its active priority.
8.a/2
Ramification: If
the delay does result in blocking, the task moves to the “delay
queue”, not to the ready queue.
9/3
{
AI05-0166-1}
For this policy, blocking
or termination of a task, a non-blocking delay_statement,
a call to Yield_To_Higher, and a call to Yield_To_Same_Or_Higher or Yield
are is the only non-blocking event that is a task
dispatching points point (see D.2.1). 9.a/3
Ramification: {
AI05-0166-1}
A delay_statement
is always a task dispatching point even if it is not blocking. Similarly,
a call to Yield_To_Higher is never blocking, but it is a task dispatching
point In each of these cases, they can cause the current task to stop
running (it is still ready). Otherwise, the running task continues to
run until it is blocked.
Implementation Requirements
10/2
{
AI95-00333-01}
An implementation shall allow, for a single partition,
both the task dispatching policy to be specified as Non_Preemptive_FIFO_Within_Priorities
and also the locking policy (see D.3) to be
specified as Ceiling_Locking. 10.a/2
Reason: This is
the preferred combination of the Non_Preemptive_FIFO_Within_Priorities
policy with a locking policy, and we want that combination to be portable.
Implementation Permissions
11/3
{
AI95-00298-01}
{
AI05-0229-1}
Since implementations are allowed to round all
ceiling priorities in subrange System.Priority to System.Priority'Last
(see D.3), an implementation may allow a task
to execute within a protected object without raising its active priority
provided the associated protected unit does not contain any
subprograms with Interrupt_Handler or Attach_Handler specified nor does
the unit have aspect pragma Interrupt_Priority specified,
Interrupt_Handler, or Attach_Handler.Extensions to Ada 95
11.a/2
Extensions to Ada 2005
11.b/3
{
AI05-0166-1}
Package Dispatching.Non_Preemptive
is new.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe
