CRDTs for truly concurrent file systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

CRDTs for truly concurrent file systems

Romain Vaillant
  • Function : Author
  • PersonId : 1104305
Dimitrios Vasilas
  • Function : Author
  • PersonId : 1104306
Marc Shapiro


Building scalable and highly available geo-replicated file systems is hard. These systems need to resolve conflicts that emerge in concurrent operations in a way that maintains file system invariants, is meaningful to the user, and does not depart from the traditional file system interface. Conflict resolution in existing systems often leads to unexpected or inconsistent results. This paper introduces ElmerFS, a geo-replicated, truly concurrent file system designed with the aim of addressing these challenges. ElmerFS is based on two key ideas: (1) the use of Conflict-Free Replicated Data Types (CRDTs) for representing file system structures, which ensures that replicas converge to a correct state, and (2) conflict resolution rules, which are determined by the choice of CRDT types and their composition, designed with the principle of being intuitive to the user. We argue that if the state of the file system after resolving a conflict conveys to the user the resolved conflict in an intuitive way, the user can complement or reverse it using traditional file system operations. We discuss the challenges in the design of geo-replicated weakly consistent file systems, and present the design of ElmerFS.
Fichier principal
Vignette du fichier
CRDT-filesystem-HotStorage-2021.pdf (252.35 Ko) Télécharger le fichier

Dates and versions

hal-03278658 , version 1 (05-07-2021)


  • HAL Id : hal-03278658 , version 1


Romain Vaillant, Dimitrios Vasilas, Marc Shapiro, Thuy Linh Nguyen. CRDTs for truly concurrent file systems. HotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France. ⟨hal-03278658⟩
122 View
371 Download


Gmail Facebook X LinkedIn More