CLoF: A Compositional Lock Framework for Multi-Level NUMA Systems

Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen

Onderzoeksoutput: Conference paperResearch


Efficient locking mechanisms are extremely important to support large-scale concurrency and exploit the performance promises of many-core servers. Implementing an efficient, generic, and correct lock is very challenging due to the differences between various NUMA architectures. The performance impact of architectural/NUMA hierarchy differences between x86 and Armv8 are not yet fully explored, leading to unexpected performance when simply porting NUMA-aware locks from x86 to Armv8. Moreover, due to the Armv8 Weak Memory Model (WMM), correctly implementing complicated NUMA-aware locks is very difficult. We propose a Compositional Lock Framework (CLoF) for multi-level NUMA systems. CLoF composes NUMA-oblivious locks in a hierarchy matching the target platform, leading to hundreds of correct by construction NUMA-aware locks. CLoF can automatically select the best lock among them. To show the correctness of CLoF on WMMs, we provide an inductive argument with base and induction steps verified with model checkers. In our evaluation, CLoF locks outperform state-of-the-art NUMA-aware locks in most scenarios, e.g., in a highly contended LevelDB benchmark, our best CLoF locks yield twice the throughput achieved with CNA lock and ShflLock on large x86 and Armv8 servers.

Originele taal-2English
TitelProceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
UitgeverijAssociation for Computing Machinery
Aantal pagina's15
ISBN van geprinte versie9781450387095
StatusPublished - 26 okt 2021
EvenementACM SIGOPS 28th Symposium on Operating Systems Principles -
Duur: 26 okt 202129 okt 2021

Publicatie series

NaamSOSP '21


ConferenceACM SIGOPS 28th Symposium on Operating Systems Principles
Verkorte titelSOSP
Internet adres

Bibliografische nota

Publisher Copyright:
© 2021 Owner/Author.


Duik in de onderzoeksthema's van 'CLoF: A Compositional Lock Framework for Multi-Level NUMA Systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit