Adds the implementation-defined progress guarantees for threads.
Other papers in Memory model & thread-local storage
N2239A finer-grained alternative to sequence points (revised)Oxford 2007N2429Concurrency Memory ModelKona 2007N2659Thread-Local StorageSophia Antipolis 2008N2660Dynamic Initialization and Destruction with ConcurrencySophia Antipolis 2008N3196Omnibus Memory Model and Atomics PaperBatavia 2010All 6 papers in Memory model & thread-local storage →