Structure
Vector of counters, one per process. On local event: increment own counter. On send/receive: piggyback + merge (element-wise max).
Advertisement
Ordering
V ≤ W iff every V[i] ≤ W[i]. V < W iff V ≤ W AND some V[i] < W[i]. V || W (concurrent) iff neither ≤.
Advertisement
Applications
Dynamo/Riak use for conflict detection. Multi-master replication. Detect concurrent updates → return all versions for client resolution.