8.3.1 two examplesTo study various

8.3.1 two examples
To study various features of the Chandy–Lamport algorithm, we present two examples of computing the global state.

8.3.1.1 Example 1: Counting of Tokens
Consider Figure 8.1 again. Assume that that only token is in transit in the channel (0, 1) and process 0 initiates the snapshot algorithm. Then, the following is a valid sequence of events:

1. Process 0 turns red; records n0 = 0, |sent(0, 1)| = 1, and |received(2, 0)| = 0; and sends the marker along (0, 1).
2. Process 1 receives the token and forwards it along (1, 2) before receiving the marker. Then, it receives the marker; turns red; records n1 = 0, |received(0, 1)| = 1, and
|sent(1, 2)| = 1; and sends the marker along (1, 2).
3. Process 2 receives the token and forwards it along (2, 0) before receiving the marker. Then, it receives the marker; turns red; records n2 = 0, |received(1, 2)| = 1, and
|sent(2, 0)| = 1; and forwards the marker to process 0.
4. Process 0 receives the token and then receives the marker along (2, 0). The algorithm terminates here.

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

8.3.1 два примераДля изучения различных особенностей алгоритма Ченди – Лэмпорт, мы представляем два примера вычисления глобального состояния.8.3.1.1 Пример 1: Подсчет маркеровСнова рассмотрим Рисунок 8.1. Предположим, что это только маркер в пути в канале (0, 1) и процесс 0 инициирует алгоритм моментального снимка. Затем ниже является допустимым последовательность событий:1. процесс 0 становится красным; записи n0 = 0 | sent(0, 1) | = 1, и | received(2, 0) | = 0; и отправляет маркер вдоль (0, 1).2. процесс 1 получает токен и пересылает его вдоль (1, 2) до получения маркера. Затем он получает маркер; становится красным; записи n1 = 0 | received(0, 1) | = 1, и| sent(1, 2) | = 1; и отправляет маркер вдоль (1, 2).3. процесс 2 получает токен и пересылает его вдоль (2, 0) до получения маркера. Затем он получает маркер; становится красным; записи n2 = 0 | received(1, 2) | = 1, и| sent(2, 0) | = 1; и направляет маркер для обработки 0.4. процесс 0 получает маркер, а затем получает маркер вдоль (2, 0). Алгоритм завершает здесь.

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

8.3.1 два примера
для изучения различных особенностей алгоритма Чанди-Лампорт, приведем два примера вычисления глобального состояния.

8.3.1.1 Пример 1. Подсчет токенов
Рассмотрим рисунок 8.1 снова. Предположим , что только что маркер находится в пути в канале (0, 1) и процесс 0 инициирует алгоритм моментального снимка. Тогда следующее является допустимым последовательность событий:

1. Процесс 0 становится красным; Записи n0 = 0, | посланные (0, 1) | = 1, и | получено (2, 0) | = 0; и посылает маркер вдоль (0, 1).
2. Процесс 1 принимает маркер и передает его вместе (1, 2) до получения маркера. Затем он получает маркер; краснеет; Записи n1 = 0, | получено (0, 1) | = 1, и
| послал (1, 2) | = 1; и посылает маркер вдоль (1, 2).
3. Процесс 2 получает маркер и передает его вместе (2, 0) до получения маркера. Затем он получает маркер; краснеет; Записи n2 = 0, | получено (1, 2) | = 1, и
| послал (2, 0) | = 1; и передает маркер для обработки 0.
4. Процесс 0 получает маркер , а затем получает маркер вдоль (2, 0). Алгоритм останавливается здесь.

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

8.3.1 два примераизучение различных особенностей chandy – лэмпорт алгоритм, мы представляем два примера из расчета глобальных государства.8.3.1.1 пример 1: подсчет жетонырассмотреть рис. 8.1 снова.предположить, что это лишь символические находится в процессе передачи на канале (0: 1) и процесс 0 инициирует снимок алгоритм.затем, после действует последовательность событий:1.процесс 0 станет красным, записей нет = 0, | послал (0, 1) | = 1, и | получил (2, 0) | = 0; и отправляет габаритного вместе (0: 1).2.процесс 1 получает знак и передает его на 1, 2) до получения маркер.затем он получает маркер, станет красным, отчеты N1 = 0, | получил (0, 1) | = 1, и| послал (1, 2) | = 1; и отправляет габаритного вместе (1, 2).3.процесс 2 получает знак и направляет его в (2, 0) до получения маркер.затем он получает маркер, станет красным, отчеты N2 = 0, | получил (1, 2) | = 1, и| послал (2, 0) | = 1; и передает маркер на процессе 0.4.процесс 0 получает символический, а затем получает маркер вместе (2, 0).алгоритм заканчивается здесь.