Copyright © 2004 Elsevier B.V. All rights reserved.
Relationships between memory models
Received 3 August 2003;
Revised 14 January 2004.
Communicated by J.L. Fiadeiro
Available online 12 February 2004.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
There have been many proposals of shared memory systems, each one providing different types of memory coherence for interprocess communication. However, they have usually been defined using different formalisms. This makes it difficult to compare among them the different proposals put forward. In this paper we present a formal framework for specifying memory models with different coherency properties. We specify most of the known shared memory models using our framework, showing some of the relationships that hold among them.
Author Keywords: Formal methods; Memory models; Consistency models; Distributed systems; Concurrency







E-mail Article
Add to my Quick Links

Cited By in Scopus (3)






