{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T06:24:29Z","timestamp":1776925469283,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,4]],"date-time":"2015-10-04T00:00:00Z","timestamp":1443916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,4]]},"DOI":"10.1145\/2815400.2815427","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T12:01:58Z","timestamp":1443700918000},"page":"105-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["P\n            <scp>axos<\/scp>\n            made transparent"],"prefix":"10.1145","author":[{"given":"Heming","family":"Cui","sequence":"first","affiliation":[{"name":"The University of Hong Kong and Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Gu","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Liu","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianyu","family":"Chen","sequence":"additional","affiliation":[{"name":"Tsinghua University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,4]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Boost C++ Libraries. http:\/\/www.boost.org\/.  Boost C++ Libraries. http:\/\/www.boost.org\/."},{"key":"e_1_3_2_2_2_1","unstructured":"LXC. https:\/\/linuxcontainers.org\/.  LXC. https:\/\/linuxcontainers.org\/."},{"key":"e_1_3_2_2_3_1","unstructured":"MySQL. http:\/\/www.mysql.com\/ .  MySQL. http:\/\/www.mysql.com\/ ."},{"key":"e_1_3_2_2_4_1","unstructured":"MySQL Replication. https:\/\/dev.mysql.com\/doc\/refman\/5.0\/en\/replication.html.  MySQL Replication. https:\/\/dev.mysql.com\/doc\/refman\/5.0\/en\/replication.html."},{"key":"e_1_3_2_2_5_1","unstructured":"SQLite. https:\/\/www.sqlite.org\/.  SQLite. https:\/\/www.sqlite.org\/."},{"key":"e_1_3_2_2_6_1","unstructured":"ZooKeeper. https:\/\/zookeeper.apache.org\/.  ZooKeeper. https:\/\/zookeeper.apache.org\/."},{"key":"e_1_3_2_2_7_1","unstructured":"SysBench: a system performance benchmark. http:\/\/sysbench.sourceforge.net 2004.  SysBench: a system performance benchmark. http:\/\/sysbench.sourceforge.net 2004."},{"key":"e_1_3_2_2_8_1","volume-title":"http:\/\/mediatomb.cc\/","author":"MediaServer P","year":"2014","unstructured":"MediaTomb - Free UPn P MediaServer . http:\/\/mediatomb.cc\/ , 2014 . MediaTomb - Free UPnP MediaServer. http:\/\/mediatomb.cc\/, 2014."},{"key":"e_1_3_2_2_9_1","unstructured":"Apache. Apache web server. http:\/\/www.apache.org 2012.  Apache. Apache web server. http:\/\/www.apache.org 2012."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866341"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866835.1866854"},{"key":"e_1_3_2_2_12_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Aviram A.","year":"2010","unstructured":"A. Aviram , S.-C. Weng , S. Hu , and B. Ford . Efficient system-enforced deterministic parallelism . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) , Oct. 2010 . A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient system-enforced deterministic parallelism. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_2_14_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Bergan T.","year":"2010","unstructured":"T. Bergan , N. Hunt , L. Ceze , and S. D. Gribble . Deterministic process groups in dOS . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) , Oct. 2010 . T. Bergan, N. Hunt, L. Ceze, and S. D. Gribble. Deterministic process groups in dOS. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10), Oct. 2010."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509508"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640096"},{"key":"e_1_3_2_2_17_1","unstructured":"Berkeley DB. http:\/\/www.sleepycat.com.  Berkeley DB. http:\/\/www.sleepycat.com."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972457.1972472"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296824"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_2_2_24_1","unstructured":"Clam AntiVirus. http:\/\/www.clamav.net\/.  Clam AntiVirus. http:\/\/www.clamav.net\/."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629602"},{"key":"e_1_3_2_2_26_1","volume-title":"http:\/\/openreplica.org\/download\/","year":"2015","unstructured":"concoord. Openreplica. http:\/\/openreplica.org\/download\/ , 2015 . concoord. Openreplica. http:\/\/openreplica.org\/download\/, 2015."},{"key":"e_1_3_2_2_27_1","volume-title":"Spanner: Google's globally-distributed database","author":"Corbett J. C.","year":"2012","unstructured":"J. C. Corbett , J. Dean , M. Epstein , A. Fikes , C. Frost , J. J. Furman , S. Ghemawat , A. Gubarev , C. Heiser , P. Hochschild , W. Hsieh , S. Kanthak , E. Kogan , H. Li , A. Lloyd , S. Melnik , D. Mwaura , D. Nagle , S. Quinlan , R. Rao , L. Rolig , Y. Saito , M. Szymaniak , C. Taylor , R. Wang , and D. Woodford . Spanner: Google's globally-distributed database . Oct. 2012 . J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. J. Furman, S. Ghemawat, A. Gubarev, C. Heiser, P. Hochschild, W. Hsieh, S. Kanthak, E. Kogan, H. Li, A. Lloyd, S. Melnik, D. Mwaura, D. Nagle, S. Quinlan, R. Rao, L. Rolig, Y. Saito, M. Szymaniak, C. Taylor, R. Wang, and D. Woodford. Spanner: Google's globally-distributed database. Oct. 2012."},{"key":"e_1_3_2_2_28_1","volume-title":"http:\/\/criu.org","year":"2015","unstructured":"criu. Criu. http:\/\/criu.org , 2015 . criu. Criu. http:\/\/criu.org, 2015."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522735"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2797022.2797033"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592800"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451170"},{"key":"e_1_3_2_2_35_1","first-page":"221","volume-title":"Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12)","author":"Jin G.","year":"2012","unstructured":"G. Jin , W. Zhang , D. Deng , B. Liblit , and S. Lu . Automated concurrency-bug fixing . In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12) , pages 221 -- 236 , 2012 . G. Jin, W. Zhang, D. Deng, B. Liblit, and S. Lu. Automated concurrency-bug fixing. In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12), pages 221--236, 2012."},{"key":"e_1_3_2_2_36_1","first-page":"295","volume-title":"Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Jula H.","year":"2008","unstructured":"H. Jula , D. Tralamazza , Z. Cristian , and C. George . Deadlock immunity: Enabling systems to defend against deadlocks . In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08) , pages 295 -- 308 , Dec. 2008 . H. Jula, D. Tralamazza, Z. Cristian, and C. George. Deadlock immunity: Enabling systems to defend against deadlocks. In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08), pages 295--308, Dec. 2008."},{"key":"e_1_3_2_2_37_1","first-page":"237","volume-title":"Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12)","volume":"12","author":"Kapritsos M.","year":"2012","unstructured":"M. Kapritsos , Y. Wang , V. Quema , A. Clement , L. Alvisi , M. Dahlin , All about eve: Execute-verify replication for multi-core servers . In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12) , volume 12 , pages 237 -- 250 , 2012 . M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, M. Dahlin, et al. All about eve: Execute-verify replication for multi-core servers. In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12), volume 12, pages 237--250, 2012."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294267"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811099.1811057"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043589"},{"key":"e_1_3_2_2_42_1","unstructured":"L. Lamport. Paxos made simple. http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/pubs\/paxos-simple.pdf.  L. Lamport. Paxos made simple. http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/pubs\/paxos-simple.pdf."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"crossref","unstructured":"L. Lamport. Fast paxos. Fast Paxos Aug. 2006.  L. Lamport. Fast paxos. Fast Paxos Aug. 2006.","DOI":"10.1007\/s00446-006-0005-x"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_2_47_1","volume-title":"libevent. libevent.org\/","year":"2015","unstructured":"libevent. libevent. libevent.org\/ , 2015 . libevent. libevent. libevent.org\/, 2015."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_2_51_1","first-page":"369","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation","volume":"8","author":"Mao Y.","year":"2008","unstructured":"Y. Mao , F. P. Junqueira , and K. Marzullo . Mencius: building efficient replicated state machines for wans . In Proceedings of the 8th USENIX conference on Operating systems design and implementation , volume 8 , pages 369 -- 384 , 2008 . Y. Mao, F. P. Junqueira, and K. Marzullo. Mencius: building efficient replicated state machines for wans. In Proceedings of the 8th USENIX conference on Operating systems design and implementation, volume 8, pages 369--384, 2008."},{"key":"e_1_3_2_2_52_1","volume-title":"Technical report","author":"Mazieres D.","year":"2007","unstructured":"D. Mazieres . Paxos made practical. Technical report , Technical report , 2007 . http:\/\/www. scs. stanford. edu\/dm\/home\/papers, 2007. D. Mazieres. Paxos made practical. Technical report, Technical report, 2007. http:\/\/www. scs. stanford. edu\/dm\/home\/papers, 2007."},{"key":"e_1_3_2_2_53_1","volume-title":"https:\/\/www.mplayerhq.hu\/","year":"2015","unstructured":"mencoder. Mencoder. https:\/\/www.mplayerhq.hu\/ , 2015 . mencoder. Mencoder. https:\/\/www.mplayerhq.hu\/, 2015."},{"key":"e_1_3_2_2_54_1","unstructured":"Mongoose. https:\/\/code.google.com\/p\/mongoose\/.  Mongoose. https:\/\/code.google.com\/p\/mongoose\/."},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2517350"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_2_57_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX '14)","author":"Ongaro D.","year":"2014","unstructured":"D. Ongaro and J. Ousterhout . In search of an understandable consensus algorithm . In Proceedings of the USENIX Annual Technical Conference (USENIX '14) , June 2014 . D. Ongaro and J. Ousterhout. In search of an understandable consensus algorithm. In Proceedings of the USENIX Annual Technical Conference (USENIX '14), June 2014."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_2_60_1","unstructured":"M. Primi. LibPaxos. http:\/\/libpaxos.sourceforge.net\/.  M. Primi. LibPaxos. http:\/\/libpaxos.sourceforge.net\/."},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.14778\/1938545.1938549"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2673577"},{"key":"e_1_3_2_2_66_1","unstructured":"VTune. http:\/\/software.intel.com\/en-us\/intel-vtune-amplifier-xe\/.  VTune. http:\/\/software.intel.com\/en-us\/intel-vtune-amplifier-xe\/."},{"key":"e_1_3_2_2_67_1","first-page":"281","volume-title":"Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Wang Y.","year":"2008","unstructured":"Y. Wang , T. Kelly , M. Kudlur , S. Lafortune , and S. Mahlke . Gadara: Dynamic deadlock avoidance for multithreaded programs . In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08) , pages 281 -- 294 , Dec. 2008 . Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, and S. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08), pages 281--294, Dec. 2008."},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924953"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046772"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736041"}],"event":{"name":"SOSP '15: ACM SIGOPS 25th Symposium on Operating Systems Principles","location":"Monterey California","acronym":"SOSP '15","sponsor":["SSRC Storage Systems Research Center, UC Santa Cruz","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 25th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815400.2815427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2815400.2815427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:13Z","timestamp":1750225393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815400.2815427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,4]]},"references-count":71,"alternative-id":["10.1145\/2815400.2815427","10.1145\/2815400"],"URL":"https:\/\/doi.org\/10.1145\/2815400.2815427","relation":{},"subject":[],"published":{"date-parts":[[2015,10,4]]},"assertion":[{"value":"2015-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}