Изменения

Пусть $E - система на основе $ — множество событий (event-based system) с полным порядком ($<tex>\prec</tex>$) в рамках каждого процесса. Тогда <br>'''Срез''' ''F'' - любое подмножество ''E'' такое, что <tex>f \in F, e \prec f \Rightarrow e \in F</tex>

{{Определениеdefinition='''Согласованный срезСрез''' ''G'' - любое $F$ — подмножество ''$E'' $ такое, что если $e <tex>\forall f \in EF$, \forall g то $e \in G : f \rightarrow g \Rightarrow f \in G</tex>F.}}}

{{Определениеdefinition='''Согласованный срез''' $G$ — подмножество $E такое, что <tex>\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G</tex>.}} Это означает, что не существует сообщения переданного &quot;"через&quot; срез " в обратную сторону, т.е не бывает такого, что событие отправки сообщения не вошло в согласованный срез, а принятия вошло (см. рисунок <tex>m_1</tex> - несогласованный срез, <tex>m_2</tex> - согласованный срез). Можем говорить о том, что согласованный срез показывает некий глобальный снимок нашей системы. [[Файл:Consistent.png|left]] Эквивалентное определение: не существует $f \in G, e \in E \setminus G$ таких, что $e \to f$.