8.3.1.2 Example 2: Communicating St

8.3.1.2 Example 2: Communicating State Machines
This example is from [CL85]. Two state machines i and j communicate with each other by sending messages M and M′ along channels c1 and c2 (Figure 8.5), respectively. Each state machine has two states: up and down. Let s(i) and s(j) denote the states of i and j, respectively, and S0 represent the initial global state s(i) = s(j) = down and c1 = c2 = ∅. A possible sequence of global states is shown in Figure 8.5. The global state returns to S0 after machine j receives M, so that S0, S1, S2, S3, S0 forms a cyclic sequence.
Now, use the Chandy–Lamport algorithm to record a snapshot SSS. Assume that in global state S0, process i initiates the snapshot algorithm by sending a marker and then sending a message M along c1, which changes s(i) from down to up. Before M reaches j, state machine j sends M′ along c2, changing s(j) from down to up. Then, j receives the marker and forwards it along c2. Thereafter, message M′ and then the marker reach

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

8.3.1.2 Пример 2: Общаясь автоматов
Этот пример из [CL85]. Две машины состояний I и J общаются друг с другом, посылая сообщения M и M 'по каналам c1 и c2 (рис 8.5), соответственно. Каждое состояние машина имеет два состояния: вверх и вниз. Пусть s (I) и s (J) обозначают состояния I и J, соответственно, и S0 представляет начального глобального состояния сек (I) = S (J) = вниз и c1 = c2 = ∅. Возможная последовательность глобальных состояний показана на рисунке 8.5. Глобальное состояние возвращается к S0 после машинного J получает М, так что S0, S1, S2, S3, S0 образует циклическую последовательность.
Теперь, используют алгоритм Чанди-Лампорт для записи снимка SSS. Предположим , что в глобальном состоянии S0, процесс я может инициировать алгоритм моментального снимка, отправив маркер , а затем отправив сообщение M вдоль c1, который изменяет с (I) снизу вверх. Перед тем как M достигает J, конечный автомат посылает J М 'вдоль с2, изменение S (J) снизу вверх. Затем, J принимает маркер и передает его вместе с2. После этого сообщение М ' , а затем маркер достигают

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

8.3.1.2 пример 2: общение государственной машиныэто пример из [cl85].два государства Machines I и J общаться друг с другом, направляя сообщения м и м - х вдоль каналов с1 и с2 (цифра 8,5), соответственно.каждое государство, машина имеет два государства: вверх и вниз.давайте (i) и S (j) обозначают штаты I и J, соответственно, и S0 являются первой глобальной S (я) = S (j) = = = ли вниз и с1, с2.возможно, несколько глобальных государства, как показано на рисунке 8,5.глобальное государство возвращает S0 после того, как машины J получает м, с тем чтобы S0, S1, с2, S3, S0 форм цикличность последовательности.в настоящее время, используя chandy – лэмпорт алгоритм для записи снимок ссо.предполагают, что в состоянии глобальной S0, процесс я инициирует снимок алгоритм, отправив маркер и затем посылает сигнал м по с1, какие изменения S (I) от вниз.до м достигает J, государственной машины J посылает м ′ по с2, изменение S (j) вниз.затем, J получает маркер и направляет ее по с2.после этого сообщения м ′ и затем маркером достичь