A Unified Theory of Shared Memory Consistency

Robert C. Steinke, Gary J. Nutt

Memory consistency models have been developed to specify what values may be returned by a read given that, in a distributed system, memory operations may only be partially ordered.…