When the initiator sends out probes

When the initiator sends out probes, the precondition (D > 0) holds for the initiator. Deadlock is detected when (D = 0) holds for the initiator and the algorithm terminates. The proof of correctness of the communication deadlock detection algorithm is similar to the proof of correctness of the termination-detection algorithm and is not separately discussed here.
Unlike the resource deadlock detection algorithm, the communication deadlock detection algorithm requires two different types of messages (probe and ack) but has wider applications. For example, using this algorithm, process 2 in Figure 9.5 can successfully detect that it cannot make progress, even if it is not part of a cycle in the WFG.
The message complexities of both the resource deadlock and the communication dead- lock detection algorithms are O(|E|), where E is the set of edges in the WFG.

Результаты (русский) 2:

Когда инициатор посылает зонды, предварительное условие (D> 0) выполняется для инициатора. Тупик обнаруживается , когда (D = 0) имеет место для инициатора и алгоритм завершается. Доказательство правильности алгоритма обнаружения взаимоблокировки связи аналогично доказательству правильности алгоритма прекращения обнаружения и отдельно не обсуждается здесь. В
отличие от алгоритма обнаружения взаимоблокировки ресурсов, алгоритм обнаружения тупиковой связи требует наличия двух различных типов сообщений (зонд и АСК) , но имеет более широкое применение. Например, с помощью этого алгоритма, процесс 2 на рисунке 9.5 может успешно обнаружить , что она не может добиться прогресса, даже если он не является частью цикла в WFG.
Сообщении сложности как тупик ресурса и связь мертвую зону блокировки алгоритмов обнаружения являются O (| E |), где Е множество ребер в WFG.

Результаты (русский) 3:

когда инициатор отправляет зонды, условие d > 0) проводит для инициатора.затор был обнаружен при d = 0) проводит для инициатора и алгоритм прекращается.доказательством правильности сообщение тупика обнаружения алгоритм аналогична доказательством правильности прекращения обнаружения алгоритм и отдельно не обсуждали.в отличие от потребности в тупик алгоритма выявления, сообщения из тупика обнаружения алгоритм требует двух различных видов сообщений (зонд и ACK), но имеет более широкое применение.например, используя этот алгоритм, процесс 2 на 9,5 может успешно обнаружить, что она не может добиться прогресса, даже если он не является частью цикла в wfg.послание, сложности, как потребности в тупик и сообщение мертв - замок алгоритмов обнаружения - O (| E |), где е - комплекса края в wfg.