Memory-ordering model

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


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!