Removes the atomic lattice constraint between success and failure memory orders in compare_exchange.
Other papers in Forward progress & memory model (C++17)
P0296R2Forward progress guarantees: base definitionsOulu 2016P0299R1Forward progress guarantees for the Parallelism TS featuresOulu 2016P0371R1Temporarily discourage
memory_order_consumeOulu 2016P0250R3Wording improvements for initialization and thread idsKona 2017P0270R3Removing C dependencies from signal handler wordingKona 2017All 6 papers in Forward progress & memory model (C++17) →