9.5.2 Detection of resource Deadloc

9.5.2 Detection of resource Deadlock
In a system of n processes 0, 1, 2, …, n − 1, define succ(i) to be the subset of processes that process i is waiting for. In the WFG, represent this by drawing a directed edge from process i to every process j ∈ succ(i). An initiator node initiates deadlock detection by sending probes down the edges of the WFG—the receipt of a probe by the initiator of that probe indicates that the process is deadlocked—this is the main idea. These types of algorithms are also known as edge-chasing algorithms.
A probe P(i, s, r) is a message with three components: i is the initiator process, s is the sender process, and r is the receiver process. The algorithm is initiated by a waiting process i, which sends P(i, i, j) to every process j that it is waiting for. We use the following notation in the description of the algorithm:
Let depend[j, i] be a Boolean that indicates that process i cannot progress unless process j releases a resource. Thus, depend(j, i) ⇒ j ∈ succm(i) (m > 0) in the WFG. Also, depend[k, j] ∧ depend[j, i] ⇒ depend[k, i]. The initiator process i is deadlocked when it discovers that depend[i, i] is true.
Assuming that no process waits for an event that is internal to it, the program for a typical process k can be represented as follows:

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

9.5.2 обнаружение ресурсов взаимоблокировкиВ системе n процессов 0, 1, 2, n − 1, определить succ(i) для подмножества процессов этого процесса я ждет. В Проведении, представляют это путем рисования направленного края от процесса i каждый процесс j ∈ succ(i). Узел инициатора инициирует обнаружение взаимоблокировок путем отправки зондов вниз края ТАКЖЕ — получение зонда, инициатором этого зонда указывает, что процесс тупик — это основная идея. Эти типы алгоритмов также называются гоняться за край алгоритмов.Зонд P (i, s, r) — это сообщение с тремя компонентами: i является инициатором процесса, s является процесс и r — процесс приемника. Алгоритм инициирует процесс ожидания i, который посылает P (i, i, j) для каждого процесса j, что он ожидает. Мы используем следующие обозначения в описании алгоритма:Пусть зависит от [j, i] быть Boolean, которое указывает, что процесс не может развиваться, если процесс j освобождает ресурс. Таким образом depend(j, i) ⇒ j ∈ succm(i) (m > 0) в Проведении. Также, [k, j] ∧ зависят [j, i] ⇒ зависят [k, я]. Инициатор процесса является тупик, когда он обнаруживает, что зависит от [,] имеет значение true.Если предположить, что процесс не ожидает события, которое является внутренним к нему, программа для типичного процесса k можно представить следующим образом:

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

9.5.2 Обнаружение ресурса Тупик
В системе п процессов 0, 1, 2, ..., п - 1, определим Succ (I) , чтобы подмножество процессов , что процесс , который я ждет. В WFG, представляют это, нарисовав направленное ребро от процесса я каждому процессу J ∈ Succ (I). Узел инициатора инициирует обнаружение тупиковых путем отправки зондов вниз по краям WFG-получения зонда инициатором этого зонда указывает на то, что процесс зашел в тупик, это основная идея. Эти типы алгоритмов также известны как алгоритмы края чеканка.
Зонд P (я, s, г) представляет собой сообщение с тремя компонентами: я это процесс инициатора, s это процесс отправитель, а г процесс приемника. Алгоритм инициируется процесс ожидания I, который посылает P (I, I, J) для каждого процесса у , что его ждет. Мы используем следующие обозначения в описании алгоритма:
Пусть зависят [J, I] быть Логическое значение, указывающее , что процесс я не может прогрессировать , если процесс J не освободит ресурс. Таким образом, зависит (J, I) ⇒ J ∈ succm (я) (т> 0) в WFG. Кроме того , в зависимости [K, J] ∧ зависят [J, I] ⇒ зависят [к, I]. Процесс инициатор я зашла в тупик , когда он обнаруживает , что зависит [I, I] верно.
Если предположить , что ни один процесс не ожидает события , которое является внутренним по отношению к нему, программа для типичного процесса к может быть представлена следующим образом :

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

9.5.2 выявления потребности в тупикв системе процессов N 0, 1, 2,..., N - 1, определение которого (i) в категории процессов, что процесс я ждет.в wfg, это, проведя в край из процесса я каждому процессу, J ∈ 8 (I).инициатором узел инициирует тупика обнаружения, отправив зонды вниз краями wfg получения зонд инициатором этот зонд, указывает на то, что процесс находится в тупике, это основная идея.эти алгоритмы, также известный как край в погоне за алгоритмов.зонд P (я, S, r) - это сигнал с трех компонентов: я является инициатором процесса, S - отправитель процесса, и R - приемник.алгоритм инициируется в ожидании процесса я, который посылает P (я, j) каждому процессу, J, что его ждет.мы используем следующие обозначения в описание алгоритма:будем зависеть [J, я] быть логическое, что свидетельствует о том, что процесс не прогресса, если процесс J релизы ресурс.таким образом, зависеть j, я) ⇒ J ∈ succm (i) (m > 0) в wfg.также зависят от [k, j] ∧ зависеть [J, я] ⇒ зависеть [k, я].инициатором процесса, я зашла в тупик, когда он обнаруживает, что зависеть [я], правда.если предположить, что никакого процесса ждет событие, которое является внутренней, то программа типичный процесс к можно представить следующим образом: