In a distributed system, many consi

In a distributed system, many consistent snapshots can be recorded. A snapshot that is often of practical interest is the one that is most recent. Let C1 and C2 be two consistent cuts leading to two different snapshots S1 and S2, respectively, and let C1 ⊂ C2. Then, C2 is more recent than C1, and snapshot S2 is more recent than snapshot S1.
A computation (also called a behavior or a run) is a sequence of events in a distributed system. Let a and b be a pair of events in a computation. Then, the computation is consistent when ∀a,b: a ≺ b ⇒ a precedes b in it. Such a computation reflects one of the feasible schedules of a central scheduler. When the events are partially ordered, there may be multiple consistent runs. Given a consistent run X that contains a pair of concurrent events c and d, another consistent run Y can be generated from X by swapping their order and without violating any other causal order in the system.
Chandy and Lamport [CL85] addressed the issue of consistent snapshot and pre- sented an algorithm for recording such a snapshot. The following section describes their algorithm.

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

В распределенной системе могут быть записаны многие снимки последовательно. Моментальный снимок, который часто представляет практический интерес является тот, который является самым последним. Пусть C1 и C2 два последовательного сокращения, ведущих к два различных снимков S1 и S2, соответственно и пусть C1 ⊂ C2. Затем, более поздние, чем C1, C2 и снимок S2 является более поздней, чем снимок S1.Вычисление (также называется поведением или run) представляет собой последовательность событий в распределенной системе. Пусть и b пары событий в вычислениях. Затем, вычисление последовательным при ∀a, б: ≺ b ⇒ предшествует b в нем. Такое вычисление, отражает возможные расписания центрального планировщика. Когда события частично упорядоченными, может быть несколько последовательно выполняется. С учетом последовательного выполнения X, который содержит пару параллельных событий c и d, другой последовательного выполнения Y можно создавать из X, меняя их порядок и не нарушая других причинных порядок в системе.Ченди и Лэмпорт [CL85] рассматривается вопрос непротиворечивого моментального снимка и предварительно представлены алгоритм для записи такого снимка. В следующем разделе описывается алгоритм.

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

В распределенной системе, многие последовательные снимки могут быть записаны. Снимок , который часто представляет практический интерес является тот , который является самой последней. Пусть C1 и C2 два последовательных сокращений , ведущих к двум различным моментальные снимки S1 и S2, соответственно, и пусть С1 с С2. Тогда, С2 более поздние , чем С1, и снимок S2 является более поздней , чем снимок S1.
Вычисление (также называется поведение или бег) представляет собой последовательность событий в распределенной системе. Пусть а и Ь пару событий в вычислениях. Тогда вычисление согласуется когда ∀a, Ь: а ≺ Ь ⇒ А предшествует Ь в нем. Такое вычисление отражает одну из возможных графиков центрального планировщика. Когда события частично упорядочены, может быть несколько последовательных работает. С учетом последовательного запуска X , который содержит пару параллельных событий с и д, другой последовательный запуск Y может быть получен из X путем замены их порядок и не нарушая любой другой причинный порядок в системе.
Чанди и Лампорт [CL85] был рассмотрен вопрос о последовательный снимок и излагаемого алгоритм для записи такого снимка. В следующем разделе описывается их алгоритм.