D.2 Priority Scheduling
[This clause describes the rules that determine which task is selected
for execution when more than one task is ready (see 9 9.2
). The rules have two parts: the task dispatching model (see D.2.1),
and a specific task dispatching policy (see D.2.2).
Wording Changes from Ada 95
This introduction is simplified in order to reflect
the rearrangement and expansion of this clause.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe