Composing ordered sequential consistency

Kfir Lev-Ari; Edward Bortnikov; Idit Keidar; Alexander Shraer

doi:10.1016/j.ipl.2017.03.004

Composing ordered sequential consistency

Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

Abstract

We define ordered sequential consistency (OSC), a generic criterion for concurrent objects. We show that OSC encompasses a range of criteria, from sequential consistency to linearizability, and captures the typical behavior of real-world coordination services, such as ZooKeeper. A straightforward composition of OSC objects is not necessarily OSC, e.g., a composition of sequentially consistent objects is not sequentially consistent. We define a global property we call leading ordered operations, and prove that it enables correct OSC composition.

Original language	English
Pages (from-to)	47-50
Number of pages	4
Journal	Information Processing Letters
Volume	123
DOIs	https://doi.org/10.1016/j.ipl.2017.03.004
State	Published - 1 Jul 2017

Keywords

Composability
Consistency
Distributed systems

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Access to Document

10.1016/j.ipl.2017.03.004

Cite this

@article{42020fb7882f4ea5b28d7a2dba458e1b,

title = "Composing ordered sequential consistency",

abstract = "We define ordered sequential consistency (OSC), a generic criterion for concurrent objects. We show that OSC encompasses a range of criteria, from sequential consistency to linearizability, and captures the typical behavior of real-world coordination services, such as ZooKeeper. A straightforward composition of OSC objects is not necessarily OSC, e.g., a composition of sequentially consistent objects is not sequentially consistent. We define a global property we call leading ordered operations, and prove that it enables correct OSC composition.",

keywords = "Composability, Consistency, Distributed systems",

author = "Kfir Lev-Ari and Edward Bortnikov and Idit Keidar and Alexander Shraer",

note = "Publisher Copyright: {\textcopyright} 2017 Elsevier B.V.",

year = "2017",

month = jul,

day = "1",

doi = "10.1016/j.ipl.2017.03.004",

language = "الإنجليزيّة",

volume = "123",

pages = "47--50",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Composing ordered sequential consistency

AU - Lev-Ari, Kfir

AU - Bortnikov, Edward

AU - Keidar, Idit

AU - Shraer, Alexander

PY - 2017/7/1

Y1 - 2017/7/1

N2 - We define ordered sequential consistency (OSC), a generic criterion for concurrent objects. We show that OSC encompasses a range of criteria, from sequential consistency to linearizability, and captures the typical behavior of real-world coordination services, such as ZooKeeper. A straightforward composition of OSC objects is not necessarily OSC, e.g., a composition of sequentially consistent objects is not sequentially consistent. We define a global property we call leading ordered operations, and prove that it enables correct OSC composition.

AB - We define ordered sequential consistency (OSC), a generic criterion for concurrent objects. We show that OSC encompasses a range of criteria, from sequential consistency to linearizability, and captures the typical behavior of real-world coordination services, such as ZooKeeper. A straightforward composition of OSC objects is not necessarily OSC, e.g., a composition of sequentially consistent objects is not sequentially consistent. We define a global property we call leading ordered operations, and prove that it enables correct OSC composition.

KW - Composability

KW - Consistency

KW - Distributed systems

UR - http://www.scopus.com/inward/record.url?scp=85015980976&partnerID=8YFLogxK

U2 - 10.1016/j.ipl.2017.03.004

DO - 10.1016/j.ipl.2017.03.004

M3 - مقالة

SN - 0020-0190

VL - 123

SP - 47

EP - 50

JO - Information Processing Letters

JF - Information Processing Letters

ER -

Composing ordered sequential consistency

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this