参考

[1] BOLOSKY, W. J., BRADSHAW, D., HAAGENS, R. B., KUSTERS, N. P.,ANDLI, P. Paxos replicated state machines as the basis of a high-performance data store. InProc. NSDI’11, USENIX Conference on Networked Systems Design and Implementation(2011), USENIX, pp. 141–154.

[2] BURROWS, M. The Chubby lock service for loosely- coupled distributed systems. InProc. OSDI’06, Sympo- sium on Operating Systems Design and Implementation(2006), USENIX, pp. 335–350.

[3] CAMARGOS, L. J., SCHMIDT, R. M.,ANDPEDONE, F. Multicoordinated Paxos. InProc. PODC’07, ACM Sym- posium on Principles of Distributed Computing(2007), ACM, pp. 316–317.

[4] CHANDRA, T. D., GRIESEMER, R.,ANDREDSTONE, J. Paxos made live: an engineering perspective. InProc. PODC’07, ACM Symposium on Principles of Distributed Computing(2007), ACM, pp. 398–407.

[5] CHANG, F., DEAN, J., GHEMAWAT, S., HSIEH, W. C., WALLACH, D. A., BURROWS, M., CHANDRA, T., FIKES, A.,ANDGRUBER, R. E. Bigtable: a distributed storage system for structured data. InProc. OSDI’06, USENIX Symposium on Operating Systems Design and Implementation(2006), USENIX, pp. 205–218.

[6] CORBETT, J. C., DEAN, J., EPSTEIN, M., FIKES, A., FROST, C., FURMAN, J. J., GHEMAWAT, S., GUBAREV, A., HEISER, C., HOCHSCHILD, P., HSIEH, W., KAN-THAK, S., KOGAN, E., LI, H., LLOYD, A., MELNIK, S., MWAURA, D., NAGLE, D., QUINLAN, S., RAO, R., ROLIG, L., SAITO, Y., SZYMANIAK, M., TAYLOR, C., WANG, R.,ANDWOODFORD, D. Spanner: Google’s globally-distributed database. InProc. OSDI’12, USENIX Conference on Operating Systems Design and Implemen- tation(2012), USENIX, pp. 251–264.

[7] COUSINEAU, D., DOLIGEZ, D., LAMPORT, L., MERZ, S., RICKETTS, D.,ANDVANZETTO, H. TLA+proofs. InProc. FM’12, Symposium on Formal Methods(2012), D. Giannakopoulou and D. Me ́ry, Eds., vol. 7436 ofLec- ture Notes in Computer Science, Springer, pp. 147–154.

[8] GHEMAWAT, S., GOBIOFF, H.,ANDLEUNG, S.-T. The Google file system. InProc. SOSP’03, ACM Symposium on Operating Systems Principles(2003), ACM, pp. 29–43.

[9] GRAY,C.,ANDCHERITON,D.Leases:Anefficientfault- tolerant mechanism for distributed file cache consistency. InProceedings of the 12th ACM Ssymposium on Operating Systems Principles(1989), pp. 202–210.

[10] HERLIHY, M. P.,ANDWING, J. M. Linearizability: a correctness condition for concurrent objects.ACM Trans- actions on Programming Languages and Systems 12(July 1990), 463–492.

[11] HUNT, P., KONAR, M., JUNQUEIRA, F. P.,ANDREED, B . ZooKeeper: wait-free coordination for internet-scale systems. InProc ATC’10, USENIX Annual Technical Con- ference(2010), USENIX, pp. 145–158.

[12] JUNQUEIRA, F. P., REED, B. C.,ANDSERAFINI, M. Zab: High-performance broadcast for primary-backup sys- tems. InProc. DSN’11, IEEE/IFIP Int’l Conf. on Depend- able Systems & Networks(2011), IEEE Computer Society, pp. 245–256.

[13] KIRSCH, J.,ANDAMIR, Y. Paxos for system builders. Tech. Rep. CNDS-2008-2, Johns Hopkins University, 2008.

[14] LA M P O RT, L . Time, clocks, and the ordering of events in a distributed system.Commununications of the ACM 21, 7 (July 1978), 558–565.

[15] LA M P O RT, L . The part-time parliament.ACM Transac- tions on Computer Systems 16, 2 (May 1998), 133–169.

