协同组编辑环境中的数据一致性维护方法.pptxVIP

协同组编辑环境中的数据一致性维护方法学生：杨江明导师：顾 宁 教授计算机与信息技术系 内容概要背景及问题的提出一致性模型回溯思想与一致性维护方法一致性维护的相关问题效率分析与原型系统总结与展望复旦大学信息科学与工程学院内容概要背景及问题的提出一致性模型回溯思想与一致性维护方法一致性维护的相关问题效率分析与原型系统总结与展望复旦大学信息科学与工程学院背景及问题的提出协同组编辑是一个抽象的研究模型传统的协同组编辑。GroupSketch（Greenberg and Bohnet）、Grove（Ellis, Gibbs, and Rein）、ShrEdit（McGuffin and Olson）、DistEdit（Knister and Prakash）、REDUCE(Sub and Ellis)单机软件的协同化。ICT(D. Li and R. Li)、CoWord CoPowerpoint(Xia et al.)、CoAutoCAD(Gu et al.)基于Web2.0的非实时组编辑。CDVE 2007(Shen and Sun)复旦大学信息科学与工程学院背景及问题的提出协同组编辑环境下问题结果的一致性问题。如果操作是不可交互的，则不同的操作执行顺序会导致不同的结果。操作的依赖性问题。需要保证操作的执行条件操作的意愿维护问题。假设初始状态为“ABC”。在SR1，O3为Insert[“d”,1]，即将”d“插入到位置1(即A和B之间)；而在SR3，O1为Insert[”e“,2]，即将”e“插入到位置2(即B和C之间)。当O1 到达SR1 时，该站点已经被操作O3修改成”AdBC“，直接执行O1会把字符e插入到字符d和B之间，这显然是错误的。事务的支持性问题。复旦大学信息科学与工程学院内容概要背景及问题的提出一致性模型回溯思想与一致性维护方法一致性维护的相关问题效率分析与原型系统总结与展望复旦大学信息科学与工程学院数据及操作表示线性结构线性结构是多种数据类型的抽象表示。直观上的线性结构包括：字符串，链表等数据结构。但事实上，线性结构维护的是多个对象间的一个全序关系，而这样一种全序关系是广泛存在的。全序关系的维护是协同环境下一致性维护的基础。树型结构一些主流的文档类型需要树型结构的表示。通过XML可以支持基于关系的操作，是Web应用的需求。复旦大学信息科学与工程学院一致性模型因果关系维护（Causality preservation）：所有操作的执行顺序都按照它们之间的因果关系。对于任意的两个操作O1和O2，如果O1→O2，则在所有的站点，操作O1都在操作O2之前执行。一致性维护（Convergence）：当相同的操作在所有的站点都执行完成之后，所有的数据副本保持一致。意愿维护（Intention preservation）：任何一个操作在任何站点的执行效果都保持和它产生站点一致。复旦大学信息科学与工程学院内容概要背景及问题的提出一致性模型回溯思想与一致性维护方法一致性维护的相关问题效率分析与原型系统总结与展望复旦大学信息科学与工程学院回溯思想复旦大学信息科学与工程学院线性结构的回溯过程复旦大学信息科学与工程学院线性结构的回溯过程对难题的解决操作转换方法中TP2条件维护的困难dOPT难题假设几个插入操作都是面向相同的位置，操作之间满足因果顺序或者是并发的。仅仅依靠强制规定操作间的优先级是无法保证结果的收敛性的。False-tie难题假设两个并发的插入操作可能会因为在它们之间一个并发的删除操作，而丢失它们之间的左右位置关系，并且可能得到一个相反的结果。证明过程2个操作N个操作复旦大学信息科学与工程学院树型结构的回溯过程复旦大学信息科学与工程学院树型结构的回溯过程已有方法的不足操作转换方法（Operation Transformation）方法无法支持关系操作。基于锁和序列化的方法无法满足操作的响应时间和自由度。证明过程2个操作N个操作复旦大学信息科学与工程学院内容概要背景及问题的提出一致性模型回溯思想与一致性维护方法一致性维护的相关问题效率分析与原型系统总结与展望复旦大学信息科学与工程学院一致性维护的相关问题操作的历史队列通过状态向量表，精简操作的历史队列Undo 操作支持通过在回溯过程添加计数器，是回溯过程可以考虑Undo操作支持单站点并发操作的时间戳模型通过分离考虑操作间关系和操作的执行状态，引入两个时间戳，支持操作的并发执行。事务操作的支持复旦大学信息科学与工程学院事务操作的支持复旦大学信息科学与工程学院内容概要背景及问题的提出一致性模型回溯思想与一致性维护方法一致性维护的相关问题效率分析与原型系统总结与展望复旦大学信息科学与工程学院线性结构效率分析线性结构优化，通过调整数据结构，可以优化计数效率平摊效率插入操作的开销可以表