@koakuma Sadly only lockfree and not waitfree.
@robryk Is there something like that that can be made waitfree?
Follow
You mean MCAS implementation where two operations on disjoint memory locations also have disjoint set of memory locations they access? My intuition is that it would be completely impossible to do waitfreely (via some similar argument to the one for Omega(thread_count) memory bound for nontrivial waitfree data structures).
