инвариантный модуль Загрузочный модуль, не меняющийся в процессе выполнения. За счет прерываний такой модуль может одновременно использоваться в нескольких разных задачах.
English-Russian Modern Computing dictionary
loop invariant
инвариант цикла Переменная, значение которой не изменяется в ходе выполнения цикла.
English-Russian Modern Computing dictionary
module invariant
инвариант модуля Условие, выполняющееся как до вызова, так и после завершения любой процедуры модуля.