64
правки
Изменения
→17-18 билеты. Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для FIFO. Алгоритм для причинно-согласованного порядка
# синхронный (можно выстроить ребра передачи сообщений без пересечений)
Алгоритм FIFO основан на нумерации сообщений.<br>
Алгоритм для причинно-согласованного порядка основан на матричных часах.
Псевдокод
send M as part of the message;
To receive a message with matrix W from Pj:
'''enabled if''' (W[j,i] = M [j,i] + 1) <tex>\land </tex> <tex> \forall k \neq j </tex> <tex>M[k, i] \geqslant W[k, i]</tex>
M := max(M, W)
