• If this probe is received for the

• If this probe is received for the first time, then it marks the sender of the probe as its
parent and forwards it to every process in its dependent set.
• If this is not the first probe, then it sends an ack to the sender.

When a waiting process receives acks from every process in its dependent set, it sends an ack to its parent. If the initiator receives ack from every process in its dependent set, then it declares itself deadlocked.
For any node, let D represent the deficit (i.e., number of probes − number of acks) along its outgoing edges. Starting from the initial condition in which an initiator node i has sent out probe P(i, i, j) to every node j in its dependent set succ(i), the program is described as follows:

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

• Если этот зонд получен впервые, то он знаменует отправителя зонда как егородитель и направляет его к каждому процессу в наборе зависимых.• Если это не первый зонд, то он отправляет ack отправителю.Когда процесс ожидания получает подтверждения от каждого процесса в его зависимый набор, он отправляет ack его родительским элементом. Если инициатор получает ack от каждого процесса в его зависимый набор, он объявляет себя в тупик.Для любого узла пусть D представляют собой дефицит (то есть, количество зондов − подтверждения) вдоль исходящих края. Начиная от исходного состояния в котором узел инициатора я разослал зонд P (i, i, j) на каждый узел j в его зависимый набор succ(i), программа описывается следующим образом:

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

• Если этот зонд получен в первый раз, то он отмечает отправителя зонда в качестве его
родителя и передает его каждому процессу , зависящему от него набора.
• Если это не первый зонд, то он посылает ПДТ отправителю .

Когда процесс ожидания получает от каждого ACKs процесса в его зависимого набора, он посылает ПДТ своему родителю. Если инициатор получает Подтверждено от каждого процесса в зависимости наборе, то он объявляет себя в тупик.
Для любого узла, пусть D представляют собой дефицит (то есть, количество зондов - количество квитанций) вдоль его исходящих ребер. Исходя из начального состояния , в котором инициатор узел I разослал головку Р (I, I, J) для каждого узла J в его зависимое множество Succ (I), программа описывается следующим образом :