When we are talking on memory model, we are refering memory consistency model or memory ordering model.
Memory Reordering Caught in the Act
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
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!