File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Paxos Made Transparent

TitlePaxos Made Transparent
Authors
KeywordsState Machine Replication
Fault Tolerance
Stable and Deterministic Multithreading
Software Reliability
Issue Date2015
PublisherACM.
Citation
The 25th ACM Symposium on Operating Systems Principles (SOSP 2015), Monterey, CA., 4-7 October 2015. In Conference Proceedings, 2015, p. 105-120 How to Cite?
AbstractState machine replication (SMR) leverages distributed consensus protocols such as PAXOS to keep multiple replicas of a program consistent in face of replica failures or network partitions. This fault tolerance is enticing on implementing a principled SMR system that replicates general programs, especially server programs that demand high availability. Unfortunately, SMR assumes deterministic execution, but most server programs are multithreaded and thus nondeterministic. Moreover, existing SMR systems provide narrow state machine interfaces to suit specific programs, and it can be quite strenuous and error-prone to orchestrate a general program into these interfaces. This paper presents CRANE, an SMR system that transparently replicates general server programs. CRANE achieves distributed consensus on the socket API, a common interface to almost all server programs. It leverages deterministic multithreading (specifically, our prior system PARROT) to make multithreaded replicas deterministic. It uses a new technique we call time bubbling to efficiently tackle a difficult challenge of nondeterministic network input timing. Evaluation on five widely used server programs (e.g., Apache, ClamAV, and MySQL) shows that CRANE is easy to use, has moderate overhead, and is robust. CRANE’s source code is at github.com/columbia/crane.
Persistent Identifierhttp://hdl.handle.net/10722/219218
ISBN

 

DC FieldValueLanguage
dc.contributor.authorCui, H-
dc.contributor.authorGu, R-
dc.contributor.authorLiu, C-
dc.contributor.authorChen, TY-
dc.contributor.authorYang, JF-
dc.date.accessioned2015-09-18T07:18:01Z-
dc.date.available2015-09-18T07:18:01Z-
dc.date.issued2015-
dc.identifier.citationThe 25th ACM Symposium on Operating Systems Principles (SOSP 2015), Monterey, CA., 4-7 October 2015. In Conference Proceedings, 2015, p. 105-120-
dc.identifier.isbn978-1-4503-3834-9-
dc.identifier.urihttp://hdl.handle.net/10722/219218-
dc.description.abstractState machine replication (SMR) leverages distributed consensus protocols such as PAXOS to keep multiple replicas of a program consistent in face of replica failures or network partitions. This fault tolerance is enticing on implementing a principled SMR system that replicates general programs, especially server programs that demand high availability. Unfortunately, SMR assumes deterministic execution, but most server programs are multithreaded and thus nondeterministic. Moreover, existing SMR systems provide narrow state machine interfaces to suit specific programs, and it can be quite strenuous and error-prone to orchestrate a general program into these interfaces. This paper presents CRANE, an SMR system that transparently replicates general server programs. CRANE achieves distributed consensus on the socket API, a common interface to almost all server programs. It leverages deterministic multithreading (specifically, our prior system PARROT) to make multithreaded replicas deterministic. It uses a new technique we call time bubbling to efficiently tackle a difficult challenge of nondeterministic network input timing. Evaluation on five widely used server programs (e.g., Apache, ClamAV, and MySQL) shows that CRANE is easy to use, has moderate overhead, and is robust. CRANE’s source code is at github.com/columbia/crane.-
dc.languageeng-
dc.publisherACM.-
dc.relation.ispartofProceedings of the 25th Symposium on Operating Systems Principles (SOSP'15)-
dc.subjectState Machine Replication-
dc.subjectFault Tolerance-
dc.subjectStable and Deterministic Multithreading-
dc.subjectSoftware Reliability-
dc.titlePaxos Made Transparent-
dc.typeConference_Paper-
dc.identifier.emailCui, H: heming@hku.hk-
dc.identifier.authorityCui, H=rp02008-
dc.description.naturelink_to_OA_fulltext-
dc.identifier.doi10.1145/2815400.2815427-
dc.identifier.hkuros251505-
dc.identifier.spage105-
dc.identifier.epage120-
dc.publisher.placeUnited States-
dc.customcontrol.immutablesml 151203-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats