Specifies forward progress for the parallel algorithms' execution policies.
Other papers in Forward progress & memory model (C++17)
P0296R2Forward progress guarantees: base definitionsOulu 2016P0371R1Temporarily discourage
memory_order_consumeOulu 2016P0418R2Fail or succeed: there is no atomic latticeIssaquah 2016P0250R3Wording improvements for initialization and thread idsKona 2017P0270R3Removing C dependencies from signal handler wordingKona 2017All 6 papers in Forward progress & memory model (C++17) →