94
правки
Изменения
Новая страница: «Категория: Параллельное программирование Пусть E - event-ориентированная система с полным …»
[[Категория: Параллельное программирование]]
Пусть E - event-ориентированная система с полным порядком (<tex>\prec</tex>). Тогда <br>
'''Срез''' ''F'' - любое подмножество ''E'' такое, что <tex>f \in F, e \prec f \Rightarrow e \in F</tex>
'''Согласованный срез''' ''G'' - любое подмножество ''E'' такое, что <tex>\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G</tex>.
Это означает, что не существует сообщения переданного "через" срез в обратную сторону (см. рисунок <tex>m_1</tex> - несогласованный срез, <tex>m_2</tex> - согласованный срез.
[[Файл:Consistent.png|left]]
Пусть E - event-ориентированная система с полным порядком (<tex>\prec</tex>). Тогда <br>
'''Срез''' ''F'' - любое подмножество ''E'' такое, что <tex>f \in F, e \prec f \Rightarrow e \in F</tex>
'''Согласованный срез''' ''G'' - любое подмножество ''E'' такое, что <tex>\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G</tex>.
Это означает, что не существует сообщения переданного "через" срез в обратную сторону (см. рисунок <tex>m_1</tex> - несогласованный срез, <tex>m_2</tex> - согласованный срез.
[[Файл:Consistent.png|left]]