[16] LAMPORT, L. Paxos made simple.ACM SIGACT News 32, 4 (Dec. 2001), 18–25.

[17] LA M P O RT, L .Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison- Wesley, 2002.

[18] LAMPORT, L. Generalized consensus and Paxos. Tech. Rep. MSR-TR-2005-33, Microsoft Research, 2005.

[19] LA M P O RT, L . Fast paxos. (2006), 79–103. Distributed Computing 19, 2

[20] LAMPSON, B. W. How to build a highly available system using consensus. InDistributed Algorithms, O. Baboaglu and K. Marzullo, Eds. Springer-Verlag, 1996, pp. 1–17.

[21] LAMPSON, B. W. The ABCD’s of Paxos. InProc. PODC’01, ACM Symposium on Principles of Distributed Computing(2001), ACM, pp. 13–13.

[22] LISKOV, B.,ANDCOWLING, J. Viewstamped replica- tion revisited. Tech. Rep. MIT-CSAIL-TR-2012-021, MIT, July 2012.

[23] LogCabin source code.http://github.com/ logcabin/logcabin.

[24] LORCH, J. R., ADYA, A., BOLOSKY, W. J., CHAIKEN, R., DOUCEUR, J. R.,ANDHOWELL, J. The SMART way to migrate replicated stateful services. InProc. Eu- roSys’06, ACM SIGOPS/EuroSys European Conference on Computer Systems(2006), ACM, pp. 103–115.

[25] MAO, Y., JUNQUEIRA, F. P.,ANDMARZULLO, K. Mencius: building efficient replicated state machines for

WANs. InProc. OSDI’08, USENIX Conference on Operating Systems Design and Implementation(2008), USENIX, pp. 369–384.

[26] MAZIE`RES, D. Paxos made practical. http://www.scs.stanford.edu/̃dm/home/papers/paxos.pdf, Jan. 2007.

[27] MORARU, I., ANDERSEN, D. G.,ANDKAMINSKY, M. There is more consensus in egalitarian parliaments. InProc. SOSP’13, ACM Symposium on Operating System Principles(2013), ACM.

[28] Raft user study.http://ramcloud.stanford. edu/̃ongaro/userstudy/.

[29] OKI, B. M.,ANDLISKOV, B. H. Viewstamped replication: A new primary copy method to support highly-available distributed systems. InProc. PODC’88, ACM Symposium on Principles of Distributed Computing(1988), ACM, pp. 8–17.

[30] O’NEIL, P., CHENG, E., GAWLICK, D.,ANDONEIL, E. The log-structured merge-tree (LSM-tree).Acta Informat- ica 33, 4 (1996), 351–385.

[31] ONGARO, D.Consensus: Bridging Theory and Practice. PhD thesis, Stanford University, 2014 (work in progress). http://ramcloud.stanford.edu/̃ongaro/ thesis.pdf.

[32] ONGARO, D.,ANDOUSTERHOUT, J. In search of an understandable consensus algorithm. InProc ATC’14, USENIX Annual Technical Conference(2014), USENIX.

[33] OUSTERHOUT, J., AGRAWAL, P., ERICKSON, D., KOZYRAKIS, C., LEVERICH, J., MAZIE`RES, D., MI-TRA, S., NARAYANAN, A., ONGARO, D., PARULKAR, G., ROSENBLUM, M., RUMBLE, S. M., STRATMANN, E.,ANDSTUTSMAN, R. The case for RAMCloud.Com- munications of the ACM 54(July 2011), 121–130.

[34] Raft consensus algorithm website.http://raftconsensus.github.io.

[35] REED, B. Personal communications, May 17, 2013.

[36] ROSENBLUM, M.,ANDOUSTERHOUT, J. K. The design and implementation of a log-structured file system.ACM Trans. Comput. Syst. 10(February 1992), 26–52.

[37] SC H N E I D E R, F. B . Implementing fault-tolerant services using the state machine approach: a tutorial.ACM Com- puting Surveys 22, 4 (Dec. 1990), 299–319.

[38] SHVACHKO, K., KUANG, H., RADIA, S.,ANDCHANSLER, R. The Hadoop distributed file system. InProc. MSST’10, Symposium on Mass Storage Sys- tems and Technologies(2010), IEEE Computer Society, pp. 1–10.

[39] VANRENESSE, R. Paxos made moderately complex. Tech. rep., Cornell University, 2012.