Bringing hybrid consistency closer to programmers

Gonçalo Marcelino, Valter Balegas, Carla Ferreira

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

2 Citations (Scopus)

Abstract

Hybrid consistency is a new consistency model that tries to combine the benefits of weak and strong consistency. To implement hybrid consistency, programmers have to identify conflicting operations in applications and instrument them, which is a difficult and error prone task. More recent approaches automatize the process through the use of static analysis over a specification of the application. In this paper we present a new tool that is under development that tries to make the technology more accessible for programmers. Our tool is based on the same well-founded principles of existing work, but uses an intermediate verification language, Boogie, that improves the tool usability and scope in a number of ways. Using a general language for writing specifications makes specifications easier to write and improves expressiveness. Also, we leverage the language to add a library of CRDTs, which allows the programmer to solve conflicts without coordination. We discuss the features that we have already implemented and how they contribute to improve the technology.

Original languageEnglish
Title of host publicationProceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017 - Co-located with European Conference on Computer Systems, EuroSys 2017
PublisherAssociation for Computing Machinery, Inc
Number of pages4
ISBN (Electronic)978-1-4503-4933-8
DOIs
Publication statusPublished - 23 Apr 2017
Event3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017 - Belgrade, Serbia
Duration: 23 Apr 201726 Apr 2017

Conference

Conference3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017
CountrySerbia
CityBelgrade
Period23/04/1726/04/17

    Fingerprint

Keywords

  • Integrity invariants
  • Replication
  • Static verification

Cite this

Marcelino, G., Balegas, V., & Ferreira, C. (2017). Bringing hybrid consistency closer to programmers. In Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2017 - Co-located with European Conference on Computer Systems, EuroSys 2017 [3064896] Association for Computing Machinery, Inc. https://doi.org/10.1145/3064889.3064896