Memory-ordering model

When we are talking on memory model, we are refering memory consistency model or memory ordering model.

Practices

Memory Reordering Caught in the Act

Memory model

Memory Consistency Models: A Primer
Shared Memory Consistency Models: A Tutorial
Weak vs. Strong Memory Models

x86 memory model

Memory Barriers: a Hardware View for Software Hackers - must read
x86 is TSO why it borthers fence?
共同进入与饥饿
When are x86 LFENCE, SFENCE and MFENCE instructions required?

C11 memory model

C memory order
Outlawing Ghosts: Avoiding Out-of-Thin-Air Results
Out-of-Thin-Air Execution is Vacuous
Relaxed-Memory Concurrency
Mathematizing C++ Concurrency: The Isabelle/HOL model

Compiler memory model

Memory Ordering at Compile Time
A Guide to Undefined Behavior in C and C++, Part 3

Linux kernel memory model

A formal kernel memory-ordering model
A formal kernel memory-ordering model (part 2)
Linux-Kernel Memory Model
Linux-Kernel Memory Ordering: Help Arrives At Last! and Talk on youtube on this!