The vector

Each node has counter for every node in cluster. Increment own on event. Send full vector with messages. Update by max on receive.

Advertisement

The vector

Each node has counter for every node in cluster. Increment own on event. Send full vector with messages. Update by max on receive.

Advertisement

Causal comparison

V1 < V2 if V1[i] ≤ V2[i] for all i AND V1 ≠ V2. Means V2 causally happened after V1.