Messages in this thread | | | Date | Fri, 26 Aug 2022 05:48:12 -0700 | From | "Paul E. McKenney" <> | Subject | "Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models" |
| |
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
| |