Справочник Ada 95
D.2 Расписание по приоритетам
Этот пункт описывает правила, определяющие, какая задача выбирается для выполнения, когда более одной задачи готовы (см. 9.2). Правила состоят из двух частей: модели диспетчеризации задач (см. D.2.1) и конкретной политики диспетчеризации задач (см. D.2.2).