LL/SC and Atomic Copy: Constant Time, Space Efficient Implementations using only pointer-width CAS

Guy E. Blelloch, Yuanhao Wei

When designing concurrent algorithms, Load-Link/Store-Conditional (LL/SC) is often the ideal primitive to have because unlike Compare and Swap (CAS), LL/SC is immune to the ABA pro…