Срез, согласованный срез

Материал из Викиконспекты
Перейти к: навигация, поиск

Пусть E - event-ориентированная система с полным порядком ([math]\prec[/math]) в рамках каждого процесса. Тогда
Срез F - любое подмножество E такое, что [math]f \in F, e \prec f \Rightarrow e \in F[/math]

Согласованный срез G - любое подмножество E такое, что [math]\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G[/math].

Это означает, что не существует сообщения переданного "через" срез в обратную сторону (см. рисунок [math]m_1[/math] - несогласованный срез, [math]m_2[/math] - согласованный срез).

Consistent.png