Memory Model
In computing, a memory model describes the interactions of threads through memory and their shared use of the data.
Memory model is a formal specification of how the memory system will appear to the programmer, eliminating the gap between the behavior expected by the programmer and the actual behavior supported by a system
– Wikipedia