Dotted Version Vector

普通版本向量的分量 $a:7$ 意味着 $a$ 的第一至第七个事件全都已见，无法表示“只见第七个，没见前六个”。DVV 把完整前缀和一个突出事件分开，既保持向量压缩，又不虚构中间因果。

Dot 像文件的唯一修订号，context 像作者写这版前读过的修订清单。服务器分配序号的现实先后不等于两个客户端相互观察；只有 context 明确包含某 dot，后写才覆盖前写。因果比较不能只看最大 counter：来自不同 actors 的 9 与 12 没有大小语义。

这种分离特别适合 MV-Register：每个候选值携带一个 dot，对象 context 记住已淘汰的 dots。值可删除，因果知识仍能压进连续前缀，阻止迟到版本复活。

事件历史

可表示为

若把它误压成普通向量 $\{a:2,b:1,c:7\}$，就虚构已经观察 $c_4,c_5,c_6$。若另有事件 $c_9$ 且仍缺 $c_4$ 至 $c_8$，单一 DVV 不够，需保存两个 dots 或更一般的 dot cloud。

再看同一服务器 S 收到两个独立客户端的空 context 写入。它依次分配 $(S,1)$ 与 $(S,2)$，得到

两事件集合互不包含，所以它们并发。把第二版写成普通向量 $\{S:2\}$ 会错误声称它观察并覆盖第一版，仅因为序号由同一服务器稍后分配。

Actor 重启后若把 counter 清零，新的 $(S,1)$ 与旧事件碰撞；版本比较可能把两次不同写当同一事件。持久 counter、incarnation ID 或受协调的 epoch 是安全前提。

DVV 让客户端携带紧凑 context，服务器可以准确区分“覆盖已读版本”和“与未知版本并发”。合并后，若已知某 actor 的 dots 构成连续前缀，就可折叠进向量；存在洞时必须保留显式 dots。

用于垃圾回收时，逐成员 acknowledgment 的最小前沿可证明某些 dots 已全局稳定，但这要求成员集完整且旧身份不能重入。DVV 只表达知识，不自动证明谁是“所有成员”。序列化格式还必须规范 actor 身份和 counter 宽度，避免跨语言比较或溢出把不同事件折叠。