Relaxed-Memory Concurrency

"This page collects work by a group of people working to develop mathematically rigorous and usable semantics for multiprocessor programs." The gap between what the manual says, what the processor actually does, and what programmers can reason about -- lots of interesting stuff.

to architecture cmp202 concurrency cpu memory-models ... on 24 October 2018

Programming with Threads: Questions Frequently Asked by C and C++ Programmers

A good (if slightly futuristic) guide to the safe use of shared memory in C++0x.

to atomics c++ concurrency memory-models threads ... on 18 August 2010

Tags related to memory-models

- memory-models
 
1 architecture
2 atomics
2 c++
1 cmp202
3 concurrency
1 cpu
3 memory-models
2 threads