The homeostasis protocol: Avoiding transaction coordination through program analysis

Proceedings of the ACM SIGMOD International Conference on Management of Data

Volumn 2015-May, Issue , 2015, Pages 1311-1326

  Roy, Sudip ^a,b   Kot, Lucja ^b   Bender, Gabriel ^b   Ding, Bailu ^b   Hojjat, Hossein ^b   Koch, Christoph ^c   Foster, Nate ^b   Gehrke, Johannes ^b,d  

^a GOOGLE INC   (United States)

^b Department of Obstetrics Gynecology   (United States)

^c EPFL   (Switzerland)

^d MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; PHYSIOLOGY; SEMANTICS;

DISTRIBUTED SYSTEMS; FULLY AUTOMATED; PROGRAM ANALYSIS; PROTOTYPE IMPLEMENTATIONS; SEMANTIC INFORMATION; STRONG CONSISTENCY; TRANSACTION COORDINATION; WORKLOAD CHARACTERISTICS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 84957595369     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2723372.2723720     Document Type: Conference Paper

References (42)

1. http://tpc.org/tpcc.
2. P. Alvaro, N. Conway, J. M. Hellerstein, and W. R. Marczak. Consistency analysis in Bloom: a CALM and collected approach. In CIDR, pages 249-260, 2011.
3. P. Bailis, A. Fekete, M. J. Franklin, A. Ghodsi, J. M. Hellerstein, and I. Stoica. Coordination avoidance in database systems. In VLDB, 2015.
4. P. Bailis, S. Venkataraman, M. J. Franklin, J. M. Hellerstein, and I. Stoica. Probabilistically bounded staleness for practical partial quorums. Proc. VLDB Endow., 5(8):776-787, Apr. 2012.
5. D. Barbará-Millá and H. Garcia-Molina. The demarcation protocol: a technique for maintaining constraints in distributed database systems. The VLDB Journal, 3(3):325-353, July 1994.
6. O. S. Carvalho and G. Roucairol. On the distribution of an assertion. In PODC '82, pages 121-131, 1982.
7. K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst., 3(1):63-75, Feb. 1985.
8. S. Cherem, T. Chilimbi, and S. Gulwani. Inferring locks for atomic sections. In PLDI, 2008.
9. A. T. Clements et al. The scalable commutativity rule: Designing scalable software for multicore processors. In SOSP, pages 1-17, 2013.
10. B. F. Cooper et al. PNUTS: Yahoo!'s hosted data serving platform. Proc. VLDB Endow., 1(2):1277-1288, Aug. 2008.
11. J. C. Corbett et al. Spanner: Google's globally-distributed database. In OSDI, pages 251-264, 2012.
12. L. De Moura and N. Bjørner. Z3: An efficient smt solver. TACAS'08/ETAPS'08, 2008.
13. G. DeCandia et al. Dynamo: Amazon's highly available key-value store. In SOSP, pages 205-220, 2007.
14. R. Fagin, A. Lotem, and M. Naor. Optimal aggregation algorithms for middleware. In PODS, pages 102-113, 2001.
15. Z. Fu and S. Malik. On solving the partial max-sat problem. SAT'06.
16. H. Garcia-Molina. Using semantic knowledge for transaction processing in a distributed database. ACM TODS, June 1983.
17. A. Gupta et al. Mesa: Geo-replicated, near real-time, scalable data warehousing. In VLDB, 2014.
18. P. Hawkins, A. Aiken, K. Fisher, M. Rinard, and M. Sagiv. Concurrent data representation synthesis. In PLDI, 2012.
19. M. Herlihy and E. Koskinen. Transactional boosting: a methodology for highly-concurrent transactional objects. In PPOPP, 2008.
20. T. Kraska, M. Hentschel, G. Alonso, and D. Kossmann. Consistency rationing in the cloud: pay only when it matters. Proc. VLDB Endow., 2(1):253-264, Aug. 2009.
21. T. Kraska, G. Pang, M. J. Franklin, S. Madden, and A. Fekete. MDCC: multi-data center consistency. In EuroSys, 2013.
22. A. Kumar and M. Stonebraker. Semantics based transaction management techniques for replicated data. In SIGMOD, 1988.
23. C. Li, D. Porto, A. Clement, J. Gehrke, N. Preguica, and R. Rodrigues. Making geo-replicated systems fast as possible, consistent when necessary. In OSDI, pages 265-278, 2012.
24. C. Li et al. Automating the choice of consistency levels in replicated systems. In USENIX ATC 14, pages 281-292, June 2014.
25. J. Liu, T. Magrino, O. Arden, M. D. George, and A. C. Myers. Warranties for faster strong consistency. NSDI'14, pages 503-517.
26. K. Marzullo and G. Neiger. Detection of global state predicates. In In WDAG '91, pages 254-272. Springer-Verlag, 1991.
27. C. Olston, B. T. Loo, and J. Widom. Adaptive precision setting for cached approximate values. In SIGMOD, 2001.
28. C. Olston and J. Widom. Offering a precision-performance tradeoff for aggregation queries over replicated data. In VLDB, 2000.
29. C. Pu and A. Leff. Replica control in distributed systems: as asynchronous approach. In SIGMOD, pages 377-386, 1991.
30. K. Ramamritham and C. Pu. A formal characterization of epsilon serializability. IEEE TKDE., 7(6):997-1007, Dec. 1995.
31. J. Rothnie, Jr. et al. Introduction to a system for distributed databases (sdd-1). ACM TODS, 1980.
32. S. Roy, L. Kot, N. Foster, J. Gehrke, H. Hojjat, and C. Koch. Writes that fall in the forest and make no sound: Semantics-based adaptive data consistency. CoRR, abs/1403.2307, 2014.
33. P. Rümmer, H. Hojjat, and V. Kuncak. Disjunctive interpolants for horn-clause verification. In CAV, pages 347-363, 2013.
34. M. Shapiro, N. Preguica, C. Baquero, and M. Zawirski. A comprehensive study of convergent and commutative replicated data types. Technical report, INRIA, Rocquencourt, France, 2011.
35. A. Solar-Lezama, C. G. Jones, and R. Bodik. Sketching concurrent data structures. In PLDI, volume 43, pages 136-148, 2008.
36. D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer, and C. H. Hauser. Managing update conflicts in Bayou, a weakly connected replicated storage system. In SOSP, 1995.
37. A. Thomson, T. Diamond, S.-C. Weng, K. Ren, P. Shao, and D. J. Abadi. Calvin: Fast distributed transactions for partitioned database systems. In SIGMOD, pages 1-12, 2012.
38. M. Vechev, E. Yahav, and G. Yorsh. Abstraction-guided synthesis of synchronization. In POPL, volume 45, pages 327-338, 2010.
39. G. Weikum and G. Vossen. Transactional Information Systems. Morgan Kaufmann, 2002.
40. K.-L. Wu, P. S. Yu, and C. Pu. Divergence control for epsilon-serializability. In ICDE, pages 506-515, 1992.
41. H. Yu and A. Vahdat. Design and evaluation of a continuous consistency model for replicated services. In OSDI, 2000.
42. Y. Zhang, R. Power, S. Zhou, Y. Sovran, M. K. Aguilera, and J. Li. Transaction chains: Achieving serializability with low latency in geo-distributed storage systems. In SOSP, pages 276-291, 2013.