| progr. | A preemptive scheduler accepts requests for execution and chooses the highest priority process requesting the CPU | Планировщик с приоритетами принимает запросы на исполнение и выбирает наиболее высокоприоритетный процесс, запрашивающий процессор (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |