292
правки
Изменения
Новая страница: «Этот алгоритм берёт систему с асинхронным(?) порядком и начинает гарантировать в ней Ие…»
Этот алгоритм берёт систему с асинхронным(?) порядком и начинает гарантировать в ней [[Иерархия порядков сообщений#Причинно-согласованный порядок|причинно-согласованный порядок]].
Псевдокод алгоритма для причинно-согласованного порядка. Вместе с сообщением отправляем матрицу M: M[i, j] — количество сообщений, отправленных процессом i процессу j.
'''var'''
M:array[l..N, 1..N] of integer initially 0;
To send a message to <tex>P_j</tex>:
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</tex> <tex> \forall k \neq j</tex> <tex>M[k, i] \geqslant W[k, i]</tex>
M := max(M, W)
Псевдокод алгоритма для причинно-согласованного порядка. Вместе с сообщением отправляем матрицу M: M[i, j] — количество сообщений, отправленных процессом i процессу j.
'''var'''
M:array[l..N, 1..N] of integer initially 0;
To send a message to <tex>P_j</tex>:
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</tex> <tex> \forall k \neq j</tex> <tex>M[k, i] \geqslant W[k, i]</tex>
M := max(M, W)
