{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T12:05:29Z","timestamp":1763726729238,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,3]],"date-time":"2013-11-03T00:00:00Z","timestamp":1383436800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Quanta"},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["SHF-964106, CNS-1301934"],"award-info":[{"award-number":["SHF-964106, CNS-1301934"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["SHF-964106, CNS-1301934"],"award-info":[{"award-number":["SHF-964106, CNS-1301934"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006112","name":"Microsoft Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006112","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,3]]},"DOI":"10.1145\/2517349.2522712","type":"proceedings-article","created":{"date-parts":[[2013,10,8]],"date-time":"2013-10-08T13:27:04Z","timestamp":1381238824000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":82,"title":["The scalable commutativity rule"],"prefix":"10.1145","author":[{"given":"Austin T.","family":"Clements","sequence":"first","affiliation":[{"name":"MIT CSAIL"}]},{"given":"M. Frans","family":"Kaashoek","sequence":"additional","affiliation":[{"name":"MIT CSAIL"}]},{"given":"Nickolai","family":"Zeldovich","sequence":"additional","affiliation":[{"name":"MIT CSAIL"}]},{"given":"Robert T.","family":"Morris","sequence":"additional","affiliation":[{"name":"MIT CSAIL"}]},{"given":"Eddie","family":"Kohler","sequence":"additional","affiliation":[{"name":"Harvard University"}]}],"member":"320","published-online":{"date-parts":[[2013,11,3]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1583991.1584015"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926442"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"volume-title":"QEMU","author":"Bellard F.","key":"e_1_3_2_2_4_1","unstructured":"F. Bellard QEMU . http:\/\/www.qemu.org\/. F. Bellard et al. QEMU. http:\/\/www.qemu.org\/."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314466.1314467"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_3_2_2_8_1","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Boyd-Wickizer S.","year":"2008","unstructured":"S. Boyd-Wickizer , H. Chen , R. Chen , Y. Mao , M. F. Kaashoek , R. Morris , A. Pesterev , L. Stein , M. Wu , Y. Dai , Y. Zhang , and Z. Zhang . Corey: An operating system for many cores . In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI) , San Diego, CA , December 2008 . S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, M. F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, and Z. Zhang. Corey: An operating system for many cores. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, December 2008."},{"key":"e_1_3_2_2_9_1","volume-title":"Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Boyd-Wickizer S.","year":"2010","unstructured":"S. Boyd-Wickizer , A. Clements , Y. Mao , A. Pesterev , M. F. Kaashoek , R. Morris , and N. Zeldovich . An analysis of Linux scalability to many cores . In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI) , Vancouver, Canada , October 2010 . S. Boyd-Wickizer, A. Clements, Y. Mao, A. Pesterev, M. F. Kaashoek, R. Morris, and N. Zeldovich. An analysis of Linux scalability to many cores. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, Canada, October 2010."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI) , San Diego, CA , December 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, December 2008."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400214.1400227"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150998"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465373"},{"key":"e_1_3_2_2_16_1","volume-title":"May","author":"Corbet J.","year":"2010","unstructured":"J. Corbet . The search for fast, scalable counters , May 2010 . http:\/\/lwn.net\/Articles\/170003\/. J. Corbet. The search for fast, scalable counters, May 2010. http:\/\/lwn.net\/Articles\/170003\/."},{"key":"e_1_3_2_2_17_1","volume-title":"April 23","author":"Corbet J.","year":"2012","unstructured":"J. Corbet . Dcache scalability and RCU-walk , April 23 , 2012 . http:\/\/lwn.net\/Articles\/419811\/. J. Corbet. Dcache scalability and RCU-walk, April 23, 2012. http:\/\/lwn.net\/Articles\/419811\/."},{"key":"e_1_3_2_2_18_1","unstructured":"R. Cox M. F. Kaashoek and R. T. Morris. Xv6 a simple Unix-like teaching operating system. http:\/\/pdos.csail.mit.edu\/6.828\/2012\/xv6.html.  R. Cox M. F. Kaashoek and R. T. Morris. Xv6 a simple Unix-like teaching operating system. http:\/\/pdos.csail.mit.edu\/6.828\/2012\/xv6.html."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_2_20_1","volume-title":"DWARF debugging information format, version","author":"DWARF Debugging Information Format Committee","year":"2010","unstructured":"DWARF Debugging Information Format Committee . DWARF debugging information format, version 4, June 2010 . DWARF Debugging Information Format Committee. DWARF debugging information format, version 4, June 2010."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281106"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345237"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_2_25_1","unstructured":"D. Howells. Extended file stat functions Linux patch. https:\/\/lkml.org\/lkml\/2010\/7\/14\/539.  D. Howells. Extended file stat functions Linux patch. https:\/\/lkml.org\/lkml\/2010\/7\/14\/539."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/197917.198079"},{"key":"e_1_3_2_2_27_1","volume-title":"Proceedings of the 14th International Workshop on the Implementation of Functional Languages","author":"Koopman P.","year":"2002","unstructured":"P. Koopman , A. Alimarine , J. Tretmans , and R. Plasmeijer . Gast: Generic automated software testing . In Proceedings of the 14th International Workshop on the Implementation of Functional Languages , Madrid, Spain , September 2002 . P. Koopman, A. Alimarine, J. Tretmans, and R. Plasmeijer. Gast: Generic automated software testing. In Proceedings of the 14th International Workshop on the Implementation of Functional Languages, Madrid, Spain, September 2002."},{"key":"e_1_3_2_2_28_1","volume-title":"Gelato Conference","author":"Lameter C.","year":"2005","unstructured":"C. Lameter . Effective synchronization on Linux\/NUMA systems . In Gelato Conference , May 2005 . http:\/\/www.lameter.com\/gelato2005.pdf. C. Lameter. Effective synchronization on Linux\/NUMA systems. In Gelato Conference, May 2005. http:\/\/www.lameter.com\/gelato2005.pdf."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199903)29:3%3C219::AID-SPE230%3E3.0.CO;2-0"},{"key":"e_1_3_2_2_30_1","volume-title":"January","author":"McKenney P. E.","year":"2011","unstructured":"P. E. McKenney . Concurrent code and expensive instructions. https:\/\/lwn.net\/Articles\/423994\/ , January 2011 . P. E. McKenney. Concurrent code and expensive instructions. https:\/\/lwn.net\/Articles\/423994\/, January 2011."},{"key":"e_1_3_2_2_31_1","volume-title":"Proceedings of the Linux Symposium","author":"McKenney P. E.","year":"2002","unstructured":"P. E. McKenney , D. Sarma , A. Arcangeli , A. Kleen , O. Krieger , and R. Russell . Read-copy update . In Proceedings of the Linux Symposium , Ottawa, Canada , June 2002 . P. E. McKenney, D. Sarma, A. Arcangeli, A. Kleen, O. Krieger, and R. Russell. Read-copy update. In Proceedings of the Linux Symposium, Ottawa, Canada, June 2002."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/103727.103729"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/800015.808204"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993500"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269969"},{"key":"e_1_3_2_2_36_1","volume-title":"Proceedings of the 1st USENIX Workshop on Hot Topics in Parallelism","author":"Roy A.","year":"2009","unstructured":"A. Roy , S. Hand , and T. Harris . Exploring the limits of disjoint access parallelism . In Proceedings of the 1st USENIX Workshop on Hot Topics in Parallelism , Berkeley, CA , March 2009 . A. Roy, S. Hand, and T. Harris. Exploring the limits of disjoint access parallelism. In Proceedings of the 1st USENIX Workshop on Hot Topics in Parallelism, Berkeley, CA, March 2009."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_3_2_2_39_1","first-page":"67","article-title":"Convergent and commutative replicated data types","volume":"104","author":"Shapiro M.","year":"2011","unstructured":"M. Shapiro , N. Preguica , C. Baquero , and M. Zawirski . Convergent and commutative replicated data types . Bulletin of the EATCS , 104 : 67 -- 88 , June 2011 . M. Shapiro, N. Preguica, C. Baquero, and M. Zawirski. Convergent and commutative replicated data types. Bulletin of the EATCS, 104:67--88, June 2011.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96731"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076022.1993491"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.9728"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1531793.1531805"}],"event":{"name":"SOSP '13: ACM SIGOPS 24th Symposium on Operating Systems Principles","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Farminton Pennsylvania","acronym":"SOSP '13"},"container-title":["Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517349.2522712","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2517349.2522712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:53Z","timestamp":1750231733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517349.2522712"}},"subtitle":["designing scalable software for multicore processors"],"short-title":[],"issued":{"date-parts":[[2013,11,3]]},"references-count":42,"alternative-id":["10.1145\/2517349.2522712","10.1145\/2517349"],"URL":"https:\/\/doi.org\/10.1145\/2517349.2522712","relation":{},"subject":[],"published":{"date-parts":[[2013,11,3]]},"assertion":[{"value":"2013-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}