Abstract for
Location Consistency: Stepping Beyond the Memory Coherence Barrier

In this paper, we introduce a new memory consistency model called Location Consistency (LC). The LC model uses a novel approach for defining memory consistency. The state of a memory location is modeled as a partially ordered multiset (pomset) of write operations and synchronization operations. The partial orders are determined solely by the ordering constraints imposed by the program being executed. We illustrate how the LC model can enable more compiler and hardware performance optimizations to be applied, compared to other memory consistency models which rely on the memory coherence assumption.