English | Russian |
non-preemptive scheduling | планирование без приоритетов (ssn) |
non-preemptive and preemptive scheduling | планирование с приоритетами и без приоритетов (ssn) |
non-preemptive and preemptive scheduling | приоритетное и неприоритетное планирование (ssn) |
preemptive priority scheduling | приоритетное вытесняющее планирование (планировщику задач разрешается останавливать выполнение любой задачи в произвольный момент времени, если установлено, что другая задача должна быть запущена незамедлительно Alex_Odeychuk) |
preemptive priority scheduling | планирование на основе приоритетов, прерывающих обслуживание (ssn) |
preemptive scheduling | планирование с приоритетами (ssn) |
preemptive scheduling | диспетчеризация по приоритетам (ssn) |
we consider two scheduling policies, preemptive scheduling and nonpreemptive scheduling | мы рассматриваем две стратегии планирования: планирование с приоритетами и планирование без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |