But the rollbacks do not end here.

But the rollbacks do not end here. Observe that (p2, q2, r2) does not represent a consistent global state. Process R has to undo the sending of its previous message m6, and its local state now has to revert to r1. This will cause Q to revert its state to q1. Eventually, the processes have to roll back all the way to their initial checkpoints (p0, q0, r0), which by definition is a valid checkpoint (since no messages were exchanged before it). So the entire computation is lost despite all the space used to record the nine checkpoints. If process P recorded its last checkpoint after sending the last message, then the computation could have rolled back only to (p2, q2, r2). This would have been possible with coordinated check- pointing. Coordinated checkpoints can be recorded using Chandy–Misra’s distributed snapshot algorithm (when the channels are FIFO) or Lai–Yang’s algorithm (when the FIFO guarantee of channels does not exist) (see Chapter 8).

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

Но откатов не заканчиваются здесь. Наблюдать что (p2, q2, r2) не представляет последовательное глобальное состояние. Процесс R должен отменить отправку своего предыдущего сообщения m6 и его локальное состояние теперь должен вернуться к r1. Это вызовет Q, чтобы вернуть свое состояние в q1. В конце концов процессы должны выполнить откат к их первоначальных контрольно-пропускных пунктов (p0, q0, r0), который по определению является допустимым контрольной точки (поскольку сообщения не были обменяны до него). Таким образом все вычисления теряется несмотря на все пространство, используемое для записи девяти контрольно-пропускных пунктов. Если процесс P последней контрольной точки после отправки последнего сообщения, то вычисление может откат только к (p2, q2, r2). Это было бы возможно с согласованной проверки - указывая. Скоординированные контрольно-пропускные пункты могут быть записаны с помощью алгоритма распределенного снимка Ченди-Мисра (когда каналы FIFO) или Лай-Ян алгоритм (когда гарантия FIFO каналов не существует) (см. гл. 8).

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

Но откаты не заканчиваются. Заметим, что (p2, q2, r2) не представляет собой последовательное глобальное состояние. Процесс R должен отменить отправку своего предыдущего сообщения m6, и его локальное состояние теперь должен вернуться к Г1. Это приведет к Q, чтобы вернуться в состояние q1. В конце концов, процессы должны выполнить откат вплоть до их начальных контрольных точек (р0, q0, r0), который по определению является действительным контрольно-пропускной пункт (поскольку не были обменены никаких сообщений перед этим). Таким образом, все вычисления теряется, несмотря на все пространство, используемое для записи девять контрольно-пропускных пунктов. Если процесс P записал свой последний контрольно-пропускной пункт после отправки последнего сообщения, то вычисление может быть откат только (P2, Q2, R2). Это было бы возможно с координированной регистрация по прибытии, указывающей. Скоординированные контрольные точки могут быть записаны с помощью распределенного алгоритма моментального снимка Чанди-Мишры (когда каналы FIFO) или алгоритм Lai-Янга (когда гарантия FIFO каналов не существует) (смотрите Главу 8).

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

но rollbacks не заканчиваются.отмечают, что (- 2, 2, 2), не является последовательное глобальное государство.процесс R не отменить отправку его предыдущее сообщение м6, и его местных государственных сейчас вернуться к R1.это вызовет Q вернуться его государства в первом квартале.в конечном итоге, процесс борьбы за сокращение масштабов заболеваемости весь путь до их первоначального контрольно - пропускных пунктов (P0, Q0, r0), которое, по определению, является действительным контрольно - пропускной пункт (после сообщения не состоялся до нее).весь расчет теряется, несмотря на все пространство используется для записи девяти контрольно - пропускных пунктов.если процесс P заносимое в отчет о заседании своего последнего контрольно - пропускной пункт после отправки последнее сообщение, то расчет мог перевернуться обратно только (- 2, 2, 2).это можно было бы с координацией проверить - указывает.скоординированное контрольно - пропускных пунктов может быть записан с помощью chandy - мисра распределенного снимок алгоритм (когда каналы FIFO) или лай - янг алгоритм (когда FIFO гарантировать каналов не существует) (см. главу 8).