Forward progress & memory model (C++17)
Forward progress guarantees, memory_order_consume discouraged, atomic lattice fix, thread ids, signal handler wording.
Connected features
Papers
6 · Oulu 2016 → Kona 2017Defines the forward progress guarantees (concurrent, parallel, weakly parallel).
Specifies forward progress for the parallel algorithms' execution policies.
Temporarily discourages memory_order_consume.
Removes the atomic lattice constraint between success and failure memory orders in compare_exchange.
Improves the wording for initialization and thread ids.
Removes the dependency on C for signal-handler wording.