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 будем называть дефицит. Процесс отслеживает двух различных типов дефицитов:

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

9.3.1 дейкстра – шолтен алгоритм[в ds80], дейкстра и шолтен представил сигнализации, механизм, который позволяет initia - Tor, чтобы определить, является ли расчет работает на сети процессов помнитe... - nated.расчет по инициативе одного инициатора и распространяется на ряд других узлов в сети называют распространения вычислений и его увольнения, сообщил инициатор как разовое мероприятие.механизм по созданию параллельной системы сигнализации, лежащей в основе расчета, а это неинвазивный, так как он не влияет на основе compu - консультации.мы следуем первоначального обращения в [ds80].есть два вида сообщения в сети: сигналы, распространять на руководство края, и acks пропаганды в противоположном направлении.инициатором является специальным узла ("среде узла), что не край направлены на это.каждый узел называется внутренним узел и доступен из среды узел через края основной сети.для каждого в край (я, j), называют узел J преемника узел, который я и узел S предшественник узел, J. общий план: окружающая среда узел инициирует расчета посылает сигналы о том, что участие его преемников этой также инициирует прекращения обнаружения Pro - сессе.внутренний узел, который получает сигнал может посылать сигналы, чтобы привлечь своих преемников.таким образом, при расчете распространяется на ограниченное число узлов в сети, и расчет график растет.в конечном итоге, каждый узел посылает acks назначенному предшественника, для подтверждения завершения расчетов в subgraph ниже, и расчет subgraph психиатров.когда среде узла получает acks от каждого из его преемников, он обнаруживает отменить все вычисления, и расчет subgraph становится пусто.главный вопрос здесь заключается в том, чтобы определить, когда и кому отправить acks.для края (я, (j), разница между числом сигналы я и число acks, полученные от J будет называться дефицит.процесс, отслеживает двух различных видов дефицита.