Location Consistency - a New Memory Model and Cache Consistency Protocol (1998)
| Venue: | IEEE Transactions on Computers |
| Citations: | 34 - 4 self |
BibTeX
@TECHREPORT{Gao98locationconsistency,
author = {Guang R. Gao and Vivek Sarkar},
title = {Location Consistency - a New Memory Model and Cache Consistency Protocol},
institution = {IEEE Transactions on Computers},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Existing memory models and cache consistency protocols assume the memory coherence property which requires that all processors observe the same ordering of write operations to the same location. In this paper, we address the problem of defining a memory model that does not rely on the memory coherence assumption, and also the problem of designing a cache consistency protocol based on such a memory model. We define a new memory consistency model, called Location Consistency (LC), in which the state of a memory location is modeled as a partially ordered multiset (pomset) of write and synchronization operations. We prove that LC is strictly weaker than existing memory models, but is still equivalent to stronger models for parallel programs that have no data races. We also introduce a new multiprocessor cache consistency protocol based on the LC memory model. We prove that this LC protocol obeys the LC memory model. The LC protocol does not need to enforce single write ownership of memory...
