{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:19Z","timestamp":1750306579475,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":39,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1145\/2663165.2663321","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T15:45:24Z","timestamp":1417016724000},"page":"145-156","source":"Crossref","is-referenced-by-count":9,"title":["Consensus inside"],"prefix":"10.1145","author":[{"given":"Tudor","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Guerraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maysam","family":"Yabandeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/2663165.2663321-1","unstructured":"0mq. http:\/\/www.zeromq.org."},{"key":"key-10.1145\/2663165.2663321-2","unstructured":"P Aublin, S Mokhtar, Gilles Muller, and Vivien Quéma. Zimp: Efficient intercore communications on manycore machines. Technical report."},{"key":"key-10.1145\/2663165.2663321-3","unstructured":"Ö. Babaoğlu and S. Toueg. Distributed systems (2nd ed.). chapter Non-blocking atomic commitment, pages 147--168. ACM Press\/Addison-Wesley Publishing Co., New York, NY, USA, 1993."},{"key":"key-10.1145\/2663165.2663321-4","doi-asserted-by":"crossref","unstructured":"A. Baumann, P. Barham, P. E. Dagand, T. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schupbach, and A. Singhania. The Multikernel: A new OS architecture for scalable multicore systems. SOSP 2009.","DOI":"10.1145\/1629575.1629579"},{"key":"key-10.1145\/2663165.2663321-5","unstructured":"M Burrows. The Chubby lock service for loosely-coupled distributed systems. OSDI 2006."},{"key":"key-10.1145\/2663165.2663321-6","doi-asserted-by":"crossref","unstructured":"C. Cachin, R. Guerraoui, and L. Rodrigues.Introduction to reliable and secure distributed programming. Springer-Verlag New York Inc., 2011.","DOI":"10.1007\/978-3-642-15260-3"},{"key":"key-10.1145\/2663165.2663321-7","doi-asserted-by":"crossref","unstructured":"M. Castro and B. Liskov. Practical Byzantine fault tolerance and proactive recovery.TOCS, 20(4):398--461, 2002.","DOI":"10.1145\/571637.571640"},{"key":"key-10.1145\/2663165.2663321-8","doi-asserted-by":"crossref","unstructured":"T. D. Chandra, R. Griesemer, and J. Redstone. Paxos Made Live: an Engineering Perspective. PODC 2007.","DOI":"10.1145\/1281100.1281103"},{"key":"key-10.1145\/2663165.2663321-9","unstructured":"N. Chatterjee, S. H. Pugsley, J. Spjut, and R. Balasubramonian. Optimizing a Multi-Core Processor for Message-Passing Workloads. UCAS-5 2009."},{"key":"key-10.1145\/2663165.2663321-10","unstructured":"J. A. Cowling, D. S. Myers, B. Liskov, R. Rodrigues, and L Shrira. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. OSDI 2006."},{"key":"key-10.1145\/2663165.2663321-11","doi-asserted-by":"crossref","unstructured":"T. David, R. Guerraoui, and V. Trigonakis. Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask. SOSP 2013.","DOI":"10.1145\/2517349.2522714"},{"key":"key-10.1145\/2663165.2663321-12","unstructured":"T. David, R. Guerraoui, and M. Yabandeh. Consensus inside. Technical report, EPFL-REPORT-201600."},{"key":"key-10.1145\/2663165.2663321-13","unstructured":"D. Dobre, M. Majuntke, and N. Suri. CoReFP: Contention-Resistant Fast Paxos for WANs. Technical report, TU Darmstadt, 2006."},{"key":"key-10.1145\/2663165.2663321-14","unstructured":"A. Dragojević, D. Narayanan, O. Hodson, and M. Castro. FaRM: Fast Remote Memory. NSDI 2014."},{"key":"key-10.1145\/2663165.2663321-15","unstructured":"M. D. Hill et al. 21st Century Computer Architecture: A community white paper. Technical report, 2012."},{"key":"key-10.1145\/2663165.2663321-16","doi-asserted-by":"crossref","unstructured":"M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of Distributed Consensus with One Faulty Process.Journal of the ACM (JACM), 32(2):374--382, 1985.","DOI":"10.1145\/3149.214121"},{"key":"key-10.1145\/2663165.2663321-17","doi-asserted-by":"crossref","unstructured":"R. Guerraoui, V. Quema, and M. Vukolic. The next 700 BFT protocols. EuroSys 2008.","DOI":"10.1007\/978-3-540-92221-6_1"},{"key":"key-10.1145\/2663165.2663321-18","unstructured":"J. Handy.The cache memory book. Morgan Kaufmann, 1998."},{"key":"key-10.1145\/2663165.2663321-19","doi-asserted-by":"crossref","unstructured":"M. Herlihy. Wait-free synchronization.TOPLAS, 13(1):124--149, January 1991.","DOI":"10.1145\/114005.102808"},{"key":"key-10.1145\/2663165.2663321-20","unstructured":"Jetlang. http:\/\/code.google.com\/p\/jetlang\/."},{"key":"key-10.1145\/2663165.2663321-21","unstructured":"J. P. John, E. Katz-Bassett, A. Krishnamurthy, T. Anderson, and A. Venkataramani. Consensus Routing: The Internet as a Distributed System. NSDI 2008."},{"key":"key-10.1145\/2663165.2663321-22","unstructured":"R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. Zyzzyva: speculative byzantine fault tolerance.ACM SIGOPS Operating Systems Review, 41(6):45--58, 2007."},{"key":"key-10.1145\/2663165.2663321-23","unstructured":"L. Lamport. Paxos made simple.ACM SIGACT News, 32(4), 2001."},{"key":"key-10.1145\/2663165.2663321-24","unstructured":"L. Lamport. Generalized consensus and Paxos. Technical report, MSR-TR-2005-33, Microsoft Research, 2005."},{"key":"key-10.1145\/2663165.2663321-25","doi-asserted-by":"crossref","unstructured":"L. Lamport. Fast Paxos.Distributed Computing, 19(2):79--103, 2006.","DOI":"10.1007\/s00446-006-0005-x"},{"key":"key-10.1145\/2663165.2663321-26","unstructured":"L. Lamport, A. Hydrie, and D. Achlioptas. Multi-leader distributed system, November 21 2002. US Patent App. 10\/302,572."},{"key":"key-10.1145\/2663165.2663321-27","doi-asserted-by":"crossref","unstructured":"L. Lamport, D. Malkhi, and L. Zhou. Vertical paxos and primary-backup replication. PODC 2009.","DOI":"10.1145\/1582716.1582783"},{"key":"key-10.1145\/2663165.2663321-28","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. The part-time parliament.TOCS, 16(2), 1998.","DOI":"10.1145\/279227.279229"},{"key":"key-10.1145\/2663165.2663321-29","unstructured":"B. Lampson and H. Sturgis.Crash recovery in a distributed data storage system. Xerox PARC, Palo Alto, California, 1979."},{"key":"key-10.1145\/2663165.2663321-30","unstructured":"libtask. http:\/\/swtch.com\/libtask\/."},{"key":"key-10.1145\/2663165.2663321-31","unstructured":"X. Liu, W. Lin, A. Pan, and Z. Zhang. WiDS Checker: Combating Bugs in Distributed Systems. NSDI 2007."},{"key":"key-10.1145\/2663165.2663321-32","unstructured":"N. A. Lynch.Distributed algorithms. Morgan Kaufmann, 1996."},{"key":"key-10.1145\/2663165.2663321-33","unstructured":"Y. Mao, F. Junqueira, and K. Marzullo. Mencius: Building Efficient Replicated State Machines for WANs. OSDI 2008."},{"key":"key-10.1145\/2663165.2663321-34","doi-asserted-by":"crossref","unstructured":"M. Massa and L. Lamport. Cheap Paxos. DSN 2004.","DOI":"10.1109\/DSN.2004.1311900"},{"key":"key-10.1145\/2663165.2663321-35","doi-asserted-by":"crossref","unstructured":"T. G. Mattson, R. Van der Wijngaart, and M. Frumkin. Programming the Intel 80-core network-on-a-chip terascale processor. SC 2008.","DOI":"10.1109\/SC.2008.5213921"},{"key":"key-10.1145\/2663165.2663321-36","doi-asserted-by":"crossref","unstructured":"S. Novakovic, B. Grot, A. Daglis, E. Bugnion, and B. Falsafi. Scale-Out NUMA. ASPLOS 2014.","DOI":"10.1145\/2541940.2541965"},{"key":"key-10.1145\/2663165.2663321-37","doi-asserted-by":"crossref","unstructured":"F. Pedone, A. Schiper, P. Urban, and D. Cavin. Solving agreement problems with weak ordering oracles. InEDCC, volume 2485, pages 44--61. Springer Berlin Heidelberg, 2002.","DOI":"10.1007\/3-540-36080-8_5"},{"key":"key-10.1145\/2663165.2663321-38","doi-asserted-by":"crossref","unstructured":"Rob F. van der Wijngaart, Timothy G. Mattson, and Werner Haas. Light-weight communications on intel's single-chip cloud computer processor.SIGOPS Oper. Syst. Rev., 45(1):73--83, February 2011.","DOI":"10.1145\/1945023.1945033"},{"key":"key-10.1145\/2663165.2663321-39","doi-asserted-by":"crossref","unstructured":"D. Wentzlaff, P. Griffin, H. Hoffmann, L. Bao, B. Edwards, C. Ramey, M. Mattina, C. C. Miao, J. F. Brown, and A. Agarwal. On-Chip Interconnection Architecture of the Tile Processor.Micro, IEEE, 27(5):15--31, 2007.","DOI":"10.1109\/MM.2007.4378780"}],"event":{"number":"15","sponsor":["Raytheon BBN Technologies","IFIP","Conseil R\u00e9gional d'Aquitaine","USENIX","ACM, Association for Computing Machinery","LaBRI","HP","Bordeaux, City of Bordeaux","GDR ASR, GDR Architecture, Syst\u00e8mes et R\u00e9seaux"],"acronym":"Middleware '14","name":"the 15th International Middleware Conference","start":{"date-parts":[[2014,12,8]]},"location":"Bordeaux, France","end":{"date-parts":[[2014,12,12]]}},"container-title":["Proceedings of the 15th International Middleware Conference on - Middleware '14"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663165.2663321","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=2663321&ftid=1515757&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:46Z","timestamp":1750227226000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2663165.2663321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1145\/2663165.2663321","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}