{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:21Z","timestamp":1763468061026,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,23]],"date-time":"2011-10-23T00:00:00Z","timestamp":1319328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1012195CCF-0910883"],"award-info":[{"award-number":["CCF-1012195CCF-0910883"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,23]]},"DOI":"10.1145\/2043556.2043587","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T12:23:06Z","timestamp":1319545386000},"page":"327-336","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":164,"title":["Dthreads"],"prefix":"10.1145","author":[{"given":"Tongping","family":"Liu","sequence":"first","affiliation":[{"name":"University of Massachusetts, Amherst, Amherst, MA"}]},{"given":"Charlie","family":"Curtsinger","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, Amherst, MA"}]},{"given":"Emery D.","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, Amherst, MA"}]}],"member":"320","published-online":{"date-parts":[[2011,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"193","volume-title":"OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation","author":"Aviram A.","year":"2010","unstructured":"A. Aviram , S.-C. Weng . S. Hu , and B. Ford . Efficient system-enforced deterministic parallelism . In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation , pages 193 -- 206 , Berkeley, CA, USA , 2010 . USENIX Association. A. Aviram, S.-C. Weng. S. Hu, and B. Ford. Efficient system-enforced deterministic parallelism. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 193--206, Berkeley, CA, USA, 2010. USENIX Association."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5071033"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_1_4_1","first-page":"177","volume-title":"OSDI' 10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation","author":"Bergan T.","year":"2010","unstructured":"T. Bergan , N. Hunt , L. Ceze , and S. D. Gribble . Deterministic process groups in dOS . In OSDI' 10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation , pages 177 -- 192 , Berkeley, CA, USA , 2010 . USENIX Association. T. Bergan, N. Hunt, L. Ceze, and S. D. Gribble. Deterministic process groups in dOS. In OSDI' 10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 177--192, Berkeley, CA, USA, 2010. USENIX Association."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379232"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640096"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134000"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378821"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation","author":"Bien\u00eca C.","year":"2009","unstructured":"C. Bien\u00eca and K. Li . Parsec 2.0: A new benchmark suite for chip-multiprocessors . In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation , June 2009 . C. Bien\u00eca and K. Li. Parsec 2.0: A new benchmark suite for chip-multiprocessors. In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation, June 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/121132.121159"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"key":"e_1_3_2_1_15_1","first-page":"207","volume-title":"OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation","author":"Cui H.","year":"2010","unstructured":"H. Cui , J. Wu , C. Tsa , and J. Yang . Stable deterministic multithreaded through schedule memoization . In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation , pages 207 -- 222 , Berkeley, CA, USA , 2010 . USENIX Association. H. Cui, J. Wu, C. Tsa, and J. Yang. Stable deterministic multithreaded through schedule memoization. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 207--222, Berkeley, CA, USA, 2010. USENIX Association."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.72.0074"},{"key":"e_1_3_2_1_17_1","first-page":"10","volume-title":"Proceedings of the USENIX","author":"Keleher P.","year":"1994","unstructured":"P. Keleher , A. L. Cox , S. Dwarkadas , and W. Zwaenepoel . Treadmarks: distributed shared memory on standard workstations and operating systems . In Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, pages 10 -- 10 , Berkeley, CA. USA, 1994. USENIX Association. P. Keleher, A. L. Cox, S. Dwarkadas, and W. Zwaenepoel. Treadmarks: distributed shared memory on standard workstations and operating systems. In Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, pages 10--10, Berkeley, CA. USA, 1994. USENIX Association."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/76894.76897"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS 2007)","author":"Pool J.","year":"2007","unstructured":"J. Pool , I. Sin , and D. Lie . Relaxed determinism: Making redundant execution on multiprocessors practical . In Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS 2007) , May 2007 . J. Pool, I. Sin, and D. Lie. Relaxed determinism: Making redundant execution on multiprocessors practical. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS 2007), May 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346181"},{"key":"e_1_3_2_1_25_1","first-page":"163","volume-title":"OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation","author":"Xiong W.","year":"2010","unstructured":"W. Xiong , S. Park , J. Zhang , Y. Zhou , and Z. Ma . Ad hoc synchronization considered harmful . In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation , pages 163 -- 176 , Berkeley, CA, USA , 2010 . USENIX Association. W. Xiong, S. Park, J. Zhang, Y. Zhou, and Z. Ma. Ad hoc synchronization considered harmful. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 163--176, Berkeley, CA, USA, 2010. USENIX Association."}],"event":{"name":"SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles","sponsor":["INESC Systems and Computer Engineering Institute","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Cascais Portugal","acronym":"SOSP '11"},"container-title":["Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043556.2043587","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043556.2043587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:18Z","timestamp":1750240458000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043556.2043587"}},"subtitle":["efficient deterministic multithreading"],"short-title":[],"issued":{"date-parts":[[2011,10,23]]},"references-count":25,"alternative-id":["10.1145\/2043556.2043587","10.1145\/2043556"],"URL":"https:\/\/doi.org\/10.1145\/2043556.2043587","relation":{},"subject":[],"published":{"date-parts":[[2011,10,23]]},"assertion":[{"value":"2011-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}