Weak Memory Model Formalisms: Introduction and Survey

Roger C. Su, Robert J. Colvin

Memory consistency models define the order in which accesses to shared memory in a concurrent system may be observed to occur. Such models are a necessity since program order is no…