Sites Inria

English version

Séminaire des équipes de recherche

Pijul, un système de contrôle de versions distribué basé sur des patchs

© INRIA Sophie Auvin - G comme Grille

Pijul est un système de contrôle de versions distribué basé sur une vraie théorie des patchs.

  • Date : 9/07/2018
  • Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C
  • Intervenants : Pierre-Étienne Meunier

La principale innovation est une structure de données généralisant les fichiers pour tolérer les conflits, tout en permettant de les détecter. Cette structure est complètement transparente pour l'utilisateur, et
permet d'appliquer dans tous les cas un patch en temps logarithmique en la taille de l'histoire du dépôt.

Dans cet exposé, je présenterai notre structure de données, avec une preuve qu'elle contient tous les pushouts. Je parlerai aussi des défis auxquels nous avons dû faire face, autant sur notre première version en OCaml que sur la
version actuelle, démarrée en Rust en 2015.

Keywords: Séminaire Gallium Inria de Paris Pijul Système de contrôle Patchs

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !