Relationships between memory models

被引：6

作者：

Cholvi, V ^{[1
]}

Bernabéu, J

机构：

[1] Univ Jaume 1, Dept Lenguajes & Sistemas Informat, Castellon, Spain

[2] Univ Politecn Valencia, Inst Informat Technol, E-46071 Valencia, Spain

来源：

INFORMATION PROCESSING LETTERS | 2004年 / 90卷 / 02期

关键词：

formal methods; memory models; consistency models; distributed systems; concurrency;

D O I：

10.1016/j.ipl.2004.01.007

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. (C) 2004, Elsevier B.V. All rights reserved.

引用

页码：53 / 58

页数：6

共 13 条

[1]

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

[2]

[Anonymous], 1988, CSTR18088 PRINC U

[3] SEQUENTIAL CONSISTENCY VERSUS LINEARIZABILITY [J].

ATTIYA, H ;

WELCH, JL .

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

[4]

Bershad B., 1991, CMUCS91170

[5]

Collier WilliamW., 1992, Reasoning about Parallel Architectures

[6]

GOODMAN J, 1989, 61 IEEE SCAL COH INT

[7] LINEARIZABILITY - A CORRECTNESS CONDITION FOR CONCURRENT OBJECTS [J].

HERLIHY, MP ;

WING, JM .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (03) :463-492

[8]

Keleher P., 1992, P 19 ANN INT S COMP, P13

[9]

LAMPORT L, 1979, IEEE T COMPUT, V28, P690, DOI 10.1109/TC.1979.1675439

[10] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

COMMUNICATIONS OF THE ACM, 1978, 21 (07) :558-565

← 1 2 →