A Unified, Practical, and Understandable Model of Non-transactional Consistency Levels in Distributed Replication
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918034498650112 |
|---|---|
| author | Hu, Guanzhou Arpaci-Dusseau, Andrea Arpaci-Dusseau, Remzi |
| author_facet | Hu, Guanzhou Arpaci-Dusseau, Andrea Arpaci-Dusseau, Remzi |
| contents | We present a practical model of non-transactional consistency levels in the context of distributed data replication. Unlike prior work, our simple Shared Object Pool (SOP) model defines common consistency levels in a unified framework centered around the single concept of ordering. This naturally reflects modern cloud object storage services and is thus easy to understand. We show that a consistency level can be intuitively defined by specifying two types of constraints on the validity of orderings allowed by the level: convergence, which bounds the lineage shape of the ordering, and relationship, which bounds the relative positions between operations. We give examples of representative protocols and systems, and discuss their availability upper bound. To further demonstrate the expressiveness and practical relevance of our model, we use it to implement a Jepsen-integrated consistency checker for the four most common levels (linearizable, sequential, causal+, and eventual); the checker analyzes consistency conformity for small-scale histories of real system runs (etcd, ZooKeeper, and RabbitMQ). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_01576 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Unified, Practical, and Understandable Model of Non-transactional Consistency Levels in Distributed Replication Hu, Guanzhou Arpaci-Dusseau, Andrea Arpaci-Dusseau, Remzi Distributed, Parallel, and Cluster Computing We present a practical model of non-transactional consistency levels in the context of distributed data replication. Unlike prior work, our simple Shared Object Pool (SOP) model defines common consistency levels in a unified framework centered around the single concept of ordering. This naturally reflects modern cloud object storage services and is thus easy to understand. We show that a consistency level can be intuitively defined by specifying two types of constraints on the validity of orderings allowed by the level: convergence, which bounds the lineage shape of the ordering, and relationship, which bounds the relative positions between operations. We give examples of representative protocols and systems, and discuss their availability upper bound. To further demonstrate the expressiveness and practical relevance of our model, we use it to implement a Jepsen-integrated consistency checker for the four most common levels (linearizable, sequential, causal+, and eventual); the checker analyzes consistency conformity for small-scale histories of real system runs (etcd, ZooKeeper, and RabbitMQ). |
| title | A Unified, Practical, and Understandable Model of Non-transactional Consistency Levels in Distributed Replication |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2409.01576 |