Изменения

Перейти к: навигация, поиск

Иерархия порядков сообщений

992 байта добавлено, 09:47, 3 июня 2019
Синхронный порядок
== Синхронный порядок ==
Можно считать, что сообщения доставляются мгновенно.
В сочетании с линейным порядком событий внутри процессов получаем
{{Определение
|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]]
292
правки

Навигация