Peritext：用于协作富文本编辑的CRDT

无冲突复制数据类型(CRDT)支持共享数据的去中心化协作编辑，支持点对点共享以及灵活的分支和合并工作流。虽然关于纯文本CRDT已有大量工作，但关于富文本格式CRDT的研究却知之甚少。目前没有算法发表，现有的开源实现并不总是能保留用户意图。本文描述了一个在富文本编辑中保留意图的模型，该模型通过一系列并发编辑场景开发。然后我们描述了Peritext，一种满足我们模型标准的富文本CRDT算法。其关键思想是将格式跨度与纯文本字符序列一起存储，链接到每个跨度第一个和最后一个字符的稳定标识符，然后以确定性地方式从这些跨度推导最终格式化文本，确保并发操作可交换。我们在TypeScript中原型实现了我们的算法，使用随机属性测试进行验证，并将其集成到编辑器UI中。我们还证明我们的算法确保收敛，并展示其因果关系保留和意图保留特性。