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.