Adds the multithreaded memory model: happens-before, data races as undefined behaviour. Restructured, slightly reworded.
Other papers in Memory model & thread-local storage
N2239A finer-grained alternative to sequence points (revised)Oxford 2007N2659Thread-Local StorageSophia Antipolis 2008N2660Dynamic Initialization and Destruction with ConcurrencySophia Antipolis 2008N3196Omnibus Memory Model and Atomics PaperBatavia 2010N3209Progress guarantees for C++0xBatavia 2010All 6 papers in Memory model & thread-local storage →