View consistencies and exact implementations
| Autor: | Gabriel Girard, Hon F. Li |
|---|---|
| Rok vydání: | 2003 |
| Předmět: |
Distributed shared memory
Theoretical computer science Weak consistency Computer Networks and Communications Sequential consistency Computer science Release consistency Strong consistency Consistency model Causal consistency Computer Graphics and Computer-Aided Design Theoretical Computer Science Shared memory Artificial Intelligence Hardware and Architecture Distributed memory Software Cache coherence PRAM consistency |
| Zdroj: | Parallel Computing. 29:37-67 |
| ISSN: | 0167-8191 |
| DOI: | 10.1016/s0167-8191(02)00148-5 |
| Popis: | Numerous shared memory consistency models have appeared for the purpose of obtaining better shared memory parallel computers, ones which suffer less from long memory latency. This paper uses the primitive notion of program-order and value-order to define global view. Using this as a seed, various consistency models evolve and form hierarchies of models. The creation of these models comes naturally via one of the following means: (i) a global view is augmented with additional ordering among its operations whenever some orderings exist, or (ii) a global view should not contain certain orderings. The former involves augmentation rules, and the latter involves ordering requirements. These models may attract different implementations and a notion of exact implementation is developed. The usefulness of these models is also analyzed and exemplified. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect