Срез, согласованный срез — различия между версиями

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

Версия 15:04, 11 марта 2018

Пусть E - система на основе событий (event-based system) с полным порядком ([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