[发明专利]基于操作效果关系的选择性撤销方法

权利要求书

1.基于操作效果关系的选择性撤销方法，其特征在于利用操作效果序跟踪操作之间的Do-Undo关系，并利用历史操作之间的操作效果关系处理本地和远程的Do/Undo操作；其控制算法包含三个线程L、R和N：线程N用来接收远程操作，线程L和R分别用来处理本地和远程的Do/Undo操作；其中处理本地和远程的Do/Undo操作的算法分别包含两个Do/Undo操作整合过程integrateL和integrateR；整个选择性撤销方法分为两部分：对本地Do/Undo操作的处理和对远程Do/Undo操作的处理；其中：

对本地Do/Undo操作的处理流程为：

1)若本地操作为Do操作，程序执行本地操作，然后调用integrateL过程将本地Do操作按操作效果序添加到操作日志中；

2)若本地操作为Undo操作，根据该操作与其原始操作之间的操作效果序产生该操作的逆操作，记录该操作与其原始操作之间的Do-Undo关系后按照处理Do操作的方式进行整合处理；

对远程Do/Undo操作的处理流程为：

1)若远程操作为Do操作，调用integrateR过程产生一个可以在当前文档状态正确执行的操作形式，执行该操作并将其添加到操作日志中；

2)若远程操作为Undo操作，扫描操作日志来定位其原始操作，如果其原始操作已经被该远程操作的并发操作所撤销，则将该远程操作与其效果等价的并发操作进行合并，否则记录该远程操作与其原始操作之间的Do-Undo关系。然后，按照处理远程Do操作的方式处理该Undo操作。

2.根据权利要求1所述的选择性撤销方法，其特征在于假设当前站点id为k，其状态向量为sv，当前操作日志为H，则线程L的执行流程如下：

3.根据权利要求1所述的选择性撤销方法，其特征在于假设当前站点接收到来自其它站点r的远程操作o，当前站点的接收队列为RQ，则线程N的执行结果是将o按照操作达到顺序添加到RQ中。

4.根据权利要求1所述的选择性撤销方法，其特征在于假设当前站点RQ中的某个来自站点r的远程操作o已经因果就绪，当前站点的状态向量为sv，当前站点的操作日志为H，则线程R的执行流程如下：

5.根据权利要求1所述的选择性撤销方法，其特征在于对于给定的一个新产生的本地操作o，当前站点的操作日志为H，则过程integrateL(o)的执行流程如下：

6.根据权利要求1所述的选择性撤销方法，其特征在于对于给定的一个因果就绪的远程操作o，当前站点的操作日志为H，则过程integrateR(o)的执行流程如下：