Warranties for faster strong consistency

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014

Volumn , Issue , 2014, Pages 503-517

  Liu, Jed ^a   Magrino, Tom ^a   Arden, Owen ^a   George, Michael D ^a   Myers, Andrew C ^a  

^a Department of Molecular Biology and Genetics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

DISTRIBUTED OBJECTS; DISTRIBUTED SYSTEMS; LANGUAGE LEVELS; NON-TRIVIAL PROGRAMS; OPTIMISTIC CONCURRENCY CONTROLS; PROGRAMMING MODELS; STRONG CONSISTENCY; SYSTEM THROUGHPUT;

CONCURRENCY CONTROL;

EID: 84929597415     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (54)

1. Umut A. Acar, Amal Ahmed, and Matthias Blume. Imperative self-adjusting computation. In Proc. 35th ACM Symposium on Principles of Programming Languages (POPL), pages 309–322, 2008.
2. Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, and Roger P. Wattenhofer. FARSITE: Federated, available, and reliable storage for an incompletely trusted environment. In Proc. 5th USENIX Symp. on Operating Systems Design and Implementation (OSDI), December 2002.
3. Atul Adya, Robert Gruber, Barbara Liskov, and Umesh Maheshwari. Efficient optimistic concurrency control using loosely synchronized clocks. In Proc. ACM SIGMOD International Conference on Management of Data, pages 23–34, San Jose, CA, May 1995.
4. Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, and Christos Karamanolis. Sinfonia: a new paradigm for building scalable distributed systems. In Proc. 21st ACM Symp. on Operating System Principles (SOSP), pages 159–174, October 2007.
5. Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, and Andrew C. Myers. Sharing mobile code securely with information flow control. In Proc. IEEE Symp. on Security and Privacy, pages 191–205, May 2012.
6. Peter Bailis, Shivaram Venkataraman, Michael J. Franklin, Joseph M. Hellerstein, and Ion Stoica. Probabilistically bounded staleness for practical partial quorums. PVLDB, 5(8):776–787, April 2012.
7. Philip A. Bernstein and Nathan Goodman. Concurrency control in distributed database systems. ACM CSUR, 13(2):185–221, 1981.
8. Phillip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison Wesley, 1987. Available at http://research.microsoft.com/en-us/people/philbe/ccontrol.aspx.
9. Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, and Rafael Pasquini. In-coop: MapReduce for incremental computations. In ACM Symp. Cloud Computing, October 2011.
10. Chavdar Botev et al. Supporting workflow in a course management system. In Proc. 36th ACM Technical Symposium on Computer Science Education (SIGCSE), pages 262–266, February 2005.
11. Lee Breslau, Pei Cao, Li Fan, Graham Phillips, and Scott Shenker. Web caching and Zipf-like distributions: Evidence and implications. In INFOCOM, 1999.
12. Heiko Böck. Java Persistence API. Springer, 2011.
13. Michael Carey, David J. DeWitt, Chander Kant, and Jeffrey F. Naughton. A status report on the OO7 OODBMS benchmarking effort. In Proc. 9th ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages and Applications, pages 414–426, 1994.
14. Giuseppe DeCandia, Deniz Hastorun, Madan Jam-pani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, and Werner Vogels. Dynamo: Amazon’s highly available key-value store. In Proc. 21st SOSP, 2007.
15. EclipseLink. http://www.eclipse.org/eclipselink.
16. K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a database system. Comm. of the ACM, 19(11):624–633, November 1976. Also published as IBM RJ1487, December, 1974.
17. Gavin King et al. Hibernate developer guide. Hibernate Community Documentation. http://docs.jboss.org/hibernate/orm/4.0/devguide/en-US/html/ch05.html.
18. Brad Fitzpatrick. Distributed caching with memcached. Linux Journal, August 2004.
19. Hector Garcia-Molina. Using semantic knowledge for transaction processing in a distributed database. ACM TODS, 8(2):186–213, June 1983.
20. Cary G. Gray. Performance and Fault-Tolerance in a Cache for Distributed File Service. PhD thesis, Stanford University, December 1990.
21. Cary G. Gray and David R. Cheriton. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In Proc. 12th ACM Symp. on Operating System Principles (SOSP), pages 202–210, 1989.
22. Jim N. Gray. Notes on database operating systems. In R. Bayer, R. M. Graham, and G. Seegmüller, editors, Operating Systems, an Advanced Course, volume 60 of LNCS, pages 393–481. Springer-Verlag, 1978.
23. Paul Greenfield, Alan Fekete, Julian Jang, Dean Kuo, and Surya Nepal. Isolation support for service-based applications: A position paper. In Proc. 3rd CIDR, pages 314–323, 2007.
24. T. Haerder. Observations on optimistic concurrency control schemes. Information Systems, 9(2):111–120, June 1984.
25. M. Herlihy and J. Wing. Linearizability: A correctness condition for concurrent objects. Technical Report CMU-CS-88-120, Carnegie Mellon University, Pittsburgh, Pa., 1988.
26. Maurice Herlihy and Eric Koskinen. Transactional boosting: A methodology for highly-concurrent transactional objects. In Proc. 13th PPoPP, pages 207–216, February 2008.
27. Hibernate. http://www.hibernate.org.
28. J. Stuart Hunter. The exponentially weighted moving average. Journal of Quality Technology, 18:203–210, 1986.
29. J. Jang, A. Fekete, and P. Greenfield. Delivering promises for web services applications. In Proc. 5th ICWS, pages 599–606, July 2007.
30. JMeter. http://jmeter.apache.org.
31. Eric Koskinen, Matthew Parkinson, and Maurice Herlihy. Coarse-grained transactions. In Proc. 37th POPL, pages 19–30, January 2010.
32. H. T. Kung and J. T. Robinson. On optimistic methods for concurrency control. ACM Transactions on Database Systems, 6(2):213–226, June 1981.
33. L. Lamport. Towards a theory of correctness for multi-user data base systems. Report CA-7610-0712, Mass. Computer Associates, Wakefield, MA, October 1976.
34. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Comm. of the ACM, 21(7):558–565, July 1978.
35. Butler W. Lampson. Designing a global name service. In Proc. 5th PODC, pages 1–10, August 1986.
36. Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguiça, and Rodrigo Rodrigues. Making geo-replicated systems fast as possible, consistent when necessary. In Proc. 10th OSDI, October 2012.
37. B. Liskov, A. Adya, M. Castro, M. Day, S. Ghemawat, R. Gruber, U. Maheshwari, A. C. Myers, and L. Shrira. Safe and efficient sharing of persistent objects in Thor. In Proc. ACM SIGMOD International Conference on Management of Data, pages 318–329, June 1996.
38. Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, and Andrew C. Myers. Fabric: A platform for secure distributed computation and storage. In Proc. 22nd ACM Symp. on Operating System Principles (SOSP), pages 321–334, 2009.
39. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. Don’t settle for eventual: scalable causal consistency for wide-area storage with COPS. In Proc. 23rd ACM Symp. on Operating System Principles (SOSP), 2011.
40. D. L. Mills. Network time protocol (version 3) specification, implementation and analysis. Network Working Report RFC 1305, March 1992.
41. P. O’Neil. The escrow transactional method. ACM Transactions on Database Systems (TODS), 11(4):405–430, December 1986.
42. Christos H. Papadimitriou. The serializability of concurrent database updates. JACM, 26(4):631–653, October 1979.
43. Peter Peinl and Andreas Reuter. Empirical comparison of database concurrency control schemes. In Proc. 9th Int’l Conf. on Very Large Data Bases (VLDB), pages 97–108, 1983.
44. K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers. Flexible update propagation for weakly consistent replication. In Proc. 17th ACM Symp. on Operating System Principles (SOSP), St. Malo, France, October 1997.
45. Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, and Barbara Liskov. Transactional consistency and automatic management in an application data cache. In Proc. 9th USENIX Symp. on Operating Systems Design and Implementation (OSDI), 2010.
46. David P. Reed. Naming and synchronization in a decentralized computer system. Technical Report MIT-LCS-TR-205, Massachusetts Institute of Technology, 1978.
47. Yasushi Saito and Marc Shapiro. Optimistic replication. ACM CSUR, 37(1):42–81, March 2005.
48. Bianca Schroeder, Adam Wierman, and Mor Harchol-Balter. Open versus closed: a cautionary tale. In Proc. 3rd Conf. on Networked Systems Design & Implementation (NSDI), pages 18–31, Berkeley, CA, USA, 2006. USENIX Association.
49. ObjectDB Software. ObjectDB 2.3 developer’s guide. http://www.objectdb.com/java/jpa/persistence/lock.
50. Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, and Mike J. Spreitzer. Managing update conflicts in Bayou, a weakly connected replicated storage system. In Proc. 15th ACM Symp. on Operating System Principles (SOSP), pages 172–183, December 1995.
51. Chandramohan A. Thekkath, Timothy Mann, and Edward K. Lee. Frangipani: a scalable distributed file system. In Proc. 16th ACM Symp. on Operating System Principles (SOSP), pages 224–237, 1997.
52. TPC-C. http://www.tpc.org/tpcc/.
53. Werner Vogels. Eventually consistent. CACM, 52(1):40–44, January 2009.
54. Yahoo! cloud serving benchmark. https://github.com/brianfrankcooper/YCSB.