DESCARTES

Abstraction Layers for Distributed Computing

Abstract [pdf]


Despite the practical interests of reusable frameworks for implementing specific distributed services, many of these frameworks still lack solid theoretical bases, and only provide partial solutions for a narrow range of services. We argue that this is mainly due to the lack of a generic framework that is able to unify the large body of fundamental knowledge on distributed computation that has been acquired over the last 40 years. The DESCARTES project aims at bridging this gap, by developing a systematic model of distributed computation that organizes the functionalities of a distributed computing system into reusable modular constructs assembled via well-defined mechanisms that maintain sound theoretical guarantees on the resulting system. DESCARTES arises from the strong belief that distributed computing is now mature enough to resolve the tension between the social needs for distributed computing systems, and the lack of a fundamentally sound and systematic way to realize these systems.

Abstractions modulaires pour le calcul distribué

Résumé [pdf]


Malgré l'intérêt que des environnements réutilisables pour l’implémentation de services distribués spécifiques peuvent avoir en pratique, encore beaucoup de ces environnements manquent de bases théoriques solides et fournissent seulement des solutions partielles pour une gamme de services limitée. Selon nous, la raison principale est qu'il n'existe pas encore de cadre suffisamment générique capable d'unifier l'ensemble conséquent des connaissances fondamentales du calcul distribué acquises pendant ces 40 dernières années. Le projet DESCARTES a pour but de combler ce vide en développant un modèle systématique du calcul distribué capable d'organiser un système distribué en modules réutilisables, assemblés par des mécanismes bien définis permettant de maintenir de solides garanties théoriques sur le système résultant. Nous pensons venu le temps pour un tel projet car nous croyons fortement que le calcul distribué est maintenant assez mature pour résoudre le conflit entre les besoins sociétaux en systèmes distribués et le manque d'une méthodologie systématique aux bases solides permettant de réaliser ces systèmes.

Réunions

Meetings

Support ANR

ANR support

Toutes les publications des membres du projet en rapport avec le projet doivent faire mention explicite du support de l'ANR avec la phrase:

Supported by the French ANR project ANR-16-CE40-0023 (DESCARTES)

Partenaires

Partners

LaBRI, Université de Bordeaux
  • Cyril GAVOILLE, LaBRI, coordinateur
  • David ILINCKAS, LaBRI, vice-coordinateur
  • Colette JOHNEN, LaBRI
  • Yves MÉTIVIER, LaBRI
  • Alessia MILANI, LaBRI
  • Corentin TRAVERS, LaBRI
IRIF, Université Paris Diderot
  • Carole DELPORTE, IRIF
  • Hugues FAUCONNIER, IRIF, coordinateur local
  • Pierre FRAIGNIAUD, IRIF
  • Adrian KOSOWSKI, IRIF
  • Laurent VIENNOT, IRIF
IRISA, Université de Rennes 1
  • Michel RAYNAL, IRISA, coordinateur local
  • François TAÏANI, IRISA
  • Stéphane DEVISMES, Vérimag
  • Émmanuel GODART, LIF
  • Achour MOSTEFAOUI, LINA

Publications

Publications