Consistency in Distributed Storage Systems

Consistency is one of the fundamental issues of distributed computing. Theoretically, there are many competing consistency models, all subtly different and hard to understand. In practice, the well-known the Consistency-Availability-Partition Tolerance trade-off translates to difficult choices between fault tolerance, performance, and programmability. This workshop studies the consistency issue in the context of massive-scale storage systems for mutable and persistent data. This includes file systems, object storage systems, and databases.

This workshop is organised by the French ANR Project RainbowFS. RainbowFS aims to deconstruct consistency and to develop principled tools for the design, verification, deployment and monitoring, and to use them for developing a correct-by-construction and efficient geo-scale petabyte-sized storage system.

Tentative agenda

9:00—10:30 File systems
  • Marc Shapiro (UPMC-LIP6 & Inria): The RainbowFS project. [slides]
  • Philippa Gardner (Imperial College): A Concurrent Specification of PoSIX. [slides] [Ntzik's PhD thesis]
  • Leandro Pacheco (USI): GlobalFS: A Strongly Consistent Multi-Site File System.[slides] [paper]
10:30–11:00 Coffee break
11:00–12:30 Protocols
  • Fernando Pedone (USI): Scaling State Machine Replication. [slides] [papers]
  • Diego Didona (EPFL): Fast and Scalable Transactional Causal Consistency for Geo-Replicated Key-Value Stores. [slides]
  • Dragos-Adrian Seredinschi (EPFL): Incremental Consistency Guarantees for Replicated Objects.[slides] [paper]
12:30–14:00 Lunch (on your own)
14:00–15:30 Programming Tools
  • Nuno Preguiça (NOVA-LINCS): Maintaining SQL invariants in weakly consistent databases. [slides]
  • Carla Ferreira (NOVA-LINCS): Consistency made easy: building correct-by-design cloud applications. [slides]
  • Peter Zeller (U. Kaiserslautern): Repliss: A tool for building correct applications on top of weak consistency. [slides] [paper]
15:30–16:00 Coffee break
16:00–17:30 Verification
  • Gustavo Petri (IRIF Paris-Diderot): Strong Invariants for Weak Consistency.[slides]
  • Alexey Gotsman (IMDEA Software): Towards modular verification of consensus protocols.
  • Constantin Enea (IRIF Paris-Diderot): On Verifying Causal Consistency. [slides]