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

Рассмотрим набор / = (/', ..., 1т) ожидающих мест, V е/.(, не все из которых терминальные. Пусть ?",, ..., Ет являются полными входными условиями, соответствующими этим местам. Чтобы предотвратить дедлок в / , требуется выполнение следующего свойства: }=т J=m N ф(х) => D( v ejuecme (/') => v E(y)). 7 = 1 j = \ Это означает, что в случае, когда процессы находятся в /, то по крайней мере один из них допустим. Этот процесс может выполняться, и тем самым дедлок предотвращается. Для того чтобы предотвратить возможность дедлока во всей программе, необходимо налагать подобные требования на каждый набор ожидаюших мест, исключая /,= (/|, ..., /™).