17、实时协作编辑系统中的以用户为中心的一致性模型

实时协作编辑系统中的以用户为中心的一致性模型

1. 引言

分布式实时协作编辑系统支持多个用户通过通信网络（如互联网）从地理位置分散的站点同时查看和编辑同一文档。它避免了将同一文档的不同版本合并为一个版本的开销，从而减少了完成任务所需的时间。

然而，互联网目前存在严重的带宽限制，会导致较大的通信延迟。但对群件研究人员来说，根本挑战并非可用带宽有限，而是光速恒定，洲际通信延迟无法低于物理极限，这对群件系统的设计产生了重大影响：
- 集中式系统中，用户无法立即看到自己的操作，本地命令（包括锁请求）响应性差。
- 远程用户无法立即看到其他用户的操作，“所见即我见”（WYSIWIS）属性不再成立。

为保持本地命令的响应性，可在所有参与站点复制用户操作的对象，但这会因多用户对同一对象的并发编辑而带来严重的一致性维护问题。

传统群件系统继承了数据库系统的许多一致性维护机制，如锁定和事务，其基本原则是冲突预防，这与协作精神相悖。因为用户习惯单用户编辑器的工作方式，无约束和非限制性的编辑很受欢迎。

理论上，协作工作中冲突不可避免，但冲突不一定对协作过程有破坏作用，反而有助于群体意图的形成。因此，群件系统的设计应将一致性维护策略从冲突预防转向冲突控制，将维护机制从基于系统的自动冲突解决转向以用户为中心的协商支持，这就需要一个新的以用户为中心的一致性模型。

2. 相关工作

一致性维护在并行和分布式系统、传统数据库系统和群件系统中是一个研究得很好的话题。现有的一致性模型以系统为导向，关注一致性的客观和静态方面，未充分考虑人类用户的参与。许多研究原型基于相关领域的现有模型，要么过于严格，要么无法为参与用