[发明专利]一种推测嵌套软件事务存储的冲突管理方法

摘要

本发明公开了一种推测嵌套软件事务存储的冲突管理方法，提供了在线程级推测技术上实现具有序列化提交线程的征的嵌套软件事务存储的冲突检测器和冲突消解器。冲突检测器采用读可见‑懒惰冲突检测方法，冲突消解器在序列化提交线程的基础上采用基于动态优先级的随机退避冲突消解方法。本发明中的冲突检测方法很大程度上减少了事务处理中的冲突检测损耗，本发明的冲突消解方法则有效地缓解了由于仲裁策略不当而造成的冲突消解效率低下，从而提高了整个系统性能。

主权项

一种推测嵌套软件事务存储的冲突管理方法，其特征在于，包括以下步骤：步骤1：创建事务；步骤2：对所创建事务进行读操作或写操作，若进行读操作，则进入步骤3，若进行写操作，则进入步骤5；步骤3：在读操作过程中检测是否有写后读冲突，若有，则进入步骤4，若无，则进入步骤5；步骤4：在读操作过程中对写后读冲突进行消解，并判断冲突是否消解，若是，则进入步骤5，若否，则进入步骤9；步骤5：判断事务是否结束，若是，则进入步骤6，若否，则回到步骤2；步骤6：对事务进行提交，并检测是否有写后写冲突或读后写冲突，若有，则进入步骤7，若无，则进入步骤8；步骤7：在提交过程中对写后写冲突或读后写冲突进行消解，并判断冲突是否消解，若是，则进入步骤8；若否，则进入步骤9；步骤8：事务提交成功；步骤9：放弃事务；其中，步骤3及步骤6中通过冲突检测器检测是否有冲突，冲突检测器包括若干对象，每个对象包括读集合、写集合以及写版本号，所述读集合指向对该对象存在读操作的事务，每个事务节点包括事务ID、值和读版本号，在事务执行写操作时，需要更新读版本号的值；所述写集合指向对该对象存在写操作的事务，每个事务写操作节点包括事务ID、值、新值和写版本号，在事务执行写操作时，需要更新写版本号，并存入新值。