memory model

specification describing the interactions of threads through memory and their shared use of the data