292
правки
Изменения
→Определение и полезность
== Определение и полезность ==
Интервал <tex>[G, H]</tex> (<tex>G \subseteq H</tex>) называется барьерно синхронизирующим(?), если для любых событий <tex>e \in G</tex> и <tex>f \notin H</tex> верно, что $e \rightarrow f$.
Это сильнее [[Согласованный интервал|согласованных интервалов]]: те требуют лишь отсутствия стрелок справа налево (коих в барьере не может быть, потому что есть вообще все возможные стрелки слева направо, а в две стороны стрелки не бывает).
Как следствие, внутри любого барьерно-синхронизирующего интервала тоже есть согласованный срез (где-то, не знаем, где).
А искать такой интервал намного проще, чем [[Алгоритм Чанди-Лампорта|искать срез]] и по коду, и по количествуи сообщений (линия вместо квадрата).
== Алгоритмы ==
