Искусственный интеллект

Свойство взаимного исключения для С, и С2 можно представить следующим образом: > D -, (ejuecme (С,) л,в_месте (С2). Это свойство означает, что всегда, когда активно хотя бы одно место секции С,, то в секции С2 не может быть ни одного активного места, и наоборот. 9.6.5. Отсутствие дедлока Как уже отмечалось, параллельная программа, состоящая из т процессов, находится в дедлоке, если ни один из процессов не является допустимым. Это означает, что единственно возможным тактом для диспетчера является холостой, в результате чего непрерывно повторяется одна и та же ситуация дедлока. Ясно, что в ситуации дедлока каждый процесс Pt заблокирован в некотором месте / eZ.., полное входное условие для которого является все время ложным при всех текущих значениях т] переменных у. Следовательно, единственными потенциальными источниками дедлока являются места /, для которых полные входные условия достаются все время ложными. Такие места называют ожидающими. Терминальное место /, в этом смысле также является ожидающим. Однако специальный случай, в котором все процессы находятся в терминальных состояниях, считается остановом, а не дедлоком.