The observer has the following task

The observer has the following tasks: (1) determine which set of local states form a consistent snapshot, and construct the lattice of consistent states and (2) figure out if the predicate ϕ(S) = true for one or more snapshot states S.

8.5.1 Constructing the state lattice
For this task, we use vector time stamps. Each event is labeled with its vector clock. Each process reports these events, along with their local sequence numbers and vector time stamps, to the monitor. The monitor receives them in some arbitrary order. In a set of n processes V = {0, 1, 2, …, n − 1}, let VC(ei) be the vector time stamp of event ei in process i leading to its local state s(i) and VC(ej) be the vector time stamp of event ej in process j leading to its local state s(j). Then, s(i) and s(j) belong to some consistent global state iff one of them is (0, 0), or

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

Наблюдатель имеет следующие задачи: (1) определить набор местных государств формы непротиворечивого моментального снимка и построить решетки последовательно государств и (2) выяснить, если предикат φ (S) = true для одного или нескольких государств снимка S.8.5.1 строительство состояния решеткиДля решения этой задачи мы используем вектор отметки времени. Каждое событие имеет метку с часами вектора. Каждый процесс сообщает эти события, а также их местной последовательности номеров и вектор отметки времени, к монитору. Монитор получает их в произвольном порядке. В наборе n процессов V = {0, 1, 2, n − 1}, пусть VC(ei) вектор отметки времени события ei в процессе, я его локальное состояние s(i) и VC(ej) быть вектор штамп времени события ЭДж в процессе j, ведущие к его локальное состояние s(j). Затем, s(i) и s(j) принадлежат к некоторым согласованного глобального состояния МФЛ, одним из них является (0, 0), или

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

наблюдатель имеет следующие задачи: 1) определить, какой набор местных государства представляют собой постоянную снимок, и построить решетки последовательных государств и (2) выяснить, если основное 57,3 (S) = true для одного или более государств снимка.8.5.1 строительства государства решёткадля решения этой задачи, мы используем вектор времени марки.каждое мероприятие называется с его векторные часы.каждый процесс доклады этих событий, а также их местные номера последовательности и вектор времени марки, на мониторе.монитор получает их в произвольном порядке.в комплекс N процессы v = {0, 1, 2,..., N - 1}, пусть они (мап) вектор времени печать мероприятие мап в процессе я приводит к его местных государственных S (i) и сша (сз) быть вектор времени печать мероприятие EJ в процессе J ведущих его местные государственные S (j).тогда S (i) и S (j) принадлежат несколько последовательного глобального государства мфл, один из них (0: 0), или