Tolerating latency in replicated state machines through client speculation

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

Volumn , Issue , 2009, Pages 245-260

  Wester, Benjamin ^a   Chen, Peter M ^a   Cowling, James ^b   Flinn, Jason ^a   Nightingale, Edmund B ^c   Liskov, Barbara ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; GEOGRAPHICAL DISTRIBUTION; SYSTEMS ANALYSIS;

BYZANTINE FAULT; DESIGN PRINCIPLES; MAXIMUM THROUGH-PUT; MICRO-BENCHMARK; NETWORK LATENCIES; REDUCED LATENCIES; REPLICATED SERVICES; SPECULATIVE EXECUTION;

INTERNET PROTOCOLS;

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

References (37)

1. ABD-EL-MALEK, M., GANGER, G. R., GOODSON, G. R., REITER, M. K., AND WYLIE, J. J. Fault-Scalable Byzantine Fault-Tolerant Services. In Proceedings of the 2005 Symposium on Operating Systems Principles (October 2005), pp. 59-74.
2. AVIZIENIS, A. The N-Version Approach to Fault-Tolerant Software. IEEE Transactions on Software Engineering SE-11, 12 (December 1985), 1491-1501.
3. BEN-OR, M. Another advantage of free choice (extended abstract): Completely asynchronous agreement protocols. In Proceedings of the second annual ACM symposium on Principles of distributed computing (PODC'83) (New York, NY, USA, 1983), ACM, pp. 27-30.
4. BRACHA, G., AND TOUEG, S. Resilient consensus protocols. In Proceedings of the second annual ACM symposium on Principles of distributed computing (PODC'83) (New York, NY, USA, 1983), ACM, pp. 12-26.
5. BRACHA, G., AND TOUEG, S. Asynchronous consensus and broadcast protocols. J. ACM 32, 4 (1985), 824-840.
6. CARSON, M., AND SANTAY, D. NIST Net - A Linux-based Network Emulation Tool. ACM SIGCOMM Computer Communication Review 33, 3 (June 2003), 111-126.
7. CASTRO, M. Practical Byzantine Fault Tolerance. Tech. Rep. MIT-LCS-TR-817, MIT, Jan 2001.
8. CASTRO, M., AND LISKOV, B. Practical Byzantine Fault Tolerance. In Proceedings of the 1999 Symposium on Operating Systems Design and Implementation (February 1999), pp. 173-186.
9. CASTRO, M., AND LISKOV, B. Proactive Recovery in a Byzantine-Fault-Tolerant System. In Proceedings of the 2000 Symposium on Operating Systems Design and Implementation (October 2000), pp. 19-33.
10. CHANG, F., AND GIBSON, G. A. Automatic I/O hint generation through speculative execution. In Proceedings of the 1999 Symposium on Operating Systems Design and Implementation (February 1999), pp. 1-14.
11. COWLING, J., MYERS, D., LISKOV, B., RODRIGUES, R., AND SHRIRA, L. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. In Proceedings of the 2006 Symposium on Operating Systems Design and Implementation (November 2006), pp. 177-190.
12. CULLY, B., LEFEBVRE, G., MEYER, D., FEELEY, M., AND HUTCHINSON, N. Remus: High availability via asynchronous virtual machine replication. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI'08) (2008).
13. DWORK, C., LYNCH, N., AND STOCKMEYER, L. Consensus in the presence of partial synchrony. J. ACM 35, 2 (1988), 288-323.
14. ELNOZAHY, E. N., ALVISI, L., WANG, Y.-M., AND JOHNSON, D. B. A Survey of Rollback-Recovery Protocols in Message-Passing Systems. ACM Computing Surveys 34, 3 (September 2002), 375-408.
15. FRANKLIN, M., AND SOHI, G. ARB: A hardware mechanism for dynamic reordering of memory references. IEEE Transactions on Computers 45, 5 (May 1996), 552-571.
16. FRASER, K., AND CHANG, F. Operating system I/O speculation: How two invocations are faster than one. In Proceedings of the 2003 USENIX Technical Conference (June 2003), pp. 325-338.
17. HAMMOND, L., WILLEY, M., AND OLUKOTUN, K. Data Speculation Support for a Chip Multiprocessor. In Proceedings of the 1998 International Conference on Architectural Support for Programming Languages and Operating Systems (October 1998), pp. 58-69.
18. HENDRICKS, J., GANGER, G. R., AND REITER, M. K. Low-Overhead Byzantine Fault-Tolerant Storage. In Proceedings of the 2007 Symposium on Operating Systems Principles (October 2007), pp. 73-86.
19. JEFFERSON, D., BECKMAN, B., WIELAND, F., BLUME, L., DILORETO, M., HONTALAS, P., LAROCHE, P., STURDEVANT, K., TUPMAN, J., WARREN, V., WEDEL, J., YOUNGER, H., AND BELLENOT, S. Distributed Simulation and the Time Warp Operating System. In Proceedings of the 1987 Symposium on Operating Systems Principles (November 1987), pp. 77-93.
20. KEMME, B., PEDONE, F., ALONSO, G., AND SCHIPER, A. E. Processing transactions over optimistic atomic broadcast protocols. In ICDCS'99: Proceedings of the 19th IEEE International Conference on Distributed Computing Systems (Washington, DC, USA, 1999), IEEE Computer Society, p. 424.
21. KIHLSTROM, K. P., MOSER, L. E., AND MELLIARSMITH, P. M. The SecureRing protocols for securing group communication. In Proceedings of the 1998 Hawaii International Conference on System Sciences (1998), vol. 3, pp. 317-326.
22. KOTLA, R., ALVISI, L., DAHLIN, M., CLEMENT, A., AND WONG, E. Zyzzyva: Speculative Byzantine Fault Tolerance. In Proceedings of the 2007 Symposium on Operating Systems Principles (October 2007), pp. 45-58.
23. KOTLA, R., AND DAHLIN, M. High throughput byzantine fault tolerance. In DSN'04: Proceedings of the 2004 International Conference on Dependable Systems and Networks (Washington, DC, USA, 2004), IEEE Computer Society, p. 575.
24. LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558-565.
25. LAMPORT, L. The part-time parliament. ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169.
26. LI, T., ELLIS, C. S., LEBECK, A. R., AND SORIN, D. J. Pulse: A dynamic deadlock detection mechanism using speculative execution. In Proceedings of the 2005 USENIX Technical Conference (April 2005), pp. 31-44.
27. MALKHI, D., AND REITER, M. Byzantine Quorum Systems. Distributed Computing 11, 4 (1998), 203-213.
28. NIGHTINGALE, E. B., CHEN, P. M., AND FLINN, J. Speculative execution in a distributed file system. In Proceedings of the 2005 Symposium on Operating Systems Principles (October 2005), pp. 191-205.
29. NIGHTINGALE, E. B., PEEK, D., CHEN, P. M., AND FLINN, J. Parallelizing security checks on commodity hardware. In Proceedings of the 2008 International Conference on Architectural Support for Programming Languages and Operating Systems (March 2008), pp. 308-318.
30. OKI, B., AND LISKOV, B. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. In Proc. of ACM Symposium on Principles of Distributed Computing (1988), pp. 8-17.
31. QIN, F., TUCEK, J., SUNDARESAN, J., AND ZHOU, Y. Rx: Treating bugs as allergies-a safe method to survive software failure. In Proceedings of the 2005 Symposium on Operating Systems Principles (October 2005), pp. 235-248.
32. REITER, M. K. The rampart toolkit for building high-integrity services. In Theory and Practice in Distributed Systems, vol. 938. Springer-Verlag, Berlin Germany, 1995, pp. 99-110.
33. RODRIGUES, R., CASTRO, M., AND LISKOV, B. BASE: Using Abstraction to Improve Fault Tolerance. In Proceedings of the 2001 Symposium on Operating Systems Principles (October 2001), pp. 236-269.
34. SCHNEIDER, F. B. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Surveys 22, 4 (December 1990), 299-319.
35. STEFFAN, J. G., COLOHAN, C. B., ZHAI, A., AND MOWRY, T. C. A scalable approach to thread-level speculation. In Proceedings of the 2000 International Symposium on Computer Architecture (June 2000), pp. 1-24.
36. SU, Y.-Y., ATTARIYAN, M., AND FLINN, J. AutoBash: improving configuration management with operating system causality analysis. In Proceedings of the 2007 Symposium on Operating Systems Principles (October 2007), pp. 237-250.
37. YIN, J., MARTIN, J.-P., VENKATARAMANI, A., ALVISI, L., AND DAHLIN, M. Separating agreement from execution for byzantine fault tolerant services. In Proceedings of the 2003 Symposium on Operating Systems Principles (October 2003), pp. 253-267.