{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:42:45Z","timestamp":1775054565590,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,3,19]],"date-time":"2018-03-19T00:00:00Z","timestamp":1521417600000},"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":[[2018,3,19]]},"DOI":"10.1145\/3173162.3177156","type":"proceedings-article","created":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T11:15:40Z","timestamp":1521717340000},"page":"405-418","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Frightening Small Children and Disconcerting Grown-ups"],"prefix":"10.1145","author":[{"given":"Jade","family":"Alglave","sequence":"first","affiliation":[{"name":"University College London&Microsoft Research, London and Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul E.","family":"McKenney","sequence":"additional","affiliation":[{"name":"IBM Corporation&Oregon State University, Hillsboro, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Parri","sequence":"additional","affiliation":[{"name":"Scuola Superiore Sant'Anna, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Stern","sequence":"additional","affiliation":[{"name":"Harvard University, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,3,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694391"},{"key":"e_1_3_2_1_2_1","volume-title":"Syntax and semantics of the weak consistency model specification language textsfcat. CoRR","author":"Alglave Jade","year":"2016","unstructured":"Jade Alglave , Patrick Cousot , and Luc Maranget . 2016. Syntax and semantics of the weak consistency model specification language textsfcat. CoRR Vol. abs\/ 1608 .07531 ( 2016 ). http:\/\/arxiv.org\/abs\/1608.07531 Jade Alglave, Patrick Cousot, and Luc Maranget. 2016. Syntax and semantics of the weak consistency model specification language textsfcat. CoRR Vol. abs\/1608.07531 (2016). http:\/\/arxiv.org\/abs\/1608.07531"},{"key":"e_1_3_2_1_3_1","volume-title":"Partial Orders for Efficient Bounded Model Checking of Concurrent Software Computer Aided Verification (CAV) (LNCS)","author":"Alglave Jade","unstructured":"Jade Alglave , Daniel Kroening , and Michael Tautschnig . 2013. Partial Orders for Efficient Bounded Model Checking of Concurrent Software Computer Aided Verification (CAV) (LNCS) , Vol. Vol. 8044 . Springer , 141--157. Jade Alglave, Daniel Kroening, and Michael Tautschnig. 2013. Partial Orders for Efficient Bounded Model Checking of Concurrent Software Computer Aided Verification (CAV) (LNCS), Vol. Vol. 8044. Springer, 141--157."},{"key":"e_1_3_2_1_4_1","unstructured":"Jade Alglave and Luc Maranget. 2011--2017. The textsfdiy7 tool suite. http:\/\/diy.inria.fr\/. (2011--2017).  Jade Alglave and Luc Maranget. 2011--2017. The textsfdiy7 tool suite. http:\/\/diy.inria.fr\/. (2011--2017)."},{"key":"e_1_3_2_1_5_1","unstructured":"Jade Alglave and Luc Maranget. 2015. Towards a formalisation of the HSA memory model in the textsfcat language. http:\/\/www.hsafoundation.com\/?ddownload=5381. (2015).  Jade Alglave and Luc Maranget. 2015. Towards a formalisation of the HSA memory model in the textsfcat language. http:\/\/www.hsafoundation.com\/?ddownload=5381. (2015)."},{"key":"e_1_3_2_1_6_1","unstructured":"Jade Alglave Luc Maranget Paul E. McKenney Andrea Parri and Alan Stern. 2017 a. A formal model of Linux-kernel memory ordering -- companion webpage. http:\/\/diy.inria.fr\/linux\/. (2017). {Online; accessed 25-December-2017}.  Jade Alglave Luc Maranget Paul E. McKenney Andrea Parri and Alan Stern. 2017 a. A formal model of Linux-kernel memory ordering -- companion webpage. http:\/\/diy.inria.fr\/linux\/. (2017). {Online; accessed 25-December-2017}."},{"key":"e_1_3_2_1_7_1","volume-title":"2017 b. A formal kernel memory-ordering model (part 1). (14","author":"Alglave Jade","year":"2017","unstructured":"Jade Alglave , Luc Maranget , Paul E. McKenney , Andrea Parri , and Alan Stern . 2017 b. A formal kernel memory-ordering model (part 1). (14 April . 2017 ). https:\/\/lwn.net\/Articles\/718628\/ Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, and Alan Stern. 2017 b. A formal kernel memory-ordering model (part 1). (14 April. 2017). https:\/\/lwn.net\/Articles\/718628\/"},{"key":"e_1_3_2_1_8_1","volume-title":"2017 c. A formal kernel memory-ordering model (part 2). (20","author":"Alglave Jade","year":"2017","unstructured":"Jade Alglave , Luc Maranget , Paul E. McKenney , Andrea Parri , and Alan Stern . 2017 c. A formal kernel memory-ordering model (part 2). (20 April . 2017 ). https:\/\/lwn.net\/Articles\/720550\/ Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, and Alan Stern. 2017 c. A formal kernel memory-ordering model (part 2). (20 April. 2017). https:\/\/lwn.net\/Articles\/720550\/"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_25"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0135-z"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_12_1","unstructured":"Linus Torvalds. 2015. Re: {PATCH 4\/4} locking: Introduce smp_cond_acquire(). http:\/\/lkml.kernel.org\/r\/CA+55aFyXu5iFJfdm7o-RKUm_9a850iSzeM+whmtUAotkY0EvTw@mail.gmail.com. (2015).  Linus Torvalds. 2015. Re: {PATCH 4\/4} locking: Introduce smp_cond_acquire(). http:\/\/lkml.kernel.org\/r\/CA+55aFyXu5iFJfdm7o-RKUm_9a850iSzeM+whmtUAotkY0EvTw@mail.gmail.com. (2015)."},{"key":"e_1_3_2_1_13_1","unstructured":"Linus Torvalds. 2016 a. Re: {RFC}{PATCH} mips: Fix arch_spin_unlock(). https:\/\/lkml.org\/lkml\/2016\/2\/2\/80. (2016).  Linus Torvalds. 2016 a. Re: {RFC}{PATCH} mips: Fix arch_spin_unlock(). https:\/\/lkml.org\/lkml\/2016\/2\/2\/80. (2016)."},{"key":"e_1_3_2_1_14_1","volume-title":"2016 b. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145384764324700&w=2. (26","author":"Torvalds Linus","year":"2016","unstructured":"Linus Torvalds . 2016 b. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145384764324700&w=2. (26 January . 2016 ). Linus Torvalds. 2016 b. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145384764324700&w=2. (26 January. 2016)."},{"key":"e_1_3_2_1_15_1","volume-title":"2017 a. Linux Kernel v4.12 (Fearless Coyote). https:\/\/www.kernel.org\/pub\/linux\/kernel\/v4.x\/linux-4.12.tar.xz. (2","author":"Torvalds Linus","year":"2017","unstructured":"Linus Torvalds . 2017 a. Linux Kernel v4.12 (Fearless Coyote). https:\/\/www.kernel.org\/pub\/linux\/kernel\/v4.x\/linux-4.12.tar.xz. (2 July . 2017 ). Linus Torvalds. 2017 a. Linux Kernel v4.12 (Fearless Coyote). https:\/\/www.kernel.org\/pub\/linux\/kernel\/v4.x\/linux-4.12.tar.xz. (2 July. 2017)."},{"key":"e_1_3_2_1_16_1","unstructured":"Linus Torvalds. 2017 b. Re: {GIT PULL rcu\/next} RCU commits for 4.13. https:\/\/lkml.org\/lkml\/2017\/6\/27\/1052. (2017).  Linus Torvalds. 2017 b. Re: {GIT PULL rcu\/next} RCU commits for 4.13. https:\/\/lkml.org\/lkml\/2017\/6\/27\/1052. (2017)."},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/0512.0\/0976.html. (5","author":"Vaddagiri Srivatsa","year":"2005","unstructured":"Srivatsa Vaddagiri . 2005. {PATCH} Fix RCU race in access of nohz_cpu_mask. http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/0512.0\/0976.html. (5 December . 2005 ). Srivatsa Vaddagiri. 2005. {PATCH} Fix RCU race in access of nohz_cpu_mask. http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/0512.0\/0976.html. (5 December. 2005)."},{"key":"e_1_3_2_1_18_1","volume-title":"2016 a. Re: (v3,11\/41) mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145263153305591&w=2. (12","author":"Yegoshin Leonid","year":"2016","unstructured":"Leonid Yegoshin . 2016 a. Re: (v3,11\/41) mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145263153305591&w=2. (12 January . 2016 ). Leonid Yegoshin. 2016 a. Re: (v3,11\/41) mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145263153305591&w=2. (12 January. 2016)."},{"key":"e_1_3_2_1_19_1","volume-title":"2016 b. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145280444229608&w=2. (14","author":"Yegoshin Leonid","year":"2016","unstructured":"Leonid Yegoshin . 2016 b. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145280444229608&w=2. (14 January . 2016 ). Leonid Yegoshin. 2016 b. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145280444229608&w=2. (14 January. 2016)."},{"key":"e_1_3_2_1_20_1","volume-title":"2016 c. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145280241129008&w=2. (14","author":"Yegoshin Leonid","year":"2016","unstructured":"Leonid Yegoshin . 2016 c. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145280241129008&w=2. (14 January . 2016 ). Leonid Yegoshin. 2016 c. Re: {v3,11\/41} mips: reuse asm-generic\/barrier.h. https:\/\/marc.info\/?l=linux-kernel&m=145280241129008&w=2. (14 January. 2016)."},{"key":"e_1_3_2_1_21_1","volume-title":"2013 a. Re: Does Itanium permit speculative stores? https:\/\/marc.info\/?l=linux-kernel&m=138428080207125. (12","author":"Zijlstra Peter","year":"2013","unstructured":"Peter Zijlstra . 2013 a. Re: Does Itanium permit speculative stores? https:\/\/marc.info\/?l=linux-kernel&m=138428080207125. (12 November . 2013 ). Peter Zijlstra. 2013 a. Re: Does Itanium permit speculative stores? https:\/\/marc.info\/?l=linux-kernel&m=138428080207125. (12 November. 2013)."},{"key":"e_1_3_2_1_22_1","unstructured":"Peter Zijlstra. 2013 b. Re: {PATCH v6 4\/5} MCS Lock: Barrier corrections. https:\/\/marc.info\/?l=linux-mm&m=138514629508662&w=2. (2013).  Peter Zijlstra. 2013 b. Re: {PATCH v6 4\/5} MCS Lock: Barrier corrections. https:\/\/marc.info\/?l=linux-mm&m=138514629508662&w=2. (2013)."},{"key":"e_1_3_2_1_23_1","volume-title":"Fix sys_perf_event_open() vs. hotplug. https:\/\/www.spinics.net\/lists\/kernel\/msg2421883.html. (14","author":"Zijlstra Peter","year":"2016","unstructured":"Peter Zijlstra . 2016. {tip:perf\/urgent} perf\/core : Fix sys_perf_event_open() vs. hotplug. https:\/\/www.spinics.net\/lists\/kernel\/msg2421883.html. (14 January . 2016 ). Peter Zijlstra. 2016. {tip:perf\/urgent} perf\/core: Fix sys_perf_event_open() vs. hotplug. https:\/\/www.spinics.net\/lists\/kernel\/msg2421883.html. (14 January. 2016)."}],"event":{"name":"ASPLOS '18: Architectural Support for Programming Languages and Operating Systems","location":"Williamsburg VA USA","acronym":"ASPLOS '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173162.3177156","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173162.3177156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:26:23Z","timestamp":1750199183000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173162.3177156"}},"subtitle":["Concurrency in the Linux Kernel"],"short-title":[],"issued":{"date-parts":[[2018,3,19]]},"references-count":23,"alternative-id":["10.1145\/3173162.3177156","10.1145\/3173162"],"URL":"https:\/\/doi.org\/10.1145\/3173162.3177156","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296957.3177156","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,3,19]]},"assertion":[{"value":"2018-03-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}