On the definition of sequential consistency

被引：0
|
作者：
Sezgin, A [1 ]
Gopalakrishnan, G
机构：
[1] Atilim Univ, Dept Comp Engn, TR-06836 Ankara, Turkey
[2] Univ Utah, Sch Comp, Salt Lake City, UT 84108 USA
来源：
INFORMATION PROCESSING LETTERS | 2005年 / 96卷 / 06期
关键词：
concurrency; distributed systems; shared memory; sequential consistency; formalization;
D O I：
10.1016/j.ipl.2005.09.002
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The definition of sequential consistency is compared with an intuitive notion of correctness. That the definition is not strong enough is illustrated through a hypothetical memory system which is clearly incorrect, yet sequentially consistent. It is claimed that the reason for this is the absence of a relation between what actually happens (temporal order) and what seems to happen (logical order). A stronger version of sequential consistency is proposed. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：193 / 196
页数：4
相关论文
共 50 条
  • [1] STRUCTURAL CONSISTENCY, CONSISTENCY, AND SEQUENTIAL RATIONALITY
    KREPS, DM
    RAMEY, G
    [J]. ECONOMETRICA, 1987, 55 (06) : 1331 - 1348
  • [2] Regular Sequential Serializability and Regular Sequential Consistency
    Helt, Jeffrey
    Burke, Matthew
    Levy, Amit
    Lloyd, Wyatt
    [J]. PROCEEDINGS OF THE 28TH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, SOSP 2021, 2021, : 163 - 179
  • [3] Automatable Verification of Sequential Consistency
    Anne E. Condon
    Alan J. Hu
    [J]. Theory of Computing Systems, 2003, 36 : 431 - 460
  • [4] Sequential consistency as lazy linearizability
    Raynal, M
    [J]. EURASIA-ICT 2002: INFORMATION AND COMMUNICATION TECHNOLOGY, PROCEEDINGS, 2002, 2510 : 866 - 873
  • [5] Automatable verification of sequential consistency
    Condon, AE
    Hu, AJ
    [J]. THEORY OF COMPUTING SYSTEMS, 2003, 36 (05) : 431 - 460
  • [6] CONSISTENCY OF SEQUENTIAL BINOMIAL ESTIMATES
    WOLFOWITZ, J
    [J]. ANNALS OF MATHEMATICAL STATISTICS, 1947, 18 (01): : 131 - 135
  • [7] SEQUENTIAL CONSISTENCY VERSUS LINEARIZABILITY
    ATTIYA, H
    WELCH, JL
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1994, 12 (02): : 91 - 122
  • [8] Fork sequential consistency is blocking
    Cachin, Christian
    Keidar, Idit
    Shraer, Alexander
    [J]. INFORMATION PROCESSING LETTERS, 2009, 109 (07) : 360 - 364
  • [9] Sequential consistency in distributed systems
    Mizuno, M
    Raynal, M
    Zhou, JZ
    [J]. THEORY AND PRACTICE IN DISTRIBUTED SYSTEMS, 1995, 938 : 224 - 241
  • [10] Composing ordered sequential consistency
    Lev-Ari, Kfir
    Bortnikov, Edward
    Keidar, Idit
    Shraer, Alexander
    [J]. INFORMATION PROCESSING LETTERS, 2017, 123 : 47 - 50
12345