Интернет магазин китайских планшетных компьютеров

Компьютеры - Граф ожидания - Простейшие свойства

1. Ресурс, который не имеет ни одной входящей дуги, является свободным.
2. Если вершина-транзакция имеет некоторое ненулевое количество входящих дуг, то соответствующий процесс находится в состоянии ожидания, то есть приостановлен и не может выполняться в текущий момент времени.
3. Если между двумя транзакциями существует путь , то транзакция T₁ должна быть выполнена раньше, чем начнётся выполнение T₂, поскольку последняя требует освобождения некоторых ресурсов, захваченных транзакцией T₁.

Из последнего свойства очевидным образом следует, что ситуации взаимной блокировки соответствует цикл на графе ожидания.