Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings

Vasilis Gavrielatos, Vijay Nagarajan, Panagiota Fatourou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

This work focuses on shared memory systems with a read-write interface (e.g., distributed datastores or multiprocessors). At the heart of such systems resides a protocol responsible for enforcing their consistency guarantees. Designing a protocol that correctly and efficiently enforces consistency is a very challenging task. Our overarching vision is to automate this task. In this work we take a step towards this vision by establishing the theoretical foundation necessary to automatically infer a protocol from a consistency specification. Specifically, we propose a set of mathematical abstractions, called real-time orderings (rt-orderings), that model the protocol. We then create a mapping from consistency guarantees to the minimal rt-orderings that enforce the guarantees. Finally, we informally relate the rt-orderings to protocol implementation techniques. Consequently, rt-orderings serve as an intermediate abstraction between consistency and protocol design, that enables the automatic translation of consistency guarantees into protocol implementations.
Original languageEnglish
Title of host publicationProceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '21)
PublisherAssociation for Computing Machinery (ACM)
Number of pages10
ISBN (Print)9781450383387
DOIs
Publication statusPublished - 26 Apr 2021
Event8th Workshop on Principles and Practice of Consistency for Distributed Data - Virtual
Duration: 26 Apr 202126 Apr 2021
https://papoc-workshop.github.io/2021/cfp.html

Workshop

Workshop8th Workshop on Principles and Practice of Consistency for Distributed Data
Abbreviated titlePaPoC 2021
CityVirtual
Period26/04/2126/04/21
Internet address

Keywords / Materials (for Non-textual outputs)

  • Consistency
  • Coherence
  • Replication
  • Synthesis

Fingerprint

Dive into the research topics of 'Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings'. Together they form a unique fingerprint.

Cite this