关于操作转换方法的一致性
分布式、并行与集群计算
2013-02-15 v1 系统与控制
摘要
操作转换（Operational Transformation, OT）方法被广泛应用于许多协同编辑器中，它允许一组用户并发更新共享对象的副本，并以任意顺序交换其更新操作。该方法的基本思想是在共享对象副本上执行任何接收到的更新操作之前，先对其进行转换。这种转换旨在确保对象的不同副本达成一致，即使操作以不同的顺序执行。然而，设计能够实现一致性的转换函数是一个关键且具有挑战性的问题。事实上，文献中提出的转换函数均被证明是不正确的。在本文中，我们研究了针对受插入和删除操作影响的共享字符串，是否存在满足要求的转换函数。从理论角度来看，两个名为 TP1 和 TP2 的性质是确保一致性的充要条件。利用控制器综合技术，我们表明存在一些仅满足 TP1 性质的转换函数，适用于基本的插入和删除操作签名。事实上，使用这些简单的签名不可能同时满足 TP1 和 TP2 这两个性质。
引用
@article{arxiv.1302.3292,
title = {On Consistency of Operational Transformation Approach},
author = {Aurel Randolph and Hanifa Boucheneb and Abdessamad Imine and Alejandro Quintero},
journal= {arXiv preprint arXiv:1302.3292},
year = {2013}
}
备注
In Proceedings Infinity 2012, arXiv:1302.3105