Memory Consistency Model

A memory consistency model $\text{MC}$ defines which executions of a program are allowed.

In other words, $\text{MC}$ partitions the set of executions of a program into:

1. $\text{MC}$ executions—those that obey $\text{MC}$ and
2. Non-$\text{MC}$ executions—those that disobey $\text{MC}$.

An $\text{MC}$ implementation is a system that permits only $\text{MC}$ executions of a program.

Some examples of memory consistency models:

• Sequential consistency
• Total store order