Zeno: Eventually consistent Byzantine-fault tolerance

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009

Volumn , Issue , 2009, Pages 169-184

  Singh, Atul ^a,b   Fonseca, Pedro ^a   Kuznetsov, Petr ^c   Rodrigues, Rodrigo ^a   Maniatis, Petros ^d  

^a MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

^b RICE UNIVERSITY   (United States)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d INTEL RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

BYZANTINE FAULT TOLERANCE; DISTRIBUTED SERVICE; EVENTUAL CONSISTENCY; HIGH AVAILABILITY; LINEARIZABILITY; SAFETY GUARANTEES; STATE MACHINE REPLICATION; STRONG CONSISTENCY;

FAULT TOLERANCE;

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

References (38)

1. TPC-W Benchmark White Paper. http://www.tpc.org/tpcw/TPC-W Wh.pdf.
2. Amazon S3 Availability Event: July 20, 2008. http://status.aws.amazon.com/s3-20080720.html, 2008.
3. FaceBook's Cassandra: A Structured Storage System on a P2P Network. http://code.google.com/p/the-cassandra-project/, 2008.
4. M. Abd-El-Malek, G. R. Ganger, G. R. Goodson, M. Reiter, and J. J. Wylie. Fault-scalable Byzantine fault-tolerant services. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Brighton, United Kingdom, 2005.
5. Amazon. Discussion Forum: Thread: Massive (500) Internal Server Error. Outage started 35 minutes ago. http://developer.amazonwebservices.com/connect/thread.jspa?threadID=19714&start= 90&tstart=0, 2008.
6. D. G. Andersen, H. Balakrishnan, M. F. Kaashoek, and R. Morris. Resilient Overlay Networks. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Banff, Canada, 2001.
7. E. Brewer. Towards Robust Distributed Systems (Invited Talk). Proceedings of ACM Symposium on Principles of Distributed Computing (PODC), 2000.
8. M. Castro and B. Liskov. Practical Byzantine Fault Tolerance. In Proceedings of USENIX Operating System Design and Implementation (OSDI), New Orleans, LA, USA, 1999.
9. B.-G. Chun, P. Maniatis, S. Shenker, and J. Kubiatowicz. Attested Append-Only Memory: Making Adversaries Stick to their Word. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Stevenson, WA, USA, 2007.
10. S. P. E. Corporation. Specweb2005 release 1.20 banking workload design document. http://www.spec.org/web2005/docs/1.20/design/BankingDesign.html, 2006.
11. J. Cowling, D. Myers, B. Liskov, R. Rodrigues, and L. Shrira. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. In Proceedings of USENIX Operating System Design and Implementation (OSDI), Seattle, WA, USA, 2006.
12. M. Dahlin, B. B. V. Chandra, L. Gao, and A. Nayate. End-to-end wan service availability. IEEE/ACM Transactions on Networking, 11(2), 2003.
13. J. Dean. Handling large datasets at Google: Current systems and future designs. In Data-Intensive Computing Symposium, Mar. 2008.
14. J. Dean and S. Ghemawat. MapReduce: simplified data processing on large clusters. In Proceedings of USENIX Operating System Design and Implementation (OSDI), San Francisco, CA, USA, 2004.
15. G. DeCandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman, A. Pilchin, S. Sivasubramanian, P. Vosshall, and W. Vogels. Dynamo: Amazon's highly available key-value store. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Stevenson, WA, USA, 2007.
16. A. Fekete. Weak consistency conditions for replicated data. Invited talk at'A 30-year perspective on replication', Nov. 2007.
17. A. Fekete, D. Gupta, V. Luchangco, N. Lynch, and A. Shvartsman. Eventually-serializable data services. Theoretical Computer Science, 220(1), 1999.
18. S. Ghemawat, H. Gobioff, and S.-T. Leung. The Google file system. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Bolton Landing, NY, USA, 2003.
19. Google. App Engine Outage today. http://groups.google.com/group/google-appengine/ browse thread/thread/f7ce559b3b8b303b?pli=1, 2008.
20. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
21. J. Hamilton. Internet-Scale Service Efficiency. In Proceedings of 2nd Large-Scale Distributed Systems and Middleware Workshop (LADIS), New York, USA, 2008.
22. M. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3), 1990.
23. R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. Zyzzyva: Speculative Byzantine Fault Tolerance. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Stevenson, WA, USA, 2007.
24. R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. http://cs.utexas.edu/∼kotla/RESEARCH/CODE/ZYZZYVA/, 2008.
25. J. Li, M. Krohn, D. Mazières, and D. Shasha. Secure untrusted data repository (SUNDR). In Proceedings of USENIX Operating System Design and Implementation (OSDI), 2004.
26. J. Li and D. Mazières. Beyond One-third Faulty Replicas in Byzantine Fault Tolerant Systems. In Proceedings of USENIX Networked Systems Design and Implementation (NSDI), Cambridge, MA, USA, 2007.
27. D. Malkhi and M. Reiter. Byzantine quorum systems. In Symposium on Theory of Computing (STOC), El Paso, TX, USA, May 1997.
28. Netflix Blog. Shipping Delay. http://blog.netflix.com/2008/08/shipping-delay-recap.html, 2008.
29. R. Rodrigues, M. Castro, and B. Liskov. BASE: Using abstraction to improve fault tolerance. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Banff, Canada, 2001.
30. Y. Saito and M. Shapiro. Optimistic replication. ACM Computing Surveys, 37(1), 2005.
31. A. Singh, P. Fonseca, P. Kuznetsov, R. Rodrigues, and P. Maniatis. Zeno: Eventually Consistent Byzantine Fault Tolerance. MPI-SWS, Technical Report: TR-09-02-01, 2009.
32. M. Spreitzer, M. Theimer, K. Petersen, A. J. Demers, and D. B. Terry. Dealing with server corruption in weakly consistent replicated data systems. Wireless Networks, 5(5), 1999.
33. D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, and C. H. Hauser. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Cooper Mountain Resort, Colorado, USA, 1995.
34. F. Travostino and R. Shoup. eBay's Scalability Odyssey: Growing and Evolving a Large eCommerce Site. In Proceedings of 2nd Large-Scale Distributed Systems and Middleware Workshop (LADIS), New York, USA, 2008.
35. A. Vahdat, K. Yocum, K. Walsh, P. Mahadevan, D. Kostic, J. Chase, and D. Becker. Scalability and Accuracy in a Large-Scale Network Emulator. In Proceedings of USENIX Operating System Design and Implementation (OSDI), Boston, MA, USA, 2002.
36. B. Vandiver, H. Balakrishnan, B. Liskov, and S. Madden. Tolerating Byzantine Faults in Database Systems using Commit Barrier Scheduling. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Stevenson, WA, USA, 2007.
37. J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin. Separating Agreement from Execution for Byzantine Fault Tolerant Services. In Proceedings of ACM Symposium on Operating System Principles (SOSP), Bolton Landing, NY, USA, 2003.
38. H. Yu and A. Vahdat. Design and Evaluation of a Conit-Based Continuous Consistentcy Model for Replicated Services. ACM Transactions on Computer Systems, 20(3), 2002.