{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:27Z","timestamp":1750307067621,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,21]],"date-time":"2012-10-21T00:00:00Z","timestamp":1350777600000},"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":[[2012,10,21]]},"DOI":"10.1145\/2414729.2414734","type":"proceedings-article","created":{"date-parts":[[2012,12,19]],"date-time":"2012-12-19T14:12:22Z","timestamp":1355926342000},"page":"25-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Beyond expert-only parallel programming?"],"prefix":"10.1145","author":[{"given":"Paul E.","family":"McKenney","sequence":"first","affiliation":[{"name":"IBM, Beaverton, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926442"},{"key":"e_1_3_2_1_2_1","volume-title":"A tool for exploring the POWER and ARM memory models.June","author":"Alglave Jade","year":"2011","unstructured":"{AMP11} Jade Alglave , Luc Maranget , Pankaj Pawan , Susmit Sarkar , Peter Sewell , Derek Williams , and Francesco Zappa Nardelli . PPCMEM\/ARMMEM : A tool for exploring the POWER and ARM memory models.June 2011 . {AMP11}Jade Alglave, Luc Maranget, Pankaj Pawan, Susmit Sarkar, Peter Sewell, Derek Williams, and Francesco Zappa Nardelli. PPCMEM\/ARMMEM: A tool for exploring the POWER and ARM memory models.June 2011."},{"key":"e_1_3_2_1_3_1","volume-title":"West Sussex","author":"Buschmann Frank","year":"2007","unstructured":"{BHS07} Frank Buschmann , Kevlin Henney , and Douglas C. Schmidt . Pattern-Oriented Software Architecture Volume 4: A Pattern Language for Distributed Computing. Wiley, Chichester , West Sussex , England , 2007 . {BHS07}Frank Buschmann, Kevlin Henney, and Douglas C. Schmidt. Pattern-Oriented Software Architecture Volume 4: A Pattern Language for Distributed Computing. Wiley, Chichester, West Sussex, England, 2007."},{"key":"e_1_3_2_1_4_1","first-page":"255","volume-title":"USENIX Conference Proceedings","author":"Beck Bob","year":"1985","unstructured":"{BK85} Bob Beck and Bob Kaste VLSI assist in building a multiprocessor {UNIX} system .In USENIX Conference Proceedings , pages 255 -- 275 , Portland, OR , June 1985 . USENIX Association. {BK85}Bob Beck and Bob Kaste VLSI assist in building a multiprocessor {UNIX} system.In USENIX Conference Proceedings, pages 255--275, Portland, OR, June 1985. USENIX Association."},{"key":"e_1_3_2_1_5_1","volume-title":"August","author":"Brown Neil","year":"2011","unstructured":"{Bro11} Neil Brown . Meet the Lockers . Available: http:\/\/lwn.net\/Articles\/453685\/{Viewed September 2,2011} , August 2011 . {Bro11}Neil Brown.Meet the Lockers. Available: http:\/\/lwn.net\/Articles\/453685\/{Viewed September 2,2011}, August 2011."},{"key":"e_1_3_2_1_6_1","volume-title":"Programming with POSIX Threads","author":"Butenhof David","year":"1997","unstructured":"{But97} David Butenhof . Programming with POSIX Threads . Addison-Wesley , Boston, MA, USA , 1997 . {But97}David Butenhof. Programming with POSIX Threads.Addison-Wesley, Boston, MA, USA, 1997."},{"key":"e_1_3_2_1_7_1","first-page":"1","volume-title":"9th USENIX Symposium on Operating System Design and Implementation}","author":"Boyd-Wickizer Silas","year":"2010","unstructured":"{BWCM} Silas Boyd-Wickizer , Austin T. Clements , Yandong Mao , Aleksey Pesterev , M. Frans Kaashoek , Robert Morris , and Nickolai Zeldovich . An analysis of {Linux} scalability to many cores . In 9th USENIX Symposium on Operating System Design and Implementation} , pages 1 -- 16 , Vancouver, BC, Canada , October 2010 . USENIX. {BWCM}Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev,M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich. An analysis of {Linux} scalability to many cores. In 9th USENIX Symposium on Operating System Design and Implementation}, pages 1--16, Vancouver, BC, Canada, October 2010. USENIX."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150998"},{"key":"e_1_3_2_1_9_1","volume-title":"No more jiffies? Available: http:\/\/lwn.net\/2001\/0412\/bigpage.php3#kernel{Viewed","author":"Corbet Jonathan","year":"2012","unstructured":"{Cor01} Jonathan Corbet . No more jiffies? Available: http:\/\/lwn.net\/2001\/0412\/bigpage.php3#kernel{Viewed August 10, 2012 }, April 2001. {Cor01}Jonathan Corbet. No more jiffies? Available: http:\/\/lwn.net\/2001\/0412\/bigpage.php3#kernel{Viewed August 10, 2012}, April 2001."},{"key":"e_1_3_2_1_10_1","article-title":"kernel problems automatically","author":"Corbet Jonathan","year":"2004","unstructured":"{Cor04} Jonathan Corbet .Finding kernel problems automatically . Linux Weekly News , June 2004 . {Cor04}Jonathan Corbet.Finding kernel problems automatically. Linux Weekly News, June 2004.","journal-title":"Linux Weekly News"},{"key":"e_1_3_2_1_11_1","volume-title":"The kernel lock validator. Available: http:\/\/lwn.net\/Articles\/185666\/ {Viewed","author":"Corbet Jonathan","year":"2010","unstructured":"{Cor06} Jonathan Corbet . The kernel lock validator. Available: http:\/\/lwn.net\/Articles\/185666\/ {Viewed : March 26, 2010 }, May 2006. {Cor06}Jonathan Corbet. The kernel lock validator. Available: http:\/\/lwn.net\/Articles\/185666\/ {Viewed: March 26, 2010}, May 2006."},{"key":"e_1_3_2_1_12_1","volume-title":"Linux Device Drivers","author":"Corbet Jonathan","year":"2005","unstructured":"{CRKH05} Jonathan Corbet , Alessandro Rubini , and Greg Kroah-Hartman . Linux Device Drivers . O'Reilly Media, Inc. , third edition, 2005 . {CRKH05}Jonathan Corbet, Alessandro Rubini, and Greg Kroah-Hartman. Linux Device Drivers. O'Reilly Media, Inc., third edition, 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.159"},{"key":"e_1_3_2_1_14_1","volume-title":"Java: Concurrency in Practice","author":"Goetz Brian","year":"2007","unstructured":"{GPB'07} Brian Goetz , Tim Peierls , Joshua Bloch , Joseph Bowbeer , David Holmes , and Doug Lea . Java: Concurrency in Practice . Addison Wesley , Upper Saddle River, NJ, USA, 2007 . {GPB'07} Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug Lea. Java: Concurrency in Practice. Addison Wesley, Upper Saddle River, NJ, USA, 2007."},{"key":"e_1_3_2_1_15_1","unstructured":"{GRY12}Alexey Gotsman Noam Rinetzky and Hongseok Yang. Verifying highly concurrent algorithms with grace (extended version). Available: \\url{http:\/\/sites.google.com\/site\/popl13grace\/paper.pdf}.  {GRY12}Alexey Gotsman Noam Rinetzky and Hongseok Yang. Verifying highly concurrent algorithms with grace (extended version). Available: \\url{http:\/\/sites.google.com\/site\/popl13grace\/paper.pdf}."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1898953.1898956"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2007.04.010"},{"key":"e_1_3_2_1_18_1","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"Holzmann Gerard J.","year":"2003","unstructured":"{Hol03} Gerard J. Holzmann . The Spin Model Checker: Primer and Reference Manual . Addison-Wesley , 2003 . {Hol03}Gerard J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_19_1","volume-title":"Morgan Kaufmann","author":"Herlihy Maurice","year":"2008","unstructured":"{HS08} Maurice Herlihy and Nir Shavit . The Art of Multiprocessor Programming . Morgan Kaufmann , Burlington, MA, USA , 2008 . {HS08}Maurice Herlihy and Nir Shavit. The Art of Multiprocessor Programming. Morgan Kaufmann, Burlington, MA, USA, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050019"},{"key":"e_1_3_2_1_21_1","first-page":"277","volume-title":"USENIX Conference Proceedings","author":"Inman Jack","year":"1985","unstructured":"{Inm85} Jack Inman . Implementing loosely coupled functions on tightly coupled engines . In USENIX Conference Proceedings , pages 277 -- 298 , Portland, OR , June 1985 . USENIX Association. {Inm85} Jack Inman. Implementing loosely coupled functions on tightly coupled engines. In USENIX Conference Proceedings, pages 277--298, Portland, OR, June 1985. USENIX Association."},{"volume-title":"Proceedings of the 13th Ottawa Linux Symposium","author":"Jones Dave","key":"e_1_3_2_1_22_1","unstructured":"{Jon11} Dave Jones . Trinity : A system call fuzzer . In Proceedings of the 13th Ottawa Linux Symposium , pages ???--???, Ottawa, Canada, June 2011. {Jon11}Dave Jones. Trinity: A system call fuzzer. In Proceedings of the 13th Ottawa Linux Symposium, pages ???--???, Ottawa, Canada, June 2011."},{"key":"e_1_3_2_1_23_1","volume-title":"Concurrent Programming in Java: Design Principles and Patterns","author":"Lea Doug","year":"1997","unstructured":"{Lea97} Doug Lea . Concurrent Programming in Java: Design Principles and Patterns . Addison Wesley Longman , Reading, MA, USA , 1997 . {Lea97}Doug Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison Wesley Longman, Reading, MA, USA, 1997."},{"key":"e_1_3_2_1_25_1","volume-title":"RCU Linux usage. Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/linuxusage.html {Viewed","author":"McKenney Paul E.","year":"2007","unstructured":"{McK06} Paul E. McKenney . RCU Linux usage. Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/linuxusage.html {Viewed January 14, 2007 }, October 2006. {McK06}Paul E. McKenney. RCU Linux usage. Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/linuxusage.html {Viewed January 14, 2007}, October 2006."},{"key":"e_1_3_2_1_26_1","article-title":"SMP and embedded real time","author":"McKenney Paul E.","year":"2007","unstructured":"{McK07} Paul E. McKenney . SMP and embedded real time . Linux Journal, (153):52--57 , January 2007 . Available: http:\/\/www.linuxjournal.com\/article\/9361 {Viewed May 31, 2007}. {McK07}Paul E. McKenney. SMP and embedded real time. Linux Journal, (153):52--57, January 2007. Available: http:\/\/www.linuxjournal.com\/article\/9361 {Viewed May 31, 2007}.","journal-title":"Linux Journal, (153):52--57"},{"key":"e_1_3_2_1_27_1","volume-title":"Available: https:\/\/lwn.net\/Articles\/371986\/ {Viewed","author":"McKenney Paul E.","year":"2010","unstructured":"{McK10a} Paul E. McKenney . Lockdep-{RCU}. Available: https:\/\/lwn.net\/Articles\/371986\/ {Viewed June 4, 2010 }, February 2010. {McK10a}Paul E. McKenney. Lockdep-{RCU}. Available: https:\/\/lwn.net\/Articles\/371986\/ {Viewed June 4, 2010}, February 2010."},{"key":"e_1_3_2_1_28_1","volume-title":"The {RCU} {API}","author":"McKenney Paul E.","year":"2010","unstructured":"{McK10b} Paul E. McKenney . The {RCU} {API} , 2010 edition. Available: http:\/\/lwn.net\/Articles\/418853\/ {Viewed December 8, 2010}, December 2010. {McK10b}Paul E. McKenney. The {RCU} {API}, 2010 edition. Available: http:\/\/lwn.net\/Articles\/418853\/ {Viewed December 8, 2010}, December 2010."},{"key":"e_1_3_2_1_29_1","volume-title":"Concurrent code and expensive instructions. Available: \\url{http:\/\/lwn.net\/Articles\/423994 {Viewed","author":"McKenney Paul E.","year":"2011","unstructured":"{McK11a} Paul E. McKenney . Concurrent code and expensive instructions. Available: \\url{http:\/\/lwn.net\/Articles\/423994 {Viewed January 28, 2011 }, January 2011. {McK11a}Paul E. McKenney. Concurrent code and expensive instructions. Available: \\url{http:\/\/lwn.net\/Articles\/423994 {Viewed January 28, 2011}, January 2011."},{"key":"e_1_3_2_1_30_1","volume-title":"January","author":"McKenney Paul E.","year":"2011","unstructured":"{McK11b} Paul E. McKenney . Verifying parallel software: Can theory meet practice? http:\/\/www.rdrop.com\/users\/paulmck\/scalability\/paper\/VericoTheoryPracti%ce.2011.01.28a.pdf , January 2011 . {McK11b}Paul E. McKenney. Verifying parallel software: Can theory meet practice? http:\/\/www.rdrop.com\/users\/paulmck\/scalability\/paper\/VericoTheoryPracti%ce.2011.01.28a.pdf, January 2011."},{"key":"e_1_3_2_1_31_1","volume-title":"USA, 2012","author":"McKenney Paul E.","year":"2010","unstructured":"{McK12a} Paul E. McKenney . Is Parallel Programming Hard, And, If So, What Can You Do About It? kernel.org, Corvallis, OR , USA, 2012 . Available : http:\/\/kernel.org\/pub\/linux\/kernel\/people\/paulmck\/perfbook\/perfbook.htm%l {Viewed March 28, 2010 }. {McK12a}Paul E. McKenney. Is Parallel Programming Hard, And, If So, What Can You Do About It? kernel.org, Corvallis, OR, USA, 2012. Available: http:\/\/kernel.org\/pub\/linux\/kernel\/people\/paulmck\/perfbook\/perfbook.htm%l {Viewed March 28, 2010}."},{"key":"e_1_3_2_1_32_1","volume-title":"Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/RCUdynticks.2012.02.15b.pdf","author":"McKenney Paul E.","year":"2012","unstructured":"{McK12b} Paul E. McKenney . Making {RCU} safe for battery-powered devices. Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/RCUdynticks.2012.02.15b.pdf February 2012 . {McK12b}Paul E. McKenney. Making {RCU} safe for battery-powered devices. Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/RCUdynticks.2012.02.15b.pdf February 2012."},{"key":"e_1_3_2_1_33_1","volume-title":"Real-time response on multicore systems: It is bigger than you think. Available:http:\/\/www.seas.gwu.edu\/ gparmer\/ospert12\/bigrt.2012.07.10a.pdf {Viewed","author":"McKenney Paul E.","year":"2012","unstructured":"{McK12c} Paul E. McKenney . Real-time response on multicore systems: It is bigger than you think. Available:http:\/\/www.seas.gwu.edu\/ gparmer\/ospert12\/bigrt.2012.07.10a.pdf {Viewed August 10, 2012 }, July 2012. {McK12c}Paul E. McKenney. Real-time response on multicore systems: It is bigger than you think. Available:http:\/\/www.seas.gwu.edu\/ gparmer\/ospert12\/bigrt.2012.07.10a.pdf {Viewed August 10, 2012}, July 2012."},{"key":"e_1_3_2_1_34_1","first-page":"194","volume-title":"IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems","author":"Paul","year":"1992","unstructured":"{MG92} Paul E. McKenney and Gary Graunke. Efficient buffer allocation on shared-memory multiprocessors . In IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems , pages 194 -- 199 , Tucson, AZ , February 1992 . The Institute of Electrical and Electronics Engineers, Inc. {MG92}Paul E. McKenney and Gary Graunke. Efficient buffer allocation on shared-memory multiprocessors. In IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems, pages 194--199, Tucson, AZ, February 1992. The Institute of Electrical and Electronics Engineers, Inc."},{"key":"e_1_3_2_1_35_1","first-page":"295","volume-title":"USENIX Conference Proceedings","author":"Paul","year":"1993","unstructured":"{MS93} Paul E. McKenney and Jack Slingwine. Efficient kernel memory allocation on shared-memory multiprocessors . In USENIX Conference Proceedings , pages 295 -- 306 , Berkeley CA , February 1993 . USENIX Association. Available: http:\/\/www.rdrop.com\/users\/paulmck\/scalability\/paper\/mpalloc.pdf. {MS93}Paul E. McKenney and Jack Slingwine. Efficient kernel memory allocation on shared-memory multiprocessors. In USENIX Conference Proceedings, pages 295--306, Berkeley CA, February 1993. USENIX Association. Available: http:\/\/www.rdrop.com\/users\/paulmck\/scalability\/paper\/mpalloc.pdf."},{"key":"e_1_3_2_1_36_1","first-page":"509","volume-title":"Parallel and Distributed Computing and Systems","author":"Paul","year":"1998","unstructured":"{MS98} Paul E. McKenney and John D. Slingwine. Read-copy update: Using execution history to solve concurrency problems . In Parallel and Distributed Computing and Systems , pages 509 -- 518 , Las Vegas, NV , October 1998 . Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/rclockpdcsproof.pdf {Viewed December 3, 2007}. {MS98}Paul E. McKenney and John D. Slingwine. Read-copy update: Using execution history to solve concurrency problems. In Parallel and Distributed Computing and Systems, pages 509--518, Las Vegas, NV, October 1998. Available: http:\/\/www.rdrop.com\/users\/paulmck\/RCU\/rclockpdcsproof.pdf {Viewed December 3, 2007}."},{"key":"e_1_3_2_1_37_1","volume-title":"Patterns for Parallel Programming","author":"Mattson Timothy G.","year":"2005","unstructured":"{MSM05} Timothy G. Mattson , Beverly A. Sanders , and Berna L. Massingill . Patterns for Parallel Programming . Addison Wesley , Boston, MA, USA , 2005 . {MSM05}Timothy G. Mattson, Beverly A. Sanders, and Berna L. Massingill. Patterns for Parallel Programming. Addison Wesley, Boston, MA, USA, 2005."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217942"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"e_1_3_2_1_40_1","volume-title":"USA","author":"Reinders James","year":"2007","unstructured":"{Rei07} James Reinders . Intel Threading Building Blocks. O'Reilly, Sebastopol, CA , USA , 2007 . {Rei07}James Reinders. Intel Threading Building Blocks. O'Reilly, Sebastopol, CA, USA, 2007."},{"key":"e_1_3_2_1_41_1","unstructured":"{Ros11}Steven Rostedt. lockdep: How to read its cryptic output. http:\/\/www.linuxplumbersconf.org\/2011\/ocw\/sessions\/153 September 2011.  {Ros11}Steven Rostedt. lockdep: How to read its cryptic output. http:\/\/www.linuxplumbersconf.org\/2011\/ocw\/sessions\/153 September 2011."},{"key":"e_1_3_2_1_42_1","volume-title":"Unreliable guide to locking. Available: http:\/\/www.kernel.org\/pub\/linux\/kernel\/people\/rusty\/kernel-locking\/index.html {Viewed","author":"Russell Rusty","year":"2012","unstructured":"{Rus03} Rusty Russell . Unreliable guide to locking. Available: http:\/\/www.kernel.org\/pub\/linux\/kernel\/people\/rusty\/kernel-locking\/index.html {Viewed September 10, 2012 }, 2003. {Rus03}Rusty Russell. Unreliable guide to locking. Available: http:\/\/www.kernel.org\/pub\/linux\/kernel\/people\/rusty\/kernel-locking\/index.html {Viewed September 10, 2012}, 2003."},{"key":"e_1_3_2_1_43_1","volume-title":"Morgan Kaufmann","author":"Scott Michael","year":"2006","unstructured":"{Sco06} Michael Scott . Programming Language Pragmatics . Morgan Kaufmann , Burlington, MA, USA , 2006 . {Sco06} Michael Scott. Programming Language Pragmatics. Morgan Kaufmann, Burlington, MA, USA, 2006."},{"key":"e_1_3_2_1_44_1","unstructured":"{Seq88}Sequent Computer Systems Inc. Guide to Parallel Programming 1988.  {Seq88}Sequent Computer Systems Inc. Guide to Parallel Programming 1988."},{"key":"e_1_3_2_1_45_1","volume-title":"Programming Language Design and Implementation (PLDI)","author":"Sarkar Susmit","year":"2012","unstructured":"{SMO'12} Susmit Sarkar , Kayvan Memarian , Scott Owens , Mark Batty , Peter Sewell , Luc Maranget , Jade Alglave , and Derek Williams . Synchronizing C\/C++ and POWER. In Programming Language Design and Implementation (PLDI) 2012 , Beijing , China, June 2012. {SMO'12} Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, and Derek Williams. Synchronizing C\/C++ and POWER. In Programming Language Design and Implementation (PLDI) 2012, Beijing, China, June 2012."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993520"},{"key":"e_1_3_2_1_47_1","volume-title":"Pattern-Oriented Software Architecture Volume 2: Patterns for Concurrent and Networked Objects","author":"Schmidt Douglas C.","year":"2000","unstructured":"{SSRB00} Douglas C. Schmidt , Michael Stal , Hans Rohnert , and Frank Buschmann . Pattern-Oriented Software Architecture Volume 2: Patterns for Concurrent and Networked Objects . Wiley , Chichester, West Sussex, England, 2000 . {SSRB00} Douglas C. Schmidt, Michael Stal, Hans Rohnert, and Frank Buschmann. Pattern-Oriented Software Architecture Volume 2: Patterns for Concurrent and Networked Objects. Wiley, Chichester, West Sussex, England, 2000."},{"issue":"3","key":"e_1_3_2_1_48_1","article-title":"The free lunch is over: A fundamental turn toward concurrency in software","volume":"30","author":"Sutter Herb","year":"2005","unstructured":"{Sut05} Herb Sutter . The free lunch is over: A fundamental turn toward concurrency in software . Dr. Dobb's Journal , 30 ( 3 ), March 2005 . Available: http:\/\/www.gotw.ca\/publications\/concurrency-ddj.htm. {Sut05}Herb Sutter. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb's Journal, 30(3), March 2005. Available: http:\/\/www.gotw.ca\/publications\/concurrency-ddj.htm.","journal-title":"Dr. Dobb's Journal"},{"key":"e_1_3_2_1_49_1","volume-title":"Series in Dr. Dobbs Journal","author":"Sutter Herb","year":"2008","unstructured":"{Sut08} Herb Sutter . Effective concurrency . Series in Dr. Dobbs Journal , 2008 . {Sut08} Herb Sutter. Effective concurrency. Series in Dr. Dobbs Journal, 2008."},{"key":"e_1_3_2_1_50_1","volume-title":"Open Court","author":"Swetz Frank J.","year":"1987","unstructured":"{Swe87} Frank J. Swetz . Capitalism & Arithmetic : The New Math of the 15th Century . Open Court , 1987 . {Swe87}Frank J. Swetz. Capitalism & Arithmetic: The New Math of the 15th Century. Open Court, 1987."},{"key":"e_1_3_2_1_51_1","volume-title":"November","author":"Torvalds Linux","year":"2006","unstructured":"{Tor06} Linux Torvalds . Open forum on os architecture for multicore and manycore platforms. Panel Discussion, hosted by Intel Research Council Scalable Systems Committee , November 2006 . {Tor06}Linux Torvalds. Open forum on os architecture for multicore and manycore platforms. Panel Discussion, hosted by Intel Research Council Scalable Systems Committee, November 2006."}],"event":{"name":"SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tucson Arizona USA","acronym":"SPLASH '12"},"container-title":["Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2414729.2414734","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2414729.2414734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:23Z","timestamp":1750238483000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2414729.2414734"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,21]]},"references-count":50,"alternative-id":["10.1145\/2414729.2414734","10.1145\/2414729"],"URL":"https:\/\/doi.org\/10.1145\/2414729.2414734","relation":{},"subject":[],"published":{"date-parts":[[2012,10,21]]},"assertion":[{"value":"2012-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}