Cohérence modulaire et conception conjointe d'un système de fichiers massif – RainbowFS

La proposition RainbowFS développe une nouvelle approche du stockage et de la cohérence, dans le développement d'applications réparties à l'échelle du nuage, sur l'idée « ni trop, ni pas assez ». Les approches existantes forcent le développeur à adapter son application à un modèle de cohérence prédéfini ; or, aucun modèle n'est adapté à tous les usages. À l'inverse, nous proposons des outils pour la co-conception de l'application et de son protocole de cohérence. Cette approche réconcilie les exigences contradictoires de disponibilité et performance d'une part, et de sûreté de l'autre : les opérations les plus communes sont asynchrones ; on ne synchronise que quand c'est strictement nécessaire au maintien des invariants d'intégrité de l'application. De plus, nous déconstruisons les modèles de cohérence classiques en primitives orthogonales composables de façon efficace, et fournissons des outils pour le déploiement rapide et l'exécution efficace et correcte d'application de grande échelle. En utilisant la méthodologie ci-dessus, nous développerons un système de fichiers de niveau entreprise, hautement scalable, couvrant tout l'arc-en-ciel des sémantiques possibles, dont nous ferons la démonstration dans une expérimentation à échelle massive.