Excalidraw多人协作机制剖析：OT算法是如何工作的？-育师

Excalidraw多人协作机制剖析：OT算法是如何工作的？

在远程办公成为常态的今天，团队成员可能身处不同时区，却需要在同一块“白板”上实时碰撞想法。无论是画一张系统架构图、设计一个用户流程，还是进行一场头脑风暴，如何让多个用户的操作既即时可见又不会互相覆盖或错乱，成了现代协作工具的核心挑战。

Excalidraw 正是这样一个应运而生的开源虚拟白板工具。它以手绘风格和极简交互赢得了开发者社区的喜爱，但真正让它脱颖而出的，是其背后那套看似隐形却极为精密的多人协同机制——而这套机制的灵魂，正是操作转换（Operational Transformation, OT）算法。

想象一下这个场景：你和同事正在共同编辑一幅网络拓扑图。你在移动一台服务器图标的同时，他正修改同一图标的标签。如果没有协调机制，你的移动可能会“覆盖”他的文字更改，或者反过来，导致最终状态丢失某一方的操作。更糟的是，如果你们看到的画面不一样，协作就会陷入混乱。

Excalidraw 的解决方案不是阻止并发，而是拥抱它，并通过数学方式确保所有人的画面最终趋于一致。这就像两个舞者在同一时刻做出动作，看似冲突，实则经过编排后仍能完美同步。

要理解这一切是如何发生的，我们需要先搞清楚 OT 到底在做什么。

简单来说，OT 解决的是：当两个用户几乎同时对共享数据进行修改时，如何让这些操作在不同客户端上按合理顺序应用，从而达成最终一致性。

它的核心思想并不复杂：每个用户操作都被抽象为一个“操作对象”，比如“将元素 A 的颜色改为蓝色”。当客户端收到别人发来的操作时，并不会直接执行，而是先检查自己有没有尚未上传的本地操作。如果有，并且两者作用于相同目标，就需要“变换”远端操作，使其适应本地已发生的变化。

举个例子：

用户 A 在本地创建了一个矩形R1。
几乎同时，用户 B 尝试修改R1的边框颜色。
由于网络延迟，B 的操作可能先到达某些客户端，而此时R1还不存在。

这时候 OT 就起作用了：系统会识别出 B 的操作依赖于尚未到来的“创建 R1”操作，于是暂存并等待；一旦 A 的创建操作到达，B 的设色操作就会被“变换”为适用于新创建对象的形式，然后安全应用。

这种机制的关键在于，所有操作必须是可变换、可组合、可逆的。也就是说，任意两个并发操作之间都存在一种数学规则，可以计算出它们互换顺序后的等效形式。这听起来像是高深的代数问题，但在实践中，它是通过精心定义的操作语义来实现的。

在 Excalidraw 中，每个图形元素都有唯一的 ID，每一次变更（位置、大小、颜色等）都会生成一个带有元信息的操作包。这些操作包通过 WebSocket 实时传输，而客户端内置的 OT 引擎则负责处理接收到的操作与本地待提交操作之间的潜在冲突。

来看一段简化版的 TypeScript 代码，模拟这一过程：

