{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:28Z","timestamp":1750220488355,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"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":[[2021,10,26]]},"DOI":"10.1145\/3477132.3483557","type":"proceedings-article","created":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T15:59:18Z","timestamp":1634659158000},"page":"851-865","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["CLoF"],"prefix":"10.1145","author":[{"given":"Rafael Lourenco","family":"de Lima Chehab","sequence":"first","affiliation":[{"name":"Huawei Dresden Research Center Technische, Universit\u00e4t Dresden, Germany"}]},{"given":"Antonio","family":"Paolillo","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Germany"}]},{"given":"Diogo","family":"Behrens","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Germany"}]},{"given":"Ming","family":"Fu","sequence":"additional","affiliation":[{"name":"Huawei Dresden Research Center, Germany"}]},{"given":"Hermann","family":"H\u00e4rtig","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden Germany"}]},{"given":"Haibo","family":"Chen","sequence":"additional","affiliation":[{"name":"Huawei OS Kernel Lab, Shanghai Jiao Tong University, China"}]}],"member":"320","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/74926.74970"},{"volume-title":"2nd Gen AMD EPYC\u2122 7352 | Server Processor | AMD. https:\/\/www.amd.com\/en\/products\/cpu\/amd-epyc-7352. Accessed: 2021-05-07","author":"AMD.","key":"e_1_3_2_1_2_1","unstructured":"AMD. [n.d.]. 2nd Gen AMD EPYC\u2122 7352 | Server Processor | AMD. https:\/\/www.amd.com\/en\/products\/cpu\/amd-epyc-7352. Accessed: 2021-05-07 . AMD. [n.d.]. 2nd Gen AMD EPYC\u2122 7352 | Server Processor | AMD. https:\/\/www.amd.com\/en\/products\/cpu\/amd-epyc-7352. Accessed: 2021-05-07."},{"volume-title":"The 2nd Gen AMD EPYC 7002 Series Processors. https:\/\/www.amd.com\/en\/processors\/epyc-7002-series","author":"AMD.","key":"e_1_3_2_1_3_1","unstructured":"AMD. 2021. The 2nd Gen AMD EPYC 7002 Series Processors. https:\/\/www.amd.com\/en\/processors\/epyc-7002-series . AMD. 2021. The 2nd Gen AMD EPYC 7002 Series Processors. https:\/\/www.amd.com\/en\/processors\/epyc-7002-series."},{"key":"e_1_3_2_1_4_1","unstructured":"Krunal Bauskar. 2020. ARM's LSE (for atomics) and MySQL. https:\/\/aws.amazon.com\/ec2\/graviton.  Krunal Bauskar. 2020. ARM's LSE (for atomics) and MySQL. https:\/\/aws.amazon.com\/ec2\/graviton."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442532"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688503"},{"key":"#cr-split#-e_1_3_2_1_7_1.1","doi-asserted-by":"crossref","unstructured":"Milind Chabbi and John Mellor-Crummey. 2016. Contention-Conscious Locality-Preserving Locks. SIGPLAN Not. 51 8 Article 22 (Feb. 2016) 14 pages. https:\/\/doi.org\/10.1145\/3016078.2851166 10.1145\/3016078.2851166","DOI":"10.1145\/3016078.2851166"},{"key":"#cr-split#-e_1_3_2_1_7_1.2","doi-asserted-by":"crossref","unstructured":"Milind Chabbi and John Mellor-Crummey. 2016. Contention-Conscious Locality-Preserving Locks. SIGPLAN Not. 51 8 Article 22 (Feb. 2016) 14 pages. https:\/\/doi.org\/10.1145\/3016078.2851166","DOI":"10.1145\/3016078.2851166"},{"key":"e_1_3_2_1_8_1","unstructured":"Jonathan Corbet. 2014. MCS locks and qspinlocks. https:\/\/lwn.net\/Articles\/590243\/.  Jonathan Corbet. 2014. MCS locks and qspinlocks. https:\/\/lwn.net\/Articles\/590243\/."},{"key":"e_1_3_2_1_9_1","unstructured":"Jeffrey Dean and Sanjay Ghemawat. 2021. LevelDB. https:\/\/github.com\/google\/leveldb.  Jeffrey Dean and Sanjay Ghemawat. 2021. LevelDB. https:\/\/github.com\/google\/leveldb."},{"key":"e_1_3_2_1_10_1","volume-title":"Malthusian Locks. In Proceedings of the Twelfth European Conference on Computer Systems","author":"Dice Dave","year":"2017","unstructured":"Dave Dice . 2017 . Malthusian Locks. In Proceedings of the Twelfth European Conference on Computer Systems ( Belgrade, Serbia) (EuroSys '17). Association for Computing Machinery, New York, NY, USA, 314--327. https:\/\/doi.org\/10.1145\/3064176.3064203 10.1145\/3064176.3064203 Dave Dice. 2017. Malthusian Locks. In Proceedings of the Twelfth European Conference on Computer Systems (Belgrade, Serbia) (EuroSys '17). Association for Computing Machinery, New York, NY, USA, 314--327. https:\/\/doi.org\/10.1145\/3064176.3064203"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303984"},{"volume-title":"Fissile Locks","author":"Dice Dave","key":"e_1_3_2_1_12_1","unstructured":"Dave Dice and Alex Kogan . 2021. Fissile Locks . In Networked Systems, Chryssis Georgiou and Rupak Majumdar (Eds.). Springer International Publishing , Cham , 192--208. Dave Dice and Alex Kogan. 2021. Fissile Locks. In Networked Systems, Chryssis Georgiou and Rupak Majumdar (Eds.). Springer International Publishing, Cham, 192--208."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3409964.3461805"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2612669.2612696"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145848"},{"key":"e_1_3_2_1_16_1","unstructured":"GIGABYTE. [n.d.]. R182-Z91 (rev. 100) | Rack Servers - GIGABYTE Global. https:\/\/www.gigabyte.com\/Rack-Server\/R182-Z91-rev-100. Accessed: 2021-05-07.  GIGABYTE. [n.d.]. R182-Z91 (rev. 100) | Rack Servers - GIGABYTE Global. https:\/\/www.gigabyte.com\/Rack-Server\/R182-Z91-rev-100. Accessed: 2021-05-07."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 2016 USENIX Conference on Usenix Annual Technical Conference (Denver, CO, USA) (USENIX ATC '16). USENIX Association, USA, 649--662","author":"Guiroux Hugo","year":"2016","unstructured":"Hugo Guiroux , Renaud Lachaize , and Vivien Qu\u00e9ma . 2016 . Multicore Locks: The Case is Not Closed Yet . In Proceedings of the 2016 USENIX Conference on Usenix Annual Technical Conference (Denver, CO, USA) (USENIX ATC '16). USENIX Association, USA, 649--662 . Hugo Guiroux, Renaud Lachaize, and Vivien Qu\u00e9ma. 2016. Multicore Locks: The Case is Not Closed Yet. In Proceedings of the 2016 USENIX Conference on Usenix Annual Technical Conference (Denver, CO, USA) (USENIX ATC '16). USENIX Association, USA, 649--662."},{"volume-title":"Software development: building reliable systems","author":"Hamilton Marc","key":"e_1_3_2_1_18_1","unstructured":"Marc Hamilton . 1999. Software development: building reliable systems . Prentice Hall Professional , USA. Marc Hamilton. 1999. Software development: building reliable systems. Prentice Hall Professional, USA."},{"key":"e_1_3_2_1_19_1","unstructured":"Maurice Herlihy and Nir Shavit. 2011. The art of multiprocessor programming. Morgan Kaufmann USA.  Maurice Herlihy and Nir Shavit. 2011. The art of multiprocessor programming. Morgan Kaufmann USA."},{"key":"e_1_3_2_1_20_1","unstructured":"HiSilicon. [n.d.]. Kunpeng 920-6426 - HiSilicon - WikiChip. https:\/\/en.wikichip.org\/wiki\/hisilicon\/kunpeng\/920-6426. Accessed: 202105-07.  HiSilicon. [n.d.]. Kunpeng 920-6426 - HiSilicon - WikiChip. https:\/\/en.wikichip.org\/wiki\/hisilicon\/kunpeng\/920-6426. Accessed: 202105-07."},{"key":"e_1_3_2_1_21_1","unstructured":"Huawei. [n.d.]. 2280 Balanced Model - Huawei Enterprise. https:\/\/e.huawei.com\/uk\/products\/servers\/taishan-server\/taishan-2280-v2. Accessed: 2021-05-07.  Huawei. [n.d.]. 2280 Balanced Model - Huawei Enterprise. https:\/\/e.huawei.com\/uk\/products\/servers\/taishan-server\/taishan-2280-v2. Accessed: 2021-05-07."},{"key":"e_1_3_2_1_22_1","unstructured":"Huawei. 2019. Huawei Unveils Industry's Highest-Performance ARM-based CPU. https:\/\/www.huawei.com\/en\/news\/2019\/1\/huawei-unveils-highest- performance-arm-based-cpu.  Huawei. 2019. Huawei Unveils Industry's Highest-Performance ARM-based CPU. https:\/\/www.huawei.com\/en\/news\/2019\/1\/huawei-unveils-highest- performance-arm-based-cpu."},{"key":"e_1_3_2_1_23_1","unstructured":"Jeff Defilippi. 2017. Introducing AMBA 5 CHI protocol enhancements: Specification now available. https:\/\/community.arm.com\/developer\/ip-products\/system\/b\/soc-design-blog\/posts\/introducing-new-amba-5-chi-protocol-enhancements.  Jeff Defilippi. 2017. Introducing AMBA 5 CHI protocol enhancements: Specification now available. https:\/\/community.arm.com\/developer\/ip-products\/system\/b\/soc-design-blog\/posts\/introducing-new-amba-5-chi-protocol-enhancements."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301"},{"key":"e_1_3_2_1_25_1","volume-title":"Scalable NUMA-aware Blocking Synchronization Primitives. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Kashyap Sanidhya","year":"2017","unstructured":"Sanidhya Kashyap , Changwoo Min , and Taesoo Kim . 2017 . Scalable NUMA-aware Blocking Synchronization Primitives. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA, 603--615. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/kashyap Sanidhya Kashyap, Changwoo Min, and Taesoo Kim. 2017. Scalable NUMA-aware Blocking Synchronization Primitives. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA, 603--615. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/kashyap"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314609"},{"key":"e_1_3_2_1_27_1","volume-title":"Kyoto Cabinet: A straightforward implementation of DBM","author":"Labs FAL","year":"2011","unstructured":"FAL Labs . 2011 . Kyoto Cabinet: A straightforward implementation of DBM . http:\/\/fallabs.com\/kyotocabinet. FAL Labs. 2011. Kyoto Cabinet: A straightforward implementation of DBM. http:\/\/fallabs.com\/kyotocabinet."},{"volume-title":"Specifying systems: the TLA+ language and tools for hardware and software engineers","author":"Lamport Leslie","key":"e_1_3_2_1_28_1","unstructured":"Leslie Lamport . 2002. Specifying systems: the TLA+ language and tools for hardware and software engineers . Addison-Wesley Longman Publishing Co., Inc. , USA. Leslie Lamport. 2002. Specifying systems: the TLA+ language and tools for hardware and software engineers. Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374535"},{"volume-title":"Euro-Par 2006 Parallel Processing, Wolfgang E","author":"Luchangco Victor","key":"e_1_3_2_1_30_1","unstructured":"Victor Luchangco , Dan Nussbaum , and Nir Shavit . 2006. A Hierarchical CLH Queue Lock . In Euro-Par 2006 Parallel Processing, Wolfgang E . Nagel, Wolfgang V. Walter, and Wolfgang Lehner (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 801--810. Victor Luchangco, Dan Nussbaum, and Nir Shavit. 2006. A Hierarchical CLH Queue Lock. In Euro-Par 2006 Parallel Processing, Wolfgang E. Nagel, Wolfgang V. Walter, and Wolfgang Lehner (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 801--810."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/103727.103729"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446748"},{"volume-title":"Networked Systems","author":"Oberhauser Jonas","key":"e_1_3_2_1_33_1","unstructured":"Jonas Oberhauser , Lilith Oberhauser , Antonio Paolillo , Diogo Behrens , Ming Fu , and Viktor Vafeiadis . 2021. Verifying and Optimizing the HMCS Lock for Arm Servers . In Networked Systems . Springer International Publishing . Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, and Viktor Vafeiadis. 2021. Verifying and Optimizing the HMCS Lock for Arm Servers. In Networked Systems. Springer International Publishing."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2797022.2797042"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/822080.822810"}],"event":{"name":"SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"],"location":"Virtual Event Germany","acronym":"SOSP '21"},"container-title":["Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483557","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477132.3483557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:15Z","timestamp":1750193355000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483557"}},"subtitle":["A Compositional Lock Framework for Multi-level NUMA Systems"],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":36,"alternative-id":["10.1145\/3477132.3483557","10.1145\/3477132"],"URL":"https:\/\/doi.org\/10.1145\/3477132.3483557","relation":{},"subject":[],"published":{"date-parts":[[2021,10,26]]},"assertion":[{"value":"2021-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}