Mergeable persistent data structures

Abstract : Irmin is an OCaml library to design purely functional data structures that can be persisted on disk and be merged and synchronised efficiently. In this paper, we focus on the "merge" aspect of the library and present two data structures built on top of Irmin: (i) queues and (ii) ropes that extend the corresponding purely functional data structures with a 3-way merge operation. We provide early theoretical and practical complexity results for these new data structures. Irmin is available as open-source code as part of the MirageOS project.
Type de document :
Communication dans un congrès
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01099136
Contributeur : David Baelde <>
Soumis le : mercredi 31 décembre 2014 - 15:40:42
Dernière modification le : vendredi 30 janvier 2015 - 01:17:41
Document(s) archivé(s) le : mercredi 1 avril 2015 - 10:26:08

Fichier

jfla15_submission_24.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01099136, version 1

Citation

Benjamin Farinier, Thomas Gazagnaire, Anil Madhavapeddy. Mergeable persistent data structures. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉. 〈hal-01099136v1〉

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

89