9.3.1 Dijkstra–scholten algorithmIn

9.3.1 Dijkstra–scholten algorithm
In [DS80], Dijkstra and Scholten presented a signaling mechanism that enables the initia- tor to determine whether the computation running on a network of processes has termi- nated. The computation initiated by a single initiator and spreading over to several other nodes in the network is called a diffusing computation, and its termination is reported to the initiator as a single event. The signaling mechanism is superposed on the underlying computation and is noninvasive in as much as it does not influence the underlying compu- tation. We follow the original treatment in [DS80].


There are two kinds of messages in the network: signals propagate along the direction of the edges, and acks propagate in the opposite direction. The initiator is a special node (called the environment node) that has no edge directed toward it. Every other node is called an internal node and is reachable from the environment node via the edges of the underlying network.
For each directed edge (i, j), call node j a successor of node i and node s a predecessor of node j. The overall plan is as follows: The environment node initiates the computation by sending signals that engage its successors—this also initiates the termination-detection pro- cess. An internal node that receives a signal may send out signals to engage its successors. In this way, the computation spreads over a finite number of nodes in the network, and the computation graph grows. Eventually, each node sends acks to a designated predecessor to confirm the termination of the computation in the subgraph below it, and the computation subgraph shrinks. When the environment node receives acks from each of its successors, it detects the termination of the entire computation, and the computation subgraph becomes empty. The crucial issue here is to decide when and to whom to send the acks.
For an edge (i, j), the difference between the number of signals sent by i and the number of acks received from j will be called a deficit. A process keeps track of two different types of deficits:

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

9.3.1 Дейкстры Схолтен алгоритмВ [DS80] Дейкстра и Шолтен представил сигнальный механизм, который позволяет чтобы определить, имеет ли вычисление на сети процессов Терми nated инициатива tor. Вычисление инициативе одного инициатора и распространяется на несколько других узлов в сети называется диффундирующих вычислений, и его прекращение сообщается, инициатор как одно событие. Сигнальный механизм наложенного на базовых вычислений и неинвазивной в столько, сколько он не влияет на базовый компью tation. Мы следуем первоначального лечения в [DS80]. Существует два вида сообщений в сети: сигналы распространяются вдоль направления краев и подтверждения распространения в противоположном направлении. Инициатор — это специальный узел (так называемый узел Среда) не край, направлены на него. Каждый узел называется внутренним узлом и доступен из среды узла через края базовой сети.Для каждого направленного края (i, j), вызовите узел j преемник узла i и узла s предшественник узла j. Общий план выглядит следующим образом: узел Среда инициирует вычисление, посылая сигналы, которые его преемников — это также инициирует прекращение обнаружения pro Сесс. Внутренний узел, который получает сигнал может посылать сигналы, чтобы привлечь его преемников. В этом случае, вычисление распространяется на конечное число узлов в сети, и граф вычислений растет. В конце концов каждый узел отправляет подтверждения назначенного предшественника для подтверждения завершения вычислений в подграфа ниже, и вычисление подграфа уменьшается. Когда узел Среда получает подтверждения от каждого из его преемников, он обнаруживает прекращение всего вычислений, и вычисление подграфа становится пустым. Решающее значение проблема здесь заключается в том, чтобы решить, когда и кому для отправки подтверждения.Для края (i, j) разница между количеством сигналов, отправленных мне и номер подтверждения полученных от j будет вызван дефицит. Процесс продолжает отслеживать из двух различных видов дефицита:

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

9.3.1 Алгоритм Дейкстра-Шолтен
В [DS80], Дейкстра и Шолтен представил сигнальный механизм , который позволяет ини- тор , чтобы определить , имеет ли вычисление работает в сети процессов обрываются. Вычисление инициирована одного инициатора и распространяющийся по нескольким другим узлам в сети, называется рассеивающий вычисление, и ее окончание сообщается инициатору как одно событие. Сигнальный механизм накладывается на лежащего в основе вычислений и является неинвазивным в той степени , как это не влияет на основной тации вычислений , а . Мы следуем за оригинальную трактовку в [DS80].


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