292
правки
Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
В распределённых системах могут быть разные гарантии порядка доставки отправленных сообщений.
Более того: иногда программисты могут неявно предполагать тот или иной порядок и очень удивляться, когда он нарушается.
[[Файл:distributed-order-fifo-wrong.png|400px]]
Очевидно, что FIFO также гарантирует асинхронный порядок.
== Причинно-согласованный порядок ==
Q -------b'---b--
</pre>
Причинно-согласованный порядок также гарантирует и FIFO-порядок, потому что из $a \le b$ следует $a \to b$.
== Синхронный порядок ==
[[Файл:distributed-order-sync-wrong.png|400px]]
Синхронный порядок гарантирует причинно-согласованный порядок: от противного: пусть есть два сообщения $m, n$, причём $snd(m) \to snd(n)$ (тогда $T(m) < T(n)$) и $rcv(n) \to rcv(m)$ (тогда $T(n)<T(m)$), противоречие.
