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.
- 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
- 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]