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

Подсчет событий. Если значение прироста логических локальных часов всегда равно единице (d = 1), то i-й компонент векторных часов процесса P_i, V_i[i], будет определять количество событий, произошедших в P_i до настоящего момента. Если событие e_i имеет векторную отметку времени V(e_i), то j-й компонент вектора V(e_i)[j] содержит в себе число
событий, выполненных в процессе P_j и предшествующих e_i согласно отношению причинно-следственного порядка. Очевидно, величина
∑ _j V(e_i)[j] – 1 представляет собой общее число событий, произошедших раньше e_i в распределенном вычислении, т.е. принадлежащих конусу прошлого данного события. Здесь стоит обратить внимание, что поверхность конуса прошлого и, как следствие, все множество событий, произошедших раньше e_i, определяется вектором, совпадающим с V(e_i) за исключением i-го компонента: для поверхности конуса прошлого i-й компонент будет на единицу меньше V(e_i)[i].
Если событие e_i представляет собой внутреннее событие останова процесса при отладке распределенной системы (англ. breakpoint event), то глобальное состояние, следующее сразу за поверхностью конуса прошлого события e_i, будет определять контрольную точку, фиксирующую состояние системы непосредственно после всех событий, потенциально влияющих на e_i, (англ. casual distributed breakpoint). Другими словами, такое глобальное состояние не включает в себя результат наступления событий, не влияющих на e_i, и, как следствие, позволяет дать неискаженную информацию о причинах возникновения e_i. Такая распределенная контрольная точка является естественным расширением обычного понятия контрольной точки, устанавливаемой для последовательно выполняемого процесса с целью определения его состояния сразу после всех событий, предшествующих этой контрольной точке.

2.