Paper Info
Title
TARDiS: A Branch-and-Merge Approach To Weak Consistency.
Abstract
This paper presents the design, implementation, and evaluation of TARDiS (Transactional Asynchronously Replicated Divergent Store), a transactional key-value store explicitly designed for weakly-consistent systems. Reasoning about these systems is hard, as neither causal consistency nor per-object eventual convergence allow applications to deal satisfactorily with write-write conflicts. TARDiS instead exposes as its fundamental abstraction the set of conflicting branches that arise in weakly-consistent systems. To this end, TARDiS introduces a new concurrency control mechanism: branch-on-conflict. On the one hand, TARDiS guarantees that storage will appear sequential to any thread of execution that extends a branch, keeping application logic simple. On the other, TARDiS provides applications, when needed, with the tools and context necessary to merge branches atomically, when and how applications want. Since branch-on-conflict in TARDiS is fast, weakly-consistent applications can benefit from adopting this paradigm not only for operations issued by different sites, but also, when appropriate, for conflicting local operations. We find that TARDiS reduces coding complexity for these applications and that judicious branch-on-conflict can improve their local throughput at each site by two to eight times.
Year
DOI
Venue
2016
10.1145/2882903.2882951
SIGMOD/PODS'16: International Conference on Management of Data San Francisco California USA June, 2016
Field
DocType
ISBN
Convergence (routing),Data mining,Causal consistency,Eventual consistency,Concurrency control,Computer science,Coding (social sciences),Thread (computing),Weak consistency,Throughput,Database,Distributed computing
Conference
978-1-4503-3531-7
Citations 
PageRank 
References 
13
0.55
30
Authors
6
Name
Order
Citations
PageRank
Natacha Crooks1212.07
Youer Pu2161.61
Nancy Estrada3130.55
Trinabh Gupta41004.71
Lorenzo Alvisi5241.70
Allen Clement688136.03