Timestamp reassignment:taming transaction abort for serializable snapshot isolation  

作　　者：Ningnan ZHOU Xiao ZHANG Shan WANG 

机构地区：[1]MOE Key Laboratory of DEKE,Renmin University of China,Beijing 100872,China [2]School of Information,Renmin University of China,Beijing 100872,China

出　　处：《Frontiers of Computer Science》2019年第6期1282-1295,共14页中国计算机科学前沿（英文版）

基　　金：supported by the National Key R&D Program of China(2018YFB1004401);the National Natural Science Foundation of China Key Project(Grant No.61732014).

摘　　要：Serializable snapshot isolation(SSI)is a promising technique to exploit parallelism for multi-core databases.However,SSI suffers from excessive transaction aborts.Existing remedies have three drawbacks:1)tracking prohibitively transitive dependencies;2)aborting on every writewrite conflict;and 3)requiring manual annotation on transaction programs.In this paper,we propose to suppress transaction aborts by reassigning timestamps.We combine static analysis with augmented query plan.In this way,we save both aborts caused by read-write and write-write conflicts,without tracking transitive dependency and annotating transaction programs.As such,our approach does not exhibit drawbacks of existing methods.Extensive experiments demonstrate the effectiveness and practicality of our approach.

关 键 词：serializable snapshot isolation timestamp reassignment static analysis augmented query plan 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]