the "release" variant of the fetchadd atomic has both acquire and release semantics for the LL/SC case. LSE case should be fine.