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 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 каждый процесс находится в пассивном состоянии, (b) все каналы пусты, и (c) глобальное состояние системы удовлетворяет желаемого постусловия. Обратите внимание, что критерии для прекращения аналогичны тупиковой ситуации, с исключением что в тупик, желаемый постусловияне удовлетворен. Прекращение и взаимоблокировки отражают quiescent условия, и ДШ escence обнаружения, что мы заинтересованы в. Предлагаемый метод не не гуаровая гарантиям, что достигнуто желаемого постусловия.

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

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

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