Составители:
СПИСОК ТЕРМИНОВ
Алгоритм 8
Архитектура ВС 6
Безопасность 13
Глобальный инвариант 37
Действие присваивания 33
Живучесть 13
История выполнения 11
Критическая секция 44
Критическое утверждение 33
Неделимое действие 11, 24, 26
Оператор await 27
Определение невмешательства 33
Ослабленное утверждение 35
Параллельный оператор 18
Портфель задач 76
Почти справедливая стратегия 42
Предикат 20
Протоколы входа/выхода 44
Псевдоалгоритм 8
Семафор 81
Справедливая стратегия в слабом смысле 42
Справедливость в сильном смысле 42
Стратегия планирования 41
Схема выполнения 12
Условие “не больше одного” 25
Условное неделимое действие 28
108
