Просмотр исходного текста страницы Алгоритм для причинно-согласованного порядка

Этот алгоритм берёт систему с асинхронным(?) порядком и начинает гарантировать в ней [[Иерархия порядков сообщений#Причинно-согласованный порядок|причинно-согласованный порядок]].

Псевдокод алгоритма для причинно-согласованного порядка. Вместе с сообщением отправляем матрицу M: M[i, j] &mdash; количество сообщений, отправленных процессом 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)