64
правки
Изменения
→17-18 билеты. Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для FIFO. Алгоритм для причинно-согласованного порядка
Алгоритм FIFO основан на нумерации сообщений.
Алгоритм для причинно-согласованного порядка основан на матричных часах.
Псевдокод
var
M:array[l..N, 1..N] of integer initially 0;
To send a message t o Pj:
M [ i , j ] := M [ i , j ] + 1;
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 \forall k \neq j M[k, i] \geqslant W[k, i]</tex>
M := max(M, W)
===19 билет. Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для синхронного порядка===
