Zyzzyva: Speculative Byzantine fault tolerance

ACM Transactions on Computer Systems

Volumn 27, Issue 4, 2009, Pages

  Kotla, Ramakrishna ^a   Alvisi, Lorenzo ^b   Dahlin, Mike ^b   Clement, Allen ^b   Wong, Edmund ^b  

^a MICROSOFT RESEARCH   (United States)

^b University of Texas at Austin   (United States)

Author keywords

Byzantine fault tolerance; Output commit; Replication; Speculative execution

Indexed keywords

BYZANTINE FAULT; BYZANTINE FAULT TOLERANCE; DISTRIBUTED SYSTEMS; RELIABLE SYSTEMS; SPECULATIVE EXECUTION; STATE MACHINE REPLICATION; THREE-PHASE COMMIT PROTOCOLS; TOTAL ORDER; TOTAL ORDERING;

COST REDUCTION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; SERVERS;

QUALITY ASSURANCE;

EID: 74049140718     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/1658357.1658358     Document Type: Article

References (45)

1. ABD-EL-MALEK, M., GANGER, G., GOODSON, G., REITER, M., AND WYLIE, J. 2005. Fault-Scalable Byzantine fault-tolerant services. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05). 59-74.
2. AIYER, A. S., ALVISI, L., CLEMENT, A., DAHLIN, M., MARTIN, J.-P., AND PORTH, C. 2005. BAR fault tolerance for cooperative services. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05). 45-58.
3. AMAZON. 2008. Amazon S3 availability event: July 20, 2008. http://status.aws.amazon.com/s3-20080720.html.
4. BELLARE, M. AND MICCIANCIO, D. 1997. A new paradigm for collision-free hashing: Incrementally at reduced cost. In Proceedings of 14th Annual Eurocrypt Conference (Eurocrypt'97). 163-192.
5. CASTRO, M. 2001. Practical Byzantine fault tolerance. Ph.D. thesis, MIT, Cambridge, MA.
6. CASTRO, M. AND LISKOV, B. 1999. Practical Byzantine fault tolerance. In Proceedings of the 3rd USENIX Symposium on Operating Systems Design and Implementation (OSDI'99). 173-186.
7. CASTRO, M. AND LISKOV, B. 2000. Proactive recovery in a Byzantine-fault-tolerant system. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI'00). 273-288.
8. CASTRO, M. AND LISTOV, B. 2002. Practical Byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20, 4, 398-461.
9. CHUN, B.-G., MANIATIS, P., SHENKER, S., AND KUBIATOWICZ, J. 2007. Attested append-only memory: Making adversaries stick to their word. SIGOPS Oper. Syst. Rev. 41, 6, 189-204.
10. CLEMENT, A., KAPRITSOS, M., LEE, S.,WANG, Y., ALVISI, L., DAHLIN, M., AND RICHE, T. 2009a. UpRight cluster services. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP'09). 270-290.
11. CLEMENT, A., MARCHETTI, M., WONG, E., ALVISI, L., AND DAHLIN, M. 2009b. Making Byzantine fault tolerant services tolerate Byzantine faults. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09). 153-168.
12. COWLING, J., MYERS, D., LISKOV, B., RODRIGUES, R., AND SHRIRA, L. 2006. HQ replication: A hybrid quorum protocol for Byzantine fault tolerance. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI'06). 177-190.
13. DUTTA, P.,GUERRAOUI, R., AND VUKOLÍC,M. 2005. Best-Case complexity of asynchronous Byzantine consensus. Tech. rep. EPFL/IC/200499, EPFL.
14. DWORK, C., LYNCH, N., AND STOCKMEYER, L. 1988. Consensus in the presence of partial synchrony. J. ACM, 288-323.
15. FISCHER, M., LYNCH, N., AND PATERSON, M. 1985. Impossibility of distributed consensus with one faulty process. J. ACM 32, 2, 374-382.
16. GMAIL. 2006. Lost gmail emails and the future ofWeb apps. http://it.slashdot.org (12/29/06).
17. HERLIHY, M. AND WING, J. 1990. Linearizability: A correctness condition for concurrent objects. ACM Trans. Prog. Lang. Syst. 12, 3, 463-492.
18. HOTMAIL. 2004. Hotmail incinerates customer files. http://news.com.com, (6/3/04).
19. KEENEY, M., KOWALSKI, E., CAPPELLI, D., MOORE, A., SHIMEALL, T., AND ROGERS, S. 2005. Insider threat study: Computer system sabotage in critical infrastructure sectors. http://www.cert.org/archive/pdf/insidercross051105.pdf.
20. KOTLA, R. 2008. xbft: Byzantine fault tolerance with high performance, low cost, and aggressive fault isolation. Ph.D. thesis, The University of Texas at Austin, Austin, TX.
21. KOTLA, R., ALVISI, L., DAHLIN, M., CLEMENT, A., AND WONG, E. 2007a. Zyzzyva: Speculative Byzantine fault tolerance. In Proceedings of the 21st ACMSymposium on Operating Systems Principles (SOSP'07). 45-58.
22. KOTLA, R. AND DAHLIN, M. 2004. High throughput Byzantine fault tolerance. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'04). 575-584.
23. KOTLA, R., DAHLIN, M., AND ALVISI, L. 2007b. SafeStore: A durable and practical storage system. In Proceedings of the USENIX Annual Technical Conference. 129-142.
24. LAMPORT, SHOSTAK, AND PEASE. 1982. The Byzantine generals problem. ACM Trans. Program. Lang. Syst. 4, 3, 382-401.
25. LAMPORT, L. 1978. Time, clocks, and the ordering of events in a distributed system. Comm. ACM 21, 7, 558-565.
26. LAMPORT, L. 1984. Using time instead of timeout for fault-tolerant distributed systems. ACM Trans. Program. Lang. Syst. 6, 2, 254-280.
27. LAMPORT, L. 2003. Lower bounds for asynchronous consensus. Lecture Notes in Computer Science, vol.2584. Springer, 22-23.
28. LI, J. ANDMAZÌERES,D. 2007. Beyond one-third faulty replicas in Byzantine fault tolerant services. In Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI'07). 131-144.
29. LISKOV, B., GHEMAWAT, S., GRUBER, R., JOHNSON, P., AND SHRIRA, L. 1991. Replication in the Harp file system. In Proceedings of the 13th ACM Symposium on Operating Systems Principles. 226-238.
30. MARTIN, J.-P. AND ALVISI, L. 2006. Fast Byzantine consensus. IEEE Trans. Depend. Secure. Comput. 3, 3, 202-215.
31. NIGHTINGALE, E., VEERARAGHAVAN, K., CHEN, P., AND FLINN, J. 2006. Rethink the sync. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI'06). 1-14.
32. NIGHTINGALE, E. B., CHEN, P., AND FLINN, J. 2005. Speculative execution in a distributed file system. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05). 191-205.
33. OPENSSL. 2007. OpenSSL. http://www.openssl.org/.
34. PEASE, M., SHOSTAK, R., AND LAMPORT, L. 1980. Reaching agreement in the presence of faults. J. ACM 27, 2.
35. PRABHAKARAN, V., BAIRAVASUNDARAM, L., AGRAWAL, N., ARPACI-DUSSEAU, H. G. A., AND ARPACI-DUSSEAU, R. 2005. IRON file systems. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05). 206-220.
36. REITER, M. 1995. The Rampart toolkit for building high-integrity services. Lecture Notes in Computer Science, vol.938. Springer, 99-110.
37. RODRIGUES, R., CASTRO, M., AND LISKOV, B. 2001. BASE: Using abstraction to improve fault tolerance. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01). 15-28. (Pubitemid 33612602)
38. SANTRY, D. S., FEELEY, M. J., HUTCHINSON, N. C., VEITCH, A. C., CARTON, R. W., AND OFIR, J. 1999. Deciding when to forget in the Elephant file system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99). 110-123.
39. SCHNEIDER, F. B. 1990. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Comput. Surv. 22, 4.
40. SINGH, A., DAS, T., MANIATIS, P., DRUSCHEL, P., AND ROSCOE, T. 2008. BFT protocols under fire. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI'08). 189-204.
41. SINGH, A., FONSECA, P., KUZNETSOV, P., RODRIGUES, R., AND MANIATIS, P. 2009. Zeno: Eventually consistent Byzantine fault tolerance. In Proceedings of the 6thUSENIXSymposium on Networked Systems Design and Implementation (NSDI'09). 169-184.
42. WESTER, B., COWLING, J., NIGHTINGALE, E. B.,CHEN, P. M., FLINN, J., AND LISKOV, B. 2009. Tolerating latency in replicated state machines through client speculation. In Proceedings of the 6thUSENIX Symposium on Networked Systems Design and Implementation (NSDI'09). 245-260.
43. WOOD, T., SINGH, R., VENKATARAMANI, A., AND SHENOY, P. 2008. ZZ: Cheap practical BFT using virtualization. Tech. rep. TR14-08, University of Massachusetts, Amherst, MA.
44. YANG, J., SAR, C., AND ENGLER, D. 2006. Explode: A lightweight, general system for finding serious storage system errors. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI'06). 131-146.
45. YIN, J., MARTIN, J.-P., VENKATARAMANI, A., ALVISI, L., AND DAHLIN, M. 2003. Separating agreement from execution for Byzantine fault tolerant services. In Proceedings of the 19th ACMSymposium on Operating Systems Principles (SOSP'03). 253-267.