8.1 Consider the Chandy–Lamport dis

8.1 Consider the Chandy–Lamport distributed snapshot algorithm running on a network whose topology is G = (V, E), where V is the set of nodes representing processes and E is the set of directed edges (representing channels) connecting pairs of processes. Let n = |V|. Prove that in the snapshot the states of (n – 1) channels will always be empty. Also, compute the message complexity when G is strongly connected.
8.2 Construct an example to show that Chandy–Lamport distributed snapshot algorithm does not work when the channels are not FIFO.

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

8.1 рассмотреть Ченди-Лэмпорт распределенного снимка алгоритм работает на сети, чья топология G = (V, E), где V — набор узлов, представляющих процессы и E — это набор режиссер краев (представляющие каналы) соединения пары процессов. Пусть n = | V |. Доказать, что в снимке государства (n – 1) каналы будут всегда быть пустым. Кроме того вычислить сложность сообщения, когда G сильно связаны.8.2 Постройте пример, чтобы показать, что Ченди-Лэмпорт распределенного снимка алгоритм не работает, когда каналы не FIFO.

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

8.1 Рассмотрим алгоритм распределенных снимок Чанди-Лампорт работает в сети, топология которого G = (V, E), где V представляет собой набор узлов , представляющих процессы и Е представляет собой множество ориентированных ребер (представляющих каналы) , соединяющих пары процессов. Пусть п = | V |. Докажите , что в снимке состояния (п - 1) каналы будут всегда быть пустым. Кроме того , вычислить сложность сообщения , если G сильно связен.
8.2 Построить пример , чтобы показать , что Чанди-Лампорт алгоритм распределенных снимок не работает , если каналы не FIFO.

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

8.1 вопрос chandy – лэмпорт распространен снимок алгоритм работает на сети, топология - g = (V, E), где V - набор узлов, представляющих процессов и E - это набор направлены края (представляющих каналов), соединяющий пары процессов.n = | V |.доказать, что в отчете государства (N - 1) каналов всегда будет пустым.также, вычислить сообщение сложности, когда G тесно связан.8.2 построить, например, чтобы показать, что chandy – лэмпорт распространен снимок алгоритм не работать, когда каналы не FIFO.