ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Information Processing Letters
Volume 90, Issue 2, 30 April 2004, Pages 53-58
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (188 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.ipl.2004.01.007    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2004 Elsevier B.V. All rights reserved.

Relationships between memory models

Vicent CholviCorresponding Author Contact Information, E-mail The Corresponding Author, a and Josep BernabéuE-mail The Corresponding Author, b

a Departamento de Lenguajes y Sistemas Informáticos, Universitat Jaume I, Castellón, Spain b Instituto Tecnológico de Informática, Universitat Politécnica de València, València, Spain

Received 3 August 2003; 
Revised 14 January 2004. 
Communicated by J.L. Fiadeiro 
Available online 12 February 2004.

Purchase the full-text article



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

Article Outline

• References

 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.