DESCARTES

Abstraction Layers for Distributed Computing

Abstract

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é

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

Réunion de Fontainebleau (8-10 novembre 2021)
Réunion du Cap Hornu (9-12 juin 2020) [ANNULÉE COVID-19]
Réunion de Paris (9 & 10 octobre 2019)
Réunion de Roscoff (1er & 2 avril 2019)
Réunion de Paris (1er octobre 2018)
Réunion de Paris (28 mars 2018)
Réunion de Poitiers (2-4 octobre 2017)
Réunion de Porquerolles (kick-off meeting, 14-19 mai 2017)

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 TAÏANI, IRISA Stéphane DEVISMES, Vérimag Émmanuel GODART, LIF Achour MOSTEFAOUI, LINA