ЧМА Теорема 2A

Для набора N независимых периодических задач, где C_i, T_i, и B_i, i= 1,2,.... N, являются временем выполнения, периодом, и временем блокировки в наихудшем случае соответственно, а критический срок выполнения равняется периоду задачи, задачи диспетчируемы согласно ЧМА, если следующее условие выполняется:

,

где минимум рассчитан как (k, l) W_i, и

Обратите внимание, это только достаточное условие, потому что значения B_i представляют собой время блокировки в самом плохом случае. Практически, некоторые из этих неравенств не могут быть выполнены, а набор задач может быть все еще диспетчируем, потому что фактические времена блокирования короче. Эмпирическое правило, данное в секции “Необходимое и достаточное условие для диспетчеризации с помощью ЧМА ” может быть использовано, если включить в него B_i.