Interconnection of distributed memory models

被引：2

作者：

Cholvi, Vicent ^{[1
]}

Jimenez, Ernesto ^{[2
]}

Fernandez Anta, Antonio ^{[3
]}

机构：

[1] Univ Jaume 1, Dept Lenguajes & Sistemas Informat, Castellon de La Plana 12071, Spain

[2] Univ Politecn Madrid, Madrid 28031, Spain

[3] Univ Rey Juan Carlos, GSyC, LADyR, Mostoles 28933, Spain

来源：

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING | 2009年 / 69卷 / 03期

关键词：

Distributed shared memory; Memory models; Interconnection systems; Distributed algorithms; Impossibility result; Correctness proofs; CAUSAL MEMORY; CONSISTENCY; LINEARIZABILITY;

D O I：

10.1016/j.jpdc.2008.11.008

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we present a framework to formally describe and study the interconnection of distributed shared memory systems. Using it allows us to classify the consistency models in two groups, depending on whether they are fast or not. In the case of non-fast consistency models, we show that they cannot be interconnected in any way. In contrast, in the case of fast consistency models we provide protocols to interconnect some of them. (C) 2008 Elsevier Inc. All rights reserved.

引用

页码：295 / 306

页数：12

共 21 条

[1]

AHAMAD M, 1995, DISTRIB COMPUT, V9, P37, DOI 10.1007/BF01784241

[2] An adaptive protocol for implementing causally consistent distributed services [J].

Ahamad, M ;

Raynal, M ;

Thia-Kime, G .

18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, :86-93

[3]

Ahamad M., 1993, Proceedings of the fifth annual ACM Symposium on Parallel Algorithms and Architectures, P251

[4]

[Anonymous], 1988, CSTR18088 PRINC U

[5] SEQUENTIAL CONSISTENCY VERSUS LINEARIZABILITY [J].

ATTIYA, H ;

WELCH, JL .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1994, 12 (02) :91-122

[6] Limitations of fast consistency conditions for distributed shared memories [J].

Attiya, H ;

Friedman, R .

INFORMATION PROCESSING LETTERS, 1996, 57 (05) :243-248

[7]

BERSHAD B, 1993, COMPCON

[8] Relationships between memory models [J].

Cholvi, V ;

Bernabéu, J .

INFORMATION PROCESSING LETTERS, 2004, 90 (02) :53-58

[9]

Fernández A, 2004, J PARALLEL DISTR COM, V64, P498, DOI 10.1016/j.jpdc.2004.03.007

[10]

Gharachorloo K., 1990, Proceedings. The 17th Annual International Symposium on Computer Architecture (Cat. No.90CH2887-8), P15, DOI 10.1109/ISCA.1990.134503

← 1 2 3 →