292
правки
Изменения
→Синхронный порядок
== Синхронный порядок ==
Можно считать, что сообщения доставляются мгновенно.
В сочетании с линейным порядком событий внутри процессов получаем
{{Определение
|definition=
В системе есть '''синхронный порядок''' сообщений, если всем сообщениям можно сопоставить время $T(m)$ (число) так, что верно:
* Для любого сообщения $m$: $T(rcv(m))=T(snd(m))$ (обозначается $T(m)$).
* Для любых двух событий $e \to f$ верно $T(e)<T(f)$ (обратное может быть неверно), т.е. $T$ является [[Логические часы Лампорта|логическими часами]].
}}
Пример нарушения (причинно-согласованность не нарушена):
[[Файл:distributed-order-sync-wrong.png|400px]]
