Lai and Yang [LY87] proposed a modi

Lai and Yang [LY87] proposed a modification of Chandy–Lamport’s algorithm for distributed snapshot on a network of processes where the channels need not be FIFO. To under- stand Lai and Yang’s modification, let us once again color the messages white and red: a message is white if it is sent by a process that has not recorded its state, and a message is red if the sender has already recorded its state. However, unlike Chandy–Lamport’s algorithm, there are no markers—processes record their local states spontaneously and append this information as a Boolean flag (red or white) with any message they send. We will represent a message by (m, c) where m is the underlying message and c is the Boolean flag red or white.
The cornerstone of the algorithm is the condition Lemma 8.1: no red message is received in a white action. To make it possible, if a process that has not recorded its local state receives a message (m, red) from another process that has done so, then it first records its own state (this changes its color to red and the color of all its subsequent actions to red) and then accepts the message. No other action is required to make the global state consistent. The algorithm can be stated as follows:

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

Лай и Ян [LY87] предложил модификации Ченди-Лэмпорт алгоритм для распределенного моментального снимка по сети процессов, где каналы не должны быть FIFO. Под стенд Лай и Yang модификации, давайте еще раз цвет сообщения белый и красный: сообщение является белым, если оно отправлено процессом, который не записал свое состояние, и сообщение красным, если отправитель уже записали свое состояние. Однако, в отличие от Ченди-Лэмпорт алгоритм, нет никаких маркеров — процессов записи их местных государств спонтанно и добавить эту информацию как логический флаг (красный или белый) с любым сообщением, они посылают. Мы будет представлять сообщение (m, c) где m — базовое сообщение и c — логический флаг красный или белый.Краеугольным камнем алгоритма является условие "ЛЕММА" 8.1: красное сообщение не будет получено в белом действии. Чтобы сделать это возможным, если процесс, который не записал его локальное состояние получает сообщение (м, красный) из другого процесса, который сделал это, то он сначала записывает свое собственное состояние (это меняет свой цвет на красный и цвет всех своих последующих действиях на красный) и затем принимает сообщение. Никаких других действий необходимо сделать глобальное состояние последовательной. Алгоритм может быть сформулированы следующим образом:

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

лай и ян [ly87] предлагаемые изменения – лэмпорт chandy алгоритм в распределенных снимок в сети процессов, когда каналы должны быть не FIFO.в соответствии с - стой, лай и ян модификации, давайте еще раз цвета послания, белого и красного: послание белого, если оно направлено на процессе, что не зарегистрирован в государстве, и сигнал красным, если отправитель уже записала его государства.однако, в отличие от chandy – лэмпорт алгоритм, никаких маркеров в своих местных процессов государства самостоятельно и добавить эту информацию как логическое флаг (красного или белого) с любой сигнал посылают.мы будем представлять сообщение (M, C), где м - это смысл и C - логическое флагом красного или белого.краеугольным камнем алгоритма является условием лемма 8.1: ни красного, сообщение получено в белом.сделать это можно, если этот процесс не о местной государственной получает сообщение (m, красный) из другого процесса, что сделано, то первые записи своего собственного государства (это меняет свой цвет на красный и цвет все свои последующие действия до красного), а затем принимает сигнал.никаких других действий, необходимых для того, чтобы глобальное государство последовательно.алгоритм может быть заявил следующее: