Hello! I have not yet done more than glance at this one, but figured I should send it along sooner rather than later. "Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models", Antonio Paolillo, Hernán Ponce-de-León, Thomas Haas, Diogo Behrens, Rafael Chehab, Ming Fu, and Roland Meyer. https://arxiv.org/abs/2111.15240 The claim is that the queued spinlocks implementation with CNA violates LKMM but actually works on all architectures having a formal hardware memory model. Thoughts? Thanx, Paul
