9.3 termInatIon-DeteCtIon algorIthm

9.3 termInatIon-DeteCtIon algorIthms

Consider a computation running on a network of processes whose topology is G = (V, E). One possible mechanism of distributing the computation to the various processes is as fol- lows: The task is initially assigned to some node i ∈ V that will be called an initiator node. The initiator delegates various parts of this task to its neighbors, which delegate parts of their work to their neighbors, and so on. As the computation makes progress, these nodes exchange messages among themselves. No one has knowledge about the entire topology of the network, but every node knows about its local neighborhood.
A node, when viewed in isolation, can remain in one of the two states: active and passive. A process is active when it has some enabled guards. A process that is not active is called passive. If a process is in a passive state at a certain moment, then it does not necessarily mean that the process will always remain passive—a message sent by an active neighbor may wake up the process and make it active. An active process, on the other hand, eventu- ally switches to a passive state when it has executed all its local actions—these actions may involve the sending of zero or more messages.
In this setting, an important question for the initiator is to decide whether the present computation has terminated. Termination corresponds to the following three criteria:
(a) every process is in a passive state, (b) all channels are empty, and (c) the global state of the system satisfies the desired postcondition. Note that the criteria for termination are similar to those for deadlock, with the exception that in deadlock, the desired postcondition
is not satisfied. Both termination and deadlock reflect quiescent conditions, and it is qui- escence detection that we are interested in. The proposed detection method does not guar- antee that the desired postcondition has been reached.

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

9.3 алгоритмы завершения обнаружения Рассмотрим вычисление на сети процессов, чья топология G = (V, E). Один возможный механизм распределения вычислений для различных процессов является как fol минимумы: задача первоначально назначен на некоторые узел ∈ V, который будет вызываться узлом инициатора. Инициатор делегирует различные части этой задачи к своим соседям, которые делегируют часть своей работы к своим соседям и так далее. По мере выполнения вычислений эти узлы обмениваются сообщениями между собой. Никто не имеет знания о всей топологии сети, но каждый узел знает его окрестности.Узел, при просмотре в изоляции, может оставаться в одном из двух состояний: активный и пассивный. Процесс активен, когда он некоторые охранники. Процесс, который не является активным, называется пассивным. Если процесс находится в пассивном состоянии в определенный момент, то это не обязательно означает, что процесс всегда будет оставаться пассивным — сообщение, отправленное на активный сосед может проснуться процесс и сделать его активным. Активный процесс, с другой стороны, ко союзник переходит в пассивное состояние когда он выполнил все свои локальные действия — эти действия могут быть связаны ноль или более сообщений.В этой обстановке, важный вопрос для инициатора является решить, прекращает ли настоящее вычисление. Прекращение действия соответствует следующим трем критериям:a каждый процесс находится в пассивном состоянии, (b) все каналы пусты, и (c) глобальное состояние системы удовлетворяет желаемого постусловия. Обратите внимание, что критерии для прекращения аналогичны тупиковой ситуации, с исключением что в тупик, желаемый постусловияне удовлетворен. Прекращение и взаимоблокировки отражают quiescent условия, и ДШ escence обнаружения, что мы заинтересованы в. Предлагаемый метод не не гуаровая гарантиям, что достигнуто желаемого постусловия.

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

9.3 Termination-Detection алгоритмах

Рассмотрим вычисления работает в сети процессов, топология которого G = (V, E). Одним из возможных механизмов распределения вычислений для различных процессов следующим образом: Задача изначально присваивается некоторому узлу I ∈ V , который будет называться инициатором узла. Инициатором делегаты различных частей этой задачи к своим соседям, которые делегируют части своей работы к своим соседям, и так далее. Поскольку вычисление делает прогресс, эти узлы обмениваются сообщениями между собой. Никто не имеет знания о всей топологии сети, но каждый узел знает о его локальной окрестности.
Узел, если смотреть в изоляции, может оставаться в одном из двух состояний: активный и пассивный. Процесс активен , когда у него есть некоторые включены охранники. Процесс , который не является активным называется пассивным. Если процесс находится в пассивном состоянии в определенный момент, то это не обязательно означает , что процесс всегда будет оставаться пассивным-сообщение , отправленное активным соседом может проснуться процесс и сделать его активным. Активный процесс, с другой стороны, союзник переключается eventu- в пассивное состояние , когда он выполнил все свои локальные действия-эти действия могут включать в себя отправку нуля или более сообщений.
В этих условиях важный вопрос для инициатора является решить , следует ли кончилось настоящее вычисление. Прекращение соответствует следующим трем критериям:
(а) каждый процесс находится в пассивном состоянии, (б) все каналы являются пустыми, и (с) глобальное состояние системы удовлетворяет желаемого постусловия. Следует отметить , что критерии для прекращения их действия аналогичны тупике, за исключением того, что в тупиковой ситуации, желаемый Постусловие
не выполняется. Оба прекращения и тупиковый отражают постоянные условия, и это Куай обнаружение ценции , что мы заинтересованы в. Предлагаемый метод обнаружения не гаран- antee , которая была достигнута заданная Постусловие.

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

9.3 прекращения алгоритмов обнаружениярассмотреть вопрос о расчете работает на сети процессов, топология - g = (V, E).один возможный механизм распределения вычисления для различных процессов в оп - минимумов: задача первоначально установленного для некоторых узел, который я ∈ V, которые будут называться инициатор узла.инициатором делегатов различных частей этой задачи для своих соседей, которые делегируют часть их работы, их соседи, и так далее.в расчете делает успехи, эти узлы обмена сообщениями между собой.никто не знает о всей топологии сети, но каждый узел знает о своих местных район.узел, когда рассматриваются изолированно, могут оставаться в одном из двух государств: активным и пассивным.процесс активного, когда он имеет некоторые позволили охранников.процесс, который не является активным называется пассивной.если процесс в пассивном государства в определенный момент, то это не обязательно означает, что процесс будет всегда оставаться passive-a сигнал активный сосед может разбудить процесс и сделать его активность.активный процесс, с другой стороны, eventu - союзник переключается на пассивной государства, когда он исполнил все свои действия на местах, эти меры могут предусматривать направление ноль или больше сообщений.в этой обстановке, важный вопрос для инициатора состоит в том, чтобы принять решение о том, следует ли в настоящее время расчета прекратил.прекращение соответствует следующим трем критериям:a) каждому процессу в пассивном государства, b) все каналы пусты, и c) о состоянии глобальной системы отвечает желаемым postcondition.следует отметить, что критерии прекращения аналогичны в тупик, за исключением того, что в тупик, желаемого postconditionне удовлетворены.как прекращение, так и тупик отражает постоянные условия, и это qui - escence обнаружения, которые мы заинтересованы.предлагаемый метод обнаружения не гуаровая - antee, что желаемый postcondition достигнуто не было.