Consistency model
A consistency model is an agreement between memory and the software that is using it. More precisely it guarantees certain behavior of the memory if the software behaves in a certain way. The guarantees it can make relate to access order and propagation and visibility of updates.