Relationships between memory models |
| |
Authors: | Vicent Cholvi,Josep Bernabé u |
| |
Affiliation: | 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 |
| |
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. |
| |
Keywords: | Formal methods Memory models Consistency models Distributed systems Concurrency |
本文献已被 ScienceDirect 等数据库收录! |
|