Download Now Free registration required
In this paper, the authors present a framework to formally describe and study the interconnection of distributed shared memory systems. Using it allows them to classify the consistency models in two groups, depending on whether they are fast or not. In the case of non-fast consistency models, they show that they cannot be interconnected in any way. In contrast, in the case of fast consistency models they provide protocols to interconnect some of them.
- Format: PDF
- Size: 1471.6 KB