Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models

Antonio Paolillo, Hernán Ponce-de-León, Thomas Haas +4

Developing concurrent software is challenging, especially if it has to run on modern architectures with Weak Memory Models (WMMs) such as ARMv8, Power, or RISC-V. For the sake of p…