规则如下:
(1)假设事务Ti 执行Read(Q)操作
• 如果 TS(Ti) < WT(Q),此时读操作无法完成,Ti 回滚。
• 如果 TS(Ti) ≥WT(Q),此时可执行读操作。
如果 C(Q)为真,执行请求。并将RT(Q)的值置为TS(Ti)和RT(Q)两者中的最大值。
如果 C(Q)为假,则等待Wirte(Q)完成或终止。
(2)假设事务Ti 执行Write(Q)操作
• 如果 TS(Ti) < RT(Q),则事务Ti 试图写入的值是先前所需要的,此时默认不再需要,Ti 回滚。
• 如果 TS(Ti) < WT(Q),则事务Ti 试图写入的值已经过时,Ti 回滚。
• 如果 TS(Ti)≥RT(Q)或TS(Ti)≥WT(Q),则系统执行Write(Q)操作,并将WT(Q)置为TS(Ti),C(Q)置为False。当事务 Ti 执行提交请求时,C(Q)置为True,并且等待数据项Q 被提交的事务将被允许继续执行。
在以上规则下,对于被回滚的事务读写操作,系统将会赋予它们新的时间戳继续执行。
以上内容摘自《云原生数据库原理与实践》,这本书可以在电子工业出版社天猫店购买。
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。