Состояние программы представляется парами взаимно исключающих альтернатив. Выделяются следующие пары программных состояний: задача - супервизор, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Майоров С.А.
Структура цифровых вычислительных машин
Состояние программы представляется парами взаимно исключающих альтернатив. Выделяются следующие пары программных состояний: задача - супервизор, ожидание - счет, прерывание замаскировано - прерывание разрешено, стоп - работа. Программные состояния оказывают влияние на работу вычислителя. Любое состояние из пары выбирается и переключается независимо от других пар. Пары прерывание замаскировано - прерывание разрешено назначаются для каждой маскируемой причины прерывания. Программные состояния отображаются состояниями соответствующих триггеров вычислителя, в том числе триггерами регистра защиты. Триггеры переключаются по сигналам прерывания, сигналами от устройств системы и по командам программ. В дальнейшем предполагается, что состояния переключаются в основном в моменты прерывания текущей программы. Программа-преемник включается в работу в соответствии с ее ССП, в котором определяются значения пар программных состояний. Программные состояния, кодируемые в ССП, могут изменяться по командам супервизора во время подготовки программы к ее дальнейшему исполнению.