{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:47:20Z","timestamp":1756000040956,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,14]],"date-time":"2014-04-14T00:00:00Z","timestamp":1397433600000},"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":[[2014,4,14]]},"DOI":"10.1145\/2592798.2592800","type":"proceedings-article","created":{"date-parts":[[2014,4,28]],"date-time":"2014-04-28T14:18:30Z","timestamp":1398694710000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Rex"],"prefix":"10.1145","author":[{"given":"Zhenyu","family":"Guo","sequence":"first","affiliation":[{"name":"Microsoft Research"}]},{"given":"Chuntao","family":"Hong","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Mao","family":"Yang","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Dong","family":"Zhou","sequence":"additional","affiliation":[{"name":"CMU"}]},{"given":"Lidong","family":"Zhou","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Li","family":"Zhuang","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]}],"member":"320","published-online":{"date-parts":[[2014,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/800253.807732"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"Proceedings of the 9th USENIX 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 9th USENIX symposium on operating systems design and implementation, OSDI'10 , pages 1 -- 16 . USENIX, 2010 . A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient system-enforced deterministic parallelism. In Proceedings of the 9th USENIX symposium on operating systems design and implementation, OSDI'10, pages 1--16. USENIX, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2006.56"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_1_6_1","first-page":"448","volume-title":"Proceedings of the 2nd workshop on determinism and correctness in parallel programming, WODET '11","author":"Bergan T.","year":"2011","unstructured":"T. Bergan , J. Devietti , N. Hunt , and L. Ceze . The deterministic execution hammer: how well does it actually pound nails? In Proceedings of the 2nd workshop on determinism and correctness in parallel programming, WODET '11 , pages 448 -- 465 . ACM, 2011 . T. Bergan, J. Devietti, N. Hunt, and L. Ceze. The deterministic execution hammer: how well does it actually pound nails? In Proceedings of the 2nd workshop on determinism and correctness in parallel programming, WODET '11, pages 448--465. ACM, 2011."},{"key":"e_1_3_2_1_7_1","first-page":"1","volume-title":"Proceedings of the 9th USENIX 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 9th USENIX symposium on operating systems design and implementation, OSDI'10 , pages 1 -- 16 . USENIX, 2010 . T. Bergan, N. Hunt, L. Ceze, and S. D. Gribble. Deterministic process groups in dOs. In Proceedings of the 9th USENIX symposium on operating systems design and implementation, OSDI'10, pages 1--16. USENIX, 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.70"},{"key":"e_1_3_2_1_9_1","first-page":"11","volume-title":"Proceedings of the 8th USENIX symposium on networked systems design and implementation, NSDI'11","author":"Bolosky W. J.","year":"2011","unstructured":"W. J. Bolosky , D. Bradshaw , R. B. Haagens , N. P. Kusters , and P. Li . Paxos replicated state machines as the basis of a high-performance data store . In Proceedings of the 8th USENIX symposium on networked systems design and implementation, NSDI'11 , pages 11 -- 11 . USENIX, 2011 . W. J. Bolosky, D. Bradshaw, R. B. Haagens, N. P. Kusters, and P. Li. Paxos replicated state machines as the basis of a high-performance data store. In Proceedings of the 8th USENIX symposium on networked systems design and implementation, NSDI'11, pages 11--11. USENIX, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_1_13_1","first-page":"161","volume-title":"Proceedings of the 5th USENIX symposium on networked systems design and implementation, NSDI'08","author":"Cully B.","year":"2008","unstructured":"B. Cully , G. Lefebvre , D. Meyer , M. Feeley , N. Hutchinson , and A. Warfield . Remus: high availability via asynchronous virtual machine replication . In Proceedings of the 5th USENIX symposium on networked systems design and implementation, NSDI'08 , pages 161 -- 174 . USENIX, 2008 . B. Cully, G. Lefebvre, D. Meyer, M. Feeley, N. Hutchinson, and A. Warfield. Remus: high availability via asynchronous virtual machine replication. In Proceedings of the 5th USENIX symposium on networked systems design and implementation, NSDI'08, pages 161--174. USENIX, 2008."},{"key":"e_1_3_2_1_14_1","volume-title":"LevelDB: A fast and lightweight key\/value database library by Google","author":"Dean J.","year":"2011","unstructured":"J. Dean and S. Ghemawat . LevelDB: A fast and lightweight key\/value database library by Google ., 2011 . http:\/\/code.google.com\/p\/leveldb. J. Dean and S. Ghemawat. LevelDB: A fast and lightweight key\/value database library by Google., 2011. http:\/\/code.google.com\/p\/leveldb."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950376"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_18_1","volume-title":"memcached - a distributed memory object caching system","author":"Fitzpatrick B.","year":"2011","unstructured":"B. Fitzpatrick . memcached - a distributed memory object caching system , 2011 . http:\/\/memcached.org\/. B. Fitzpatrick. memcached - a distributed memory object caching system, 2011. http:\/\/memcached.org\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"e_1_3_2_1_20_1","first-page":"193","volume-title":"Proceedings of the 8th USENIX symposium on operating systems design and implementation, OSDI'08","author":"Guo Z.","year":"2008","unstructured":"Z. Guo , X. Wang , J. Tang , X. Liu , Z. Xu , M. Wu , M. F. Kaashoek , and Z. Zhang . R2: an application-level kernel for record and replay . In Proceedings of the 8th USENIX symposium on operating systems design and implementation, OSDI'08 , pages 193 -- 208 . USENIX, 2008 . Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: an application-level kernel for record and replay. In Proceedings of the 8th USENIX symposium on operating systems design and implementation, OSDI'08, pages 193--208. USENIX, 2008."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2014698.2014870"},{"key":"e_1_3_2_1_22_1","first-page":"237","volume-title":"Proceedings of the 10th USENIX symposium on operating systems design and implementation, OSDI'12","author":"Kapritsos M.","year":"2012","unstructured":"M. Kapritsos , Y. Wang , V. Quema , A. Clement , L. Alvisi , and M. Dahlin . All about Eve: execute-verify replication for multi-core servers . In Proceedings of the 10th USENIX symposium on operating systems design and implementation, OSDI'12 , pages 237 -- 250 . USENIX, 2012 . M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, and M. Dahlin. All about Eve: execute-verify replication for multi-core servers. In Proceedings of the 10th USENIX symposium on operating systems design and implementation, OSDI'12, pages 237--250. USENIX, 2012."},{"key":"e_1_3_2_1_23_1","volume-title":"EPFL","author":"Ko\u0144czak J.","year":"2011","unstructured":"J. Ko\u0144czak , N. Santos , T. Zurkowski , P. T. Wojciechowski , and A. Schiper . JPaxos: state machine replication based on the Paxos protocol. Technical report , EPFL , 2011 . J. Ko\u0144czak, N. Santos, T. Zurkowski, P. T. Wojciechowski, and A. Schiper. JPaxos: state machine replication based on the Paxos protocol. Technical report, EPFL, 2011."},{"key":"e_1_3_2_1_24_1","first-page":"575","volume-title":"Proceedings of the 34th international conference on dependable systems and networks, DSN '04","author":"Kotla R.","unstructured":"R. Kotla and M. Dahlin . High throughput Byzantine fault tolerance . In Proceedings of the 34th international conference on dependable systems and networks, DSN '04 , pages 575 --. IEEE, 2004. R. Kotla and M. Dahlin. High throughput Byzantine fault tolerance. In Proceedings of the 34th international conference on dependable systems and networks, DSN '04, pages 575--. IEEE, 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_1_26_1","unstructured":"F. Labs. Kyoto Cabinet: a straightforward implementation of DBM. http:\/\/www.fallabs.com\/kyotocabinet\/.  F. Labs. Kyoto Cabinet: a straightforward implementation of DBM. http:\/\/www.fallabs.com\/kyotocabinet\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"issue":"4","key":"e_1_3_2_1_29_1","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"Lamport L.","year":"2001","unstructured":"L. Lamport . Paxos made simple . ACM SIGACT news , 32 ( 4 ): 18 -- 25 , 2001 . L. Lamport. Paxos made simple. ACM SIGACT news, 32(4):18--25, 2001.","journal-title":"ACM SIGACT news"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/645956.756681"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2013.30"},{"key":"e_1_3_2_1_39_1","first-page":"7","volume-title":"Proceedings of the 6th USENIX symposium on operating systems design and implementation, OSDI'04","author":"van Renesse R.","year":"2004","unstructured":"R. van Renesse and F. B. Schneider . Chain replication for supporting high throughput and availability . In Proceedings of the 6th USENIX symposium on operating systems design and implementation, OSDI'04 , pages 7 -- 7 . USENIX, 2004 . R. van Renesse and F. B. Schneider. Chain replication for supporting high throughput and availability. In Proceedings of the 6th USENIX symposium on operating systems design and implementation, OSDI'04, pages 7--7. USENIX, 2004."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043590"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_1_42_1","first-page":"1","volume-title":"Proceedings of the 9th USENIX conference on operating systems design and implementation, OSDI'10","author":"Xiong W.","year":"2010","unstructured":"W. Xiong , S. Park , J. Zhang , Y. Zhou , and Z. Ma . Adhoc synchronization considered harmful . In Proceedings of the 9th USENIX conference on operating systems design and implementation, OSDI'10 , pages 1 -- 8 . USENIX, 2010 . W. Xiong, S. Park, J. Zhang, Y. Zhou, and Z. Ma. Adhoc synchronization considered harmful. In Proceedings of the 9th USENIX conference on operating systems design and implementation, OSDI'10, pages 1--8. USENIX, 2010."}],"event":{"name":"EuroSys 2014: Ninth Eurosys Conference 2014","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Amsterdam The Netherlands","acronym":"EuroSys 2014"},"container-title":["Proceedings of the Ninth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2592798.2592800","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2592798.2592800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:58Z","timestamp":1750229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2592798.2592800"}},"subtitle":["replication at the speed of multi-core"],"short-title":[],"issued":{"date-parts":[[2014,4,14]]},"references-count":41,"alternative-id":["10.1145\/2592798.2592800","10.1145\/2592798"],"URL":"https:\/\/doi.org\/10.1145\/2592798.2592800","relation":{},"subject":[],"published":{"date-parts":[[2014,4,14]]},"assertion":[{"value":"2014-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}