The colors of the four actions in t

The colors of the four actions in the state transitions S0→S1→S2→S3→S0 are r(i), w(j), r(i), r(j), respectively. Using the notions of equivalent computation, this can be transformed into a sequence w(j), r(i), r(i), r(j) (by swapping the first two actions since by Lemma 8.1, no red message can be received in a white action). This alters the computation to S0→S1′→S2→S3→S0, and the recorded global state SSS will indeed be the same as S1′. These observations can be summarized as follows:

CL1: Every snapshot state recorded by the Chandy–Lamport algorithm is reachable from the initial state through a feasible sequence of actions. However, there is no guarantee that this state will actually be attained during a particular computation.
CL2: Every final state that is reachable from the initial state is also reachable from the recorded snapshot state through a feasible sequence of actions.

Due to the second property, a malfunctioning distributed system can be reset to a consistent snapshot state SSS without altering the future course of the distributed system. Following such a reset action, the system has the potential to catch up with the expected behavior via a feasible sequence of actions.
Despite such anomalies, SSS indeed represents the actual global state, when the final state of the system corresponds to a stable predicate. A predicate P is called stable if once P becomes true, it remains true thereafter. This is different from nonstable predicates that may be true at a certain time, but change to false thereafter. Some examples of stable predicates are as follows: (1) the system is deadlocked and (2) the computation has terminated.

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

Цвета четырех действий в переходы состояния S0→S1→S2→S3→S0 являются r(i), w(j), r(i), r(j), соответственно. Использование понятий эквивалентных вычислений, это может быть преобразована в последовательность w(j), r(i), r(i), r(j) (путем замены первые два действия с "ЛЕММА" 8.1, красный сообщение не может быть получено в белом действии). Это изменяет вычисление S0→S1′→S2→S3→S0, и записанные глобального состояния ССС действительно будет таким же, как S1′. Эти наблюдения можно резюмировать следующим образом:Cl1: Каждый снимок состояние, записанные Ченди-Лэмпорт алгоритм доступен из первоначального состояния через возможные последовательности действий. Однако нет никакой гарантии, что это государство будет фактически достигнута во время конкретного вычисления.Cl2: Каждое конечное состояние, которое можно добраться из первоначального состояния также можно добраться из записанного снимка состояния через возможные последовательности действий.Из-за второго свойства неисправности распределенной системы можно сбросить непротиворечивого моментального снимка состояния ССС без изменения будущего курса распределенной системы. После такого сброса действия система имеет потенциал, чтобы догнать с ожидаемым поведением через возможно последовательность действий.Несмотря на такие аномалии SSS действительно представляет собой фактическое глобальное состояние, когда конечное состояние системы соответствует стабильной предикату. Предикат P называется стабильной, если после того, как P становится истинным, остается верным в дальнейшем. Это отличается от nonstable предикатов, которые могут быть правдой в определенное время, но изменить значение на false после этого. Некоторые примеры стабильных предикатов являются следующие: (1) система заблокирована и (2) вычисление прекращено.

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

Цвета четырех действий в переходов состояний S0 → S1 → S2 → S3 → S0 являются г (I), W (J), г (I), г (к), соответственно. Используя понятия эквивалентных вычислений, это может быть преобразовано в последовательность ш (J), г (I) R (I) R (J) (путем замены первых двух действий , так как по лемме 8.1, не красное сообщение не может быть полученные в белом действии). Это изменяет вычисление к S0 → S1 '→ S2 → S3 → S0, и записанная глобальное состояние SSS действительно будет таким же , как S1'. Эти наблюдения можно суммировать следующим образом :

CL1: Каждое состояние снимок записывается с помощью алгоритма Чанди-Лампорт достижима из начального состояния с помощью возможной последовательности действий. Тем не менее, нет никакой гарантии , что это состояние на самом деле будет достигнуто в течение определенного вычисления.
CL2: Каждое конечное состояние , что достижима из начального состояния также доступен из записанного состояния снимка через возможной последовательности действий.

Благодаря второму свойству , неисправная распределенная система может быть сброшен в согласованное состояние снимка SSS без изменения будущего курса распределенной системы. После такого действия сброса, система имеет потенциал , чтобы догнать ожидаемого поведения с помощью возможной последовательности действий.
Несмотря на такие аномалии, SSS действительно представляет фактическое глобальное состояние, когда конечное состояние системы соответствует устойчивому предиката. Предикат Р называется устойчивым , если когда - P становится истинным, оно остается верным в дальнейшем. Это отличается от нестабильных предикатами , которые могут быть истинными в определенное время, но изменить ложь после этого. Некоторые примеры стабильных предикатам являются следующие: (1) система тупиковой и (2) вычисление окончилась.

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

через несколько минут