{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:45:11Z","timestamp":1773193511899,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T00:00:00Z","timestamp":1674777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,27]]},"DOI":"10.1145\/3575693.3579849","type":"proceedings-article","created":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T22:56:55Z","timestamp":1675119415000},"page":"61-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM"],"prefix":"10.1145","author":[{"given":"Martin","family":"Beck","sequence":"first","affiliation":[{"name":"Huawei Dresden Research Center, Dresden, Germany"}]},{"given":"Koustubha","family":"Bhat","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Dresden, Germany"}]},{"given":"Lazar","family":"Stri\u010devi\u0107","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Dresden, Germany"}]},{"given":"Geng","family":"Chen","sequence":"additional","affiliation":[{"name":"Huawei Fundamental Software Innovation Lab, Shenzhen, China"}]},{"given":"Diogo","family":"Behrens","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Dresden, Germany"}]},{"given":"Ming","family":"Fu","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Dresden, Germany"}]},{"given":"Viktor","family":"Vafeiadis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}]},{"given":"Haibo","family":"Chen","sequence":"additional","affiliation":[{"name":"Huawei Central Software Institute, Shenzhen, China \/ Shanghai Jiao Tong University, Shanghai, China"}]},{"given":"Hermann","family":"H\u00e4rtig","sequence":"additional","affiliation":[{"name":"TU Dresden, Dresden, Germany"}]}],"member":"320","published-online":{"date-parts":[[2023,1,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"1999. spin_unlock optimization(i386). https:\/\/marc.info\/?l=linux-kernel&m=94318921016232&w=2. Accessed: 2022-07-06. \t\t\t\t  1999. spin_unlock optimization(i386). https:\/\/marc.info\/?l=linux-kernel&m=94318921016232&w=2. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_2_1","unstructured":"2013. Throughput Benchmarking Tool for Redis & Memcached. https:\/\/redis.com\/blog\/memtier_benchmark-a-high-throughput-benchmarking-tool-for-redis-memcached\/. Accessed: 2022-07-06. \t\t\t\t  2013. Throughput Benchmarking Tool for Redis & Memcached. https:\/\/redis.com\/blog\/memtier_benchmark-a-high-throughput-benchmarking-tool-for-redis-memcached\/. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_3_1","unstructured":"2020. openEuler. https:\/\/openeuler.org. Accessed: 2022-07-06. \t\t\t\t  2020. openEuler. https:\/\/openeuler.org. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_4_1","unstructured":"2021. Lock-free hash table bug fix in MariaDB. https:\/\/jira.mariadb.org\/browse\/MDEV-27088. Accessed: 2022-07-06. \t\t\t\t  2021. Lock-free hash table bug fix in MariaDB. https:\/\/jira.mariadb.org\/browse\/MDEV-27088. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_5_1","unstructured":"2021. MariadB. https:\/\/mariadb.com. Accessed: 2022-07-06. \t\t\t\t  2021. MariadB. https:\/\/mariadb.com. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_6_1","unstructured":"2022. -memdep: Memory Dependence Analysis. https:\/\/llvm.org\/docs\/Passes.html#memdep-memory-dependence-analysis. https:\/\/llvm.org\/docs\/Passes.html#memdep-memory-dependence-analysis Accessed: 2022-07-05. \t\t\t\t  2022. -memdep: Memory Dependence Analysis. https:\/\/llvm.org\/docs\/Passes.html#memdep-memory-dependence-analysis. https:\/\/llvm.org\/docs\/Passes.html#memdep-memory-dependence-analysis Accessed: 2022-07-05."},{"key":"e_1_3_2_1_7_1","unstructured":"2022. About the Rosetta Translation Environment. https:\/\/developer.apple.com\/documentation\/apple-silicon\/about-the-rosetta-translation-environment. https:\/\/developer.apple.com\/documentation\/apple-silicon\/about-the-rosetta-translation-environment Accessed: 2022-07-06. \t\t\t\t  2022. About the Rosetta Translation Environment. https:\/\/developer.apple.com\/documentation\/apple-silicon\/about-the-rosetta-translation-environment. https:\/\/developer.apple.com\/documentation\/apple-silicon\/about-the-rosetta-translation-environment Accessed: 2022-07-06."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Google LevelDB. https:\/\/github.com\/google\/leveldb. Accessed: 2022-07-06. \t\t\t\t  2022. Google LevelDB. https:\/\/github.com\/google\/leveldb. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_9_1","unstructured":"2022. Memcached. https:\/\/memcached.org. Accessed: 2022-07-06. \t\t\t\t  2022. Memcached. https:\/\/memcached.org. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. PostgreSQL. https:\/\/www.postgresql.org. Accessed: 2022-07-06. \t\t\t\t  2022. PostgreSQL. https:\/\/www.postgresql.org. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_11_1","unstructured":"2022. SQLite. https:\/\/www.sqlite.org. Accessed: 2022-07-06. \t\t\t\t  2022. SQLite. https:\/\/www.sqlite.org. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_28"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_8"},{"key":"e_1_3_2_1_15_1","unstructured":"Samy Al Bahra. 2015. Concurrency kit. https:\/\/github.com\/concurrencykit\/ck. https:\/\/github.com\/concurrencykit\/ck Accessed: 2022-07-06. \t\t\t\t  Samy Al Bahra. 2015. Concurrency kit. https:\/\/github.com\/concurrencykit\/ck. https:\/\/github.com\/concurrencykit\/ck Accessed: 2022-07-06."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_33"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_5"},{"key":"e_1_3_2_1_19_1","unstructured":"Amazon Web Services. 2020. AWS Graviton Processor \u2013 Enabling the best price performance in Amazon EC2. https:\/\/aws.amazon.com\/ec2\/graviton. Accessed: 2022-07-06. \t\t\t\t  Amazon Web Services. 2020. AWS Graviton Processor \u2013 Enabling the best price performance in Amazon EC2. https:\/\/aws.amazon.com\/ec2\/graviton. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_20_1","unstructured":"Arm. 2019. Introducing the Arm architecture ARM062-948681440-3277. https:\/\/developer.arm.com\/architectures\/learn-the-architecture\/introducing-the-arm-architecture\/about-the-arm-architecture. Accessed: 2022-07-06. \t\t\t\t  Arm. 2019. Introducing the Arm architecture ARM062-948681440-3277. https:\/\/developer.arm.com\/architectures\/learn-the-architecture\/introducing-the-arm-architecture\/about-the-arm-architecture. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_21_1","volume-title":"Software Engineering (LNI","author":"Bouajjani Ahmed","unstructured":"Ahmed Bouajjani , Egor Derevenetc , and Roland Meyer . 2014. Robustness against Relaxed Memory Models . In Software Engineering (LNI , Vol. P-227). GI, 85\u2013 86 . Ahmed Bouajjani, Egor Derevenetc, and Roland Meyer. 2014. Robustness against Relaxed Memory Models. In Software Engineering (LNI, Vol. P-227). GI, 85\u201386."},{"key":"e_1_3_2_1_22_1","volume-title":"Memory model sensitive analysis of concurrent data types. Dissertations available from ProQuest (01","author":"Burckhardt Sebastian","year":"2007","unstructured":"Sebastian Burckhardt . 2007. Memory model sensitive analysis of concurrent data types. Dissertations available from ProQuest (01 2007 ). Sebastian Burckhardt. 2007. Memory model sensitive analysis of concurrent data types. Dissertations available from ProQuest (01 2007)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863741"},{"key":"e_1_3_2_1_24_1","unstructured":"Tudor Alexandru David Rachid Guerraoui Tong Che and Vasileios Trigonakis. 2014. Designing ASCY-compliant Concurrent Search Data Structures. (2014) 23. http:\/\/infoscience.epfl.ch\/record\/203822 \t\t\t\t  Tudor Alexandru David Rachid Guerraoui Tong Che and Vasileios Trigonakis. 2014. Designing ASCY-compliant Concurrent Search Data Structures. (2014) 23. http:\/\/infoscience.epfl.ch\/record\/203822"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603021"},{"key":"e_1_3_2_1_26_1","unstructured":"Will Deacon. Feb 13 2018. locking\/qspinlock: Ensure node is initialized before updating prev->next. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=95bcade33a8a. Accessed: 2022-07-06. \t\t\t\t  Will Deacon. Feb 13 2018. locking\/qspinlock: Ensure node is initialized before updating prev->next. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=95bcade33a8a. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_27_1","unstructured":"Abdullah Diaa. 2022. Is Apple Silicon ready? https:\/\/isapplesiliconready.com. https:\/\/isapplesiliconready.com Accessed: 2022-07-06. \t\t\t\t  Abdullah Diaa. 2022. Is Apple Silicon ready? https:\/\/isapplesiliconready.com. https:\/\/isapplesiliconready.com Accessed: 2022-07-06."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2011.102"},{"key":"e_1_3_2_1_29_1","unstructured":"Linux Foundation. 2015. Data Plane Development Kit (DPDK). http:\/\/www.dpdk.org Accessed: 2022-07-06. \t\t\t\t  Linux Foundation. 2015. Data Plane Development Kit (DPDK). http:\/\/www.dpdk.org Accessed: 2022-07-06."},{"key":"e_1_3_2_1_30_1","unstructured":"Geekbench. 2021. Geekbench 5 - Cross-Platform Benchmark. https:\/\/geekbench.com. Accessed: 2022-07-06. \t\t\t\t  Geekbench. 2021. Geekbench 5 - Cross-Platform Benchmark. https:\/\/geekbench.com. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_31_1","unstructured":"Geekbench. 2021. Geekbench 5.4.1 Tryout for macOS AArch64. https:\/\/browser.geekbench.com\/v5\/cpu\/8239789. Accessed: 2022-07-06. \t\t\t\t  Geekbench. 2021. Geekbench 5.4.1 Tryout for macOS AArch64. https:\/\/browser.geekbench.com\/v5\/cpu\/8239789. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_32_1","unstructured":"Geekbench. 2021. Geekbench 5.4.1 Tryout for macOS x86 (64-bit). https:\/\/browser.geekbench.com\/v5\/cpu\/8252865. Accessed: 2022-07-06. \t\t\t\t  Geekbench. 2021. Geekbench 5.4.1 Tryout for macOS x86 (64-bit). https:\/\/browser.geekbench.com\/v5\/cpu\/8252865. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386377"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(84)90020-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/10590.10608"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_1_37_1","volume-title":"Design and validation of computer protocols","author":"Holzmann Gerard J","unstructured":"Gerard J Holzmann and William Slattery Lieberman . 1991. Design and validation of computer protocols . Vol. 512 . Prentice hall Englewood Cliffs . Gerard J Holzmann and William Slattery Lieberman. 1991. Design and validation of computer protocols. Vol. 512. Prentice hall Englewood Cliffs."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259030"},{"key":"e_1_3_2_1_39_1","unstructured":"Huawei. 2019. Huawei Unveils Industry\u2019s Highest-Performance ARM-based CPU. https:\/\/www.huawei.com\/en\/news\/2019\/1\/huawei-unveils-highest-performance-arm-based-cpu. Accessed: 2022-07-06. \t\t\t\t  Huawei. 2019. Huawei Unveils Industry\u2019s Highest-Performance ARM-based CPU. https:\/\/www.huawei.com\/en\/news\/2019\/1\/huawei-unveils-highest-performance-arm-based-cpu. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556444.1556453"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360599"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314609"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092287"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378480"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2261417.2261438"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374535"},{"key":"e_1_3_2_1_49_1","unstructured":"Waiman Long. Nov 10 2015. locking\/qspinlock: Use _acquire\/_release() versions of cmpxchg() & xchg(). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=64d816cba06c. Accessed: 2022-07-06. \t\t\t\t  Waiman Long. Nov 10 2015. locking\/qspinlock: Use _acquire\/_release() versions of cmpxchg() & xchg(). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=64d816cba06c. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_50_1","unstructured":"Waiman Long and Peter Zijlstra. 2015. qspinlock code at version 4.4 of Linux Kernel. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/tree\/kernel\/locking\/qspinlock.c?h=v4.4. Accessed: 2022-07-06. \t\t\t\t  Waiman Long and Peter Zijlstra. 2015. qspinlock code at version 4.4 of Linux Kernel. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/tree\/kernel\/locking\/qspinlock.c?h=v4.4. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_51_1","unstructured":"Waiman Long and Peter Zijlstra. 2020. qspinlock code at version 5.6 of Linux Kernel. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/tree\/kernel\/locking\/qspinlock.c?h=v5.6. Accessed: 2022-07-06. \t\t\t\t  Waiman Long and Peter Zijlstra. 2020. qspinlock code at version 5.6 of Linux Kernel. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/tree\/kernel\/locking\/qspinlock.c?h=v5.6. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750378"},{"key":"e_1_3_2_1_53_1","unstructured":"LWN. 2003. Driver porting: mutual exclusion with seqlocks. https:\/\/lwn.net\/Articles\/22818. Accessed: 2022-07-06. \t\t\t\t  LWN. 2003. Driver porting: mutual exclusion with seqlocks. https:\/\/lwn.net\/Articles\/22818. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993522"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/103727.103729"},{"key":"e_1_3_2_1_56_1","unstructured":"Koh Nakagawa. 2021. Reverse-engineering rosetta 2 PART1: Analyzing AOT files and the Rosetta 2 runtime. https:\/\/ffri.github.io\/ProjectChampollion\/part1\/ \t\t\t\t  Koh Nakagawa. 2021. Reverse-engineering rosetta 2 PART1: Analyzing AOT files and the Rosetta 2 runtime. https:\/\/ffri.github.io\/ProjectChampollion\/part1\/"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446748"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158107"},{"key":"e_1_3_2_1_59_1","unstructured":"RIKEN Center for Computational Science (R-CCS) Japan. 2020. Fugaku supercomputer. https:\/\/www.r-ccs.riken.jp\/en\/fugaku\/project. Accessed: 2022-07-06. \t\t\t\t  RIKEN Center for Computational Science (R-CCS) Japan. 2020. Fugaku supercomputer. https:\/\/www.r-ccs.riken.jp\/en\/fugaku\/project. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523719"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1785414.1785443"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147954.1147958"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337220"},{"key":"e_1_3_2_1_65_1","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Spink Tom","year":"2019","unstructured":"Tom Spink , Harry Wagstaff , and Bj\u00f6rn Franke . 2019 . A Retargetable System-Level DBT Hypervisor . In 2019 USENIX Annual Technical Conference (USENIX ATC 19) . USENIX Association, Renton, WA, 505\u2013520. isbn:978-1-939133-03-8 https:\/\/www.usenix.org\/conference\/atc19\/presentation\/spink Tom Spink, Harry Wagstaff, and Bj\u00f6rn Franke. 2019. A Retargetable System-Level DBT Hypervisor. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). USENIX Association, Renton, WA, 505\u2013520. isbn:978-1-939133-03-8 https:\/\/www.usenix.org\/conference\/atc19\/presentation\/spink"},{"key":"e_1_3_2_1_66_1","unstructured":"Yulei Sui and Jingling Xue. 2016. Source Code Analysis with Static Value-Flow. https:\/\/svf-tools.github.io\/SVF\/ Accessed: 2022-10-03. \t\t\t\t  Yulei Sui and Jingling Xue. 2016. Source Code Analysis with Static Value-Flow. https:\/\/svf-tools.github.io\/SVF\/ Accessed: 2022-10-03."},{"key":"e_1_3_2_1_67_1","unstructured":"Techcrunch.com. 2020. Microsoft updates its Arm-based Surface Pro X tablet with a faster CPU. https:\/\/techcrunch.com\/2020\/10\/01\/microsoft-updates-its-arm-based-surface-pro-x-tablet-with-a-faster-cpu\/. Accessed: 2022-07-06. \t\t\t\t  Techcrunch.com. 2020. Microsoft updates its Arm-based Surface Pro X tablet with a faster CPU. https:\/\/techcrunch.com\/2020\/10\/01\/microsoft-updates-its-arm-based-surface-pro-x-tablet-with-a-faster-cpu\/. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_68_1","unstructured":"The Guardian. 2020. Apple ditches Intel for ARM processors in Mac computers with Big Sur. https:\/\/www.theguardian.com\/technology\/2020\/jun\/22\/apple-ditches-intel-for-arm-processors-in-big-sur-computers. Accessed: 2022-07-06. \t\t\t\t  The Guardian. 2020. Apple ditches Intel for ARM processors in Mac computers with Big Sur. https:\/\/www.theguardian.com\/technology\/2020\/jun\/22\/apple-ditches-intel-for-arm-processors-in-big-sur-computers. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941583"},{"key":"e_1_3_2_1_70_1","unstructured":"Pan Xinhui. Jun 3 2016. locking\/qspinlock: Use atomic_sub_return_release() in queued_spin_unlock(). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=ca50e426f96c. Accessed: 2022-07-06. \t\t\t\t  Pan Xinhui. Jun 3 2016. locking\/qspinlock: Use atomic_sub_return_release() in queued_spin_unlock(). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=ca50e426f96c. Accessed: 2022-07-06."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326354"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_6"}],"event":{"name":"ASPLOS '23: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","location":"Vancouver BC Canada","acronym":"ASPLOS '23","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575693.3579849","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575693.3579849","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:20Z","timestamp":1750182680000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575693.3579849"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,27]]},"references-count":72,"alternative-id":["10.1145\/3575693.3579849","10.1145\/3575693"],"URL":"https:\/\/doi.org\/10.1145\/3575693.3579849","relation":{},"subject":[],"published":{"date-parts":[[2023,1,27]]},"assertion":[{"value":"2023-01-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}