A Unified Theory of Shared Memory Consistency
| dc.creator | Steinke, Robert C. | |
| dc.creator | Nutt, Gary J. | |
| dc.date | 2002-08-19 | |
| dc.date.accessioned | 2026-07-26T00:02:30Z | |
| dc.description | 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. Before this work, consistency models were defined independently. Each model followed a set of rules which was separate from the rules of every other model. In our work we have defined a set of four consistency properties. Any subset of the four properties yields a set of rules which constitute a consistency model. Every consistency model previously described in the literature can be defined based on our four properties. Therefore, we present these properties as a unfied theory of shared memory consistency. | |
| dc.identifier | https://arxiv.org/abs/cs/0208027 | |
| dc.identifier | http://arxiv.org/abs/cs/0208027 | |
| dc.identifier.uri | https://dspace.dare.co.zw/handle/123456789/103574 | |
| dc.subject | Distributed, Parallel, and Cluster Computing | |
| dc.subject | D.1.3;F.1.2 | |
| dc.title | A Unified Theory of Shared Memory Consistency | |
| dc.type | text |