{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:20Z","timestamp":1750306340845,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T00:00:00Z","timestamp":1457740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["EU Project: 644235 - RePhrase"],"award-info":[{"award-number":["EU Project: 644235 - RePhrase"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,3,12]]},"DOI":"10.1145\/2883404.2883406","type":"proceedings-article","created":{"date-parts":[[2016,3,8]],"date-time":"2016-03-08T14:13:39Z","timestamp":1457446419000},"page":"20-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Embedding Semantics of the Single-Producer\/Single-Consumer Lock-Free Queue into a Race Detection Tool"],"prefix":"10.1145","author":[{"given":"Manuel F.","family":"Dolz","sequence":"first","affiliation":[{"name":"Department of Computer Science, University Carlos III of Madrid, 28911--Legan\u00e9s, Spain"}]},{"given":"David","family":"del Rio Astorga","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University Carlos III of Madrid, 28911--Legan\u00e9s, Spain"}]},{"given":"Javier","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University Carlos III of Madrid, 28911--Legan\u00e9s, Spain"}]},{"given":"J. Daniel","family":"Garc\u00eda","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University Carlos III of Madrid, 28911--Legan\u00e9s, Spain"}]},{"given":"F\u00e9lix","family":"Garc\u00eda-Carballeira","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University Carlos III of Madrid, 28911--Legan\u00e9s, Spain"}]},{"given":"Marco","family":"Danelutto","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Pisa, 56127--Pisa, Italy"}]},{"given":"Massimo","family":"Torquati","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Pisa, 56127--Pisa, Italy"}]}],"member":"320","published-online":{"date-parts":[[2016,3,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32820-6_65"},{"key":"e_1_3_2_1_2_1","volume-title":"S. Pllana, page 13","author":"Aldinucci M.","year":"2012","unstructured":"M. Aldinucci , M. Danelutto , P. Kilpatrick , and M. Torquati . Fastflow: high-level and efficient streaming on multi-core. In in Programming Multi-core and Many-core Computing Systems, ser. Parallel and Distributed Computing , S. Pllana, page 13 , 2012 . M. Aldinucci, M. Danelutto, P. Kilpatrick, and M. Torquati. Fastflow: high-level and efficient streaming on multi-core. In in Programming Multi-core and Many-core Computing Systems, ser. Parallel and Distributed Computing, S. Pllana, page 13, 2012."},{"key":"e_1_3_2_1_3_1","volume-title":"Revision Guide for AMD Athlon 64 and AMD Opteron Processors. Number 25759","author":"AMD Corporation","year":"2009","unstructured":"AMD Corporation . Revision Guide for AMD Athlon 64 and AMD Opteron Processors. Number 25759 . July 2009 . AMD Corporation. Revision Guide for AMD Athlon 64 and AMD Opteron Processors. Number 25759. July 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"e_1_3_2_1_5_1","volume-title":"Summary Report of the Advanced Scientific Computing Advisory Committee (ASCAC) Subcommittee","author":"Ashby S.","year":"2010","unstructured":"S. Ashby and et al. The opportunities and challenges of Exascale computing . Summary Report of the Advanced Scientific Computing Advisory Committee (ASCAC) Subcommittee , November 2010 . S. Ashby and et al. The opportunities and challenges of Exascale computing. Summary Report of the Advanced Scientific Computing Advisory Committee (ASCAC) Subcommittee, November 2010."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/209937.209958"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/VDAT.2010.5496640"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/583854.582440"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.54"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626411000151"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945468"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345215"},{"key":"e_1_3_2_1_13_1","volume-title":"An introduction to the theory of numbers","author":"Hardy G. H.","year":"1979","unstructured":"G. H. Hardy and E. M. Wright . An introduction to the theory of numbers . Oxford Science Publications. Clarendon Press , Oxford, 1979 . G. H. Hardy and E. M. Wright. An introduction to the theory of numbers. Oxford Science Publications. Clarendon Press, Oxford, 1979."},{"key":"e_1_3_2_1_14_1","volume-title":"Intel \u00ae 64 and IA-32 Architectures Software Developer's Manual. Number 253669-033US","author":"Intel Corporation","year":"2009","unstructured":"Intel Corporation . Intel \u00ae 64 and IA-32 Architectures Software Developer's Manual. Number 253669-033US . December 2009 . Intel Corporation. Intel \u00ae 64 and IA-32 Architectures Software Developer's Manual. Number 253669-033US. December 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/359863.359878"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_18_1","first-page":"75","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO '04","author":"Lattner C.","unstructured":"C. Lattner and V. Adve . LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation . In Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO '04 , pages 75 --, Washington, DC, USA, 2004. IEEE Computer Society. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO '04, pages 75--, Washington, DC, USA, 2004. IEEE Computer Society."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542491"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248106"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/966049.781528"},{"key":"e_1_3_2_1_22_1","unstructured":"OpenMP API for parallel programming version 4.0. http:\/\/openmp.org\/.  OpenMP API for parallel programming version 4.0. http:\/\/openmp.org\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.280802"},{"key":"e_1_3_2_1_24_1","unstructured":"S. Project. The libunwind project. http:\/\/www.nongnu.org\/libunwind\/.  S. Project. The libunwind project. http:\/\/www.nongnu.org\/libunwind\/."},{"key":"e_1_3_2_1_25_1","volume-title":"Intel Threading Building Blocks. O'Reilly & Associates","author":"Reinders J.","year":"2007","unstructured":"J. Reinders . Intel Threading Building Blocks. O'Reilly & Associates , Inc., Sebastopol, CA, USA , first edition, 2007 . J. Reinders. Intel Threading Building Blocks. O'Reilly & Associates, Inc., Sebastopol, CA, USA, first edition, 2007."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"B. Schling. The Boost C++ Libraries. XML Press 2011.   B. Schling. The Boost C++ Libraries. XML Press 2011.","DOI":"10.1002\/wilm.10057"},{"key":"e_1_3_2_1_28_1","volume-title":"Evaluating the Cost of Atomic Operations on Modern Architectures. In 24th International Conference on Parallel Architectures and Compilation (PACT'15)","author":"Schweizer H.","year":"2015","unstructured":"H. Schweizer , M. Besta , and T. Hoefler . Evaluating the Cost of Atomic Operations on Modern Architectures. In 24th International Conference on Parallel Architectures and Compilation (PACT'15) . ACM, Oct. 2015 . H. Schweizer, M. Besta, and T. Hoefler. Evaluating the Cost of Atomic Operations on Modern Architectures. In 24th International Conference on Parallel Architectures and Compilation (PACT'15). ACM, Oct. 2015."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147954.1147958"},{"key":"e_1_3_2_1_31_1","unstructured":"J. Somers. The N Queens Problem a study in optimization. http:\/\/www.jsomers.com\/.  J. Somers. The N Queens Problem a study in optimization. http:\/\/www.jsomers.com\/."},{"key":"e_1_3_2_1_32_1","unstructured":"Valgrind-Project. DRD: A Thread Error Detector. http:\/\/valgrind.org\/docs\/manual\/drd-manual.html 2009.  Valgrind-Project. DRD: A Thread Error Detector. http:\/\/valgrind.org\/docs\/manual\/drd-manual.html 2009."},{"key":"e_1_3_2_1_33_1","unstructured":"Valgrind-Project. Helgrind: A Data-Race Detector. http:\/\/valgrind.org\/docs\/manual\/hg-manual.html 2009.  Valgrind-Project. Helgrind: A Data-Race Detector. http:\/\/valgrind.org\/docs\/manual\/hg-manual.html 2009."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"}],"event":{"name":"PPoPP '16: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Barcelona Spain","acronym":"PPoPP '16"},"container-title":["Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883404.2883406","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2883404.2883406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:43Z","timestamp":1750222543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883404.2883406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,12]]},"references-count":34,"alternative-id":["10.1145\/2883404.2883406","10.1145\/2883404"],"URL":"https:\/\/doi.org\/10.1145\/2883404.2883406","relation":{},"subject":[],"published":{"date-parts":[[2016,3,12]]},"assertion":[{"value":"2016-03-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}