Brief Announcement: Eventually Consistent Linearizability

被引：0
|
作者：
Kokocinski, Maciej [1 ]
Kobus, Tadeusz [1 ]
Wojciechowski, Pawel T. [1 ]
机构：
[1] Poznan Univ Tech, Inst Comp Sci, Poznan, Poland
来源：
PODC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING | 2015年
关键词：
Eventual consistency; correctness condition; linearizability;
D O I：
10.1145/2767386.2767448
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Eventually consistent linearizability (ec-linearizability) is a new correctness condition for eventually consistent distributed systems (modeled as shared objects). Unlike the existing definitions of eventual consistency, ec-linearizability is suitable for describing the behaviour of some popular eventually consistent systems, such as Cassandra. It is because ec-linearizability allows for certain types of phenomena, such as lost updates. Similarly to linearizability, ec-linearizability is a safety property and is both local and nonblocking. Thus, ec-linearizability is a property that is both easy to use and reason about.
引用
收藏
页码：237 / 239
页数：3
相关论文
共 50 条
  • [1] Brief Announcement: Semantics of Eventually Consistent Replicated Sets
    Bieniusa, Annette
    Zawirski, Marek
    Preguica, Nuno
    Shapiro, Marc
    Baquero, Carlos
    Balegas, Valter
    Duarte, Sergio
    [J]. DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 441 - +
  • [2] Brief Announcement: Linearizability: A Typo
    Sela, Gal
    Herlihy, Maurice
    Petrank, Erez
    [J]. PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 561 - 564
  • [3] Brief Announcement: Concurrency-Aware Linearizability
    Hemed, Nir
    Rinetzky, Noam
    [J]. PROCEEDINGS OF THE 2014 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'14), 2014, : 209 - 211
  • [4] Brief Announcement: A Probabilistic Performance Model and Tuning Framework for Eventually Consistent Distributed Storage Systems
    Chatterjee, Shankha
    Golab, Wojciech
    [J]. PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 259 - 261
  • [5] Brief Announcement: Quasi-Linearizability: Relaxed Consistency for Improved Concurrency
    Afek, Yehuda
    Korland, Guy
    Yanovsky, Eitan
    [J]. DISTRIBUTED COMPUTING, 2010, 6343 : 127 - 129
  • [6] Eventually Consistent
    Vogels, Werner
    [J]. COMMUNICATIONS OF THE ACM, 2009, 52 (01) : 40 - 44
  • [7] Brief Announcement: Consistent Fixed Points and Negative Gain
    Acharya, Hrishikesh B.
    Elmallah, Ehab S.
    Gouda, Mohamed G.
    [J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5873 : 771 - +
  • [8] Eventually Consistent Transactions
    Burckhardt, Sebastian
    Leijen, Daan
    Faehndrich, Manuel
    Sagiv, Mooly
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 67 - 86
  • [9] Brief Announcement: Fork-Consistent Constructions From Registers
    Majuntke, Matthias
    Dobre, Dan
    Suri, Neeraj
    [J]. PODC 11: PROCEEDINGS OF THE 2011 ACM SYMPOSIUM PRINCIPLES OF DISTRIBUTED COMPUTING, 2011, : 209 - 210
  • [10] Brief Announcement: Partially Replicated Causally Consistent Shared Memory
    Xiang, Zhuolun
    Vaidya, Nitin H.
    [J]. PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2018, : 273 - 275
12345