Введение в распределенные

Матричное время

В механизме матричных часов логическое время представлено в виде матрицы неотрицательных целых чисел размером N x N. Каждый процесс P_i локально поддерживает работу с матрицей M_i[1..N, 1..N] со следующими элементами.

• 
  В элементе M_i[i, i] хранятся показания локальных часов процесса P_i
  

для измерения своего собственного хода выполнения.

• 
  В элементе M_i[i, j] содержатся последние сведения, полученные процессом P_i о локальном времени процесса P_j. Другими словами, строка M_i[i, .] является векторным временем процесса P_i.
  
• 
  В элементе M_i[j, k] содержатся последние сведения, полученные процессом P_i о том, какой информацией обладает процесс P_j о локальном времени процесса P_k.
  

Таким образом всю матрицу M_i можно рассматривать как локальное представление процесса P_i не только о текущем глобальном времени, но и о том, что процессы "знают" о локальном времени друг друга. Отметка времени события e_i, происходящего в процессе P_i, определяется всеми элементами матрицы M_i на момент наступления этого события и обозначается через M(e_i).
Каждый процесс P_i использует следующие правила для работы со своими матричными часами.
Правило 1: перед выполнением любого события процесс P_i
увеличивает показания своих локальных часов M_i[i, i]:
M_i[i, i] = M_i[i, i] + d, где d > 0.
Как и для случая скалярного времени, каждый раз d может принимать любые значения. Однако обычно d всегда полагают равным единице.
Перед выполнением события получения сообщения процесс вынужден произвести немного другие действия согласно следующему правилу.