interface Operation { type: 'update'; elementId: string; property: 'strokeColor' | 'x' | 'y'; value: any; clientId: string; timestamp: number; } function transform(remoteOp: Operation, localOp: Operation): Operation | null { // 如果不是同一个元素，无需变换 if (remoteOp.elementId !== localOp.elementId) { return remoteOp; } // 如果是同一属性更新，采用“最后写入获胜”策略 if (remoteOp.property === localOp.property) { return remoteOp.timestamp > localOp.timestamp ? remoteOp : null; } // 不同属性更新，互不干扰，直接保留 return remoteOp; }

这段代码展示了一种最基础的冲突解决逻辑：对于同一元素的不同属性修改（如一人改颜色、一人改位置），完全可以并行应用；而对于同一属性的修改，则根据时间戳决定胜负。虽然实际系统中还会引入向量时钟或操作依赖图来提升准确性，但基本思路是一致的。

值得注意的是，Excalidraw 并没有完全照搬传统文本编辑器中的 OT 实现。毕竟，图形编辑和字符插入有着本质区别。文本操作通常是线性的（在某个偏移量插入字符），而图形操作是多维的（位置、尺寸、层级、连接关系等）。因此，Excalidraw 对 OT 做了针对性优化：

操作粒度控制：连续拖动会产生大量坐标更新，若逐条发送会压垮网络。Excalidraw 会在短暂节流（debounce）后将多个微小移动合并为一次“批量更新”操作，既减少通信开销，也降低 OT 计算负担。
上下文感知变换：判断两个操作是否冲突，不仅看元素 ID，还要看具体行为类型。例如，两个用户同时移动不同元素，显然无冲突；但如果涉及连线锚点绑定，则需更复杂的依赖分析。
幂等性保障：网络可能重传消息，所以每个操作都带唯一 ID，客户端会去重，防止重复渲染。

整个协作流程可以用一个清晰的数据流概括：

用户操作触发前端事件；
操作被序列化为 JSON 格式的指令；
指令立即应用于本地画布（提供零延迟反馈）；
同时通过 WebSocket 发送给协作服务器；
服务器广播给房间内其他客户端；
其他客户端接收后，调用 OT 引擎与本地未确认操作做变换；
变换后的操作安全应用，UI 更新。

在这个过程中，服务器的角色其实是“消息中继”而非“决策中心”。它负责分配时间戳、保证广播顺序，但不参与冲突解决。真正的智能在客户端，这也使得系统更具弹性——即使服务器短暂宕机，用户仍可在本地继续编辑，恢复连接后自动补全同步。

从架构上看，Excalidraw 采用了典型的C-S-C（Client-Server-Client）模型：

+-------------+ +------------------+ +--------------+ | Client A |<----->| Collaboration |<----->| Client B | | (OT Engine) | | Server (WebSocket)| | (OT Engine) | +-------------+ +------------------+ +--------------+ ↑ ↑ ↑ Local Canvas Message Broker Local Canvas Immediate Update Ordered Broadcast Consistent Render

这种设计的优势非常明显：

低延迟体验：本地操作无需等待服务器响应即可生效；
高并发支持：多个用户可自由编辑不同部分，互不影响；
弱网友好：断线期间操作可缓存，恢复后增量同步；
易于扩展：新增客户端只需接入协议即可，无需改造服务端逻辑。

当然，任何技术都不是银弹。OT 虽然强大，但也带来了更高的实现复杂度。尤其是在图形编辑这种非线性场景下，定义完整的变换函数集是一项艰巨任务。稍有不慎，就可能导致状态发散（即各客户端最终呈现不同结果），这是 OT 系统最忌讳的问题。

为此，Excalidraw 团队采取了一些务实的做法：

混合使用 CRDT 思想：虽然主干仍是 OT，但在某些字段（如只读注释、自动编号）上引入了无冲突复制数据类型（CRDT）的设计理念，进一步降低冲突概率。
操作日志回放机制：所有操作均可记录成时间轴，便于调试、回溯甚至录制“协同过程视频”。
降级策略：当检测到严重不一致时，可请求服务器推送完整快照，强制重置本地状态，避免错误累积。

还有一个常被忽视但极其重要的细节：权限控制不在 OT 层面处理。OT 只关心“怎么合并”，不关心“谁可以操作”。因此，在真实部署中，必须结合 JWT 或 OAuth 在服务端验证操作合法性，防止恶意用户伪造消息。

事实上，从 GitHub 上的源码可以看到，Excalidraw 的协作模块主要集中在excalidraw-app子项目中，使用 TypeScript 编写，结构清晰。其同步逻辑并非完全自研，而是借鉴了早期 Google Wave 和 ShareJS 的工程经验，再结合现代 Web 技术栈做了轻量化重构。

那么，这套机制的实际效果如何？我们可以从几个典型应用场景中看出端倪：