DUCAT : le calcul distribué sur réseaux à la lumière de la topologie algébrique

Quasiment tous les systèmes informatiques, des alarmes d’incendie aux services à l’échelle d'Internet, sont de nos jours distribués: ils consistent en un certain nombre d’unités informatiques exécutant des calculs indépendants et communiquant les uns avec les autres pour synchroniser leurs activités. Notre dépendance à la performance et à la fiabilité de l’informatique distribuée devient de plus en plus importante. La compréhension des fondamentaux de l’informatique distribuée revêt donc une importance cruciale. La principale difficulté réside dans l’immense diversité des applications distribuées, des modèles de calculs répartis et des paramètres de performance, combinés à l’absence d’outils conceptuels (mathématiques) universels pour gérer cette complexité. Au tournant du XXIe siècle, une avancée significative a été réalisée en calcul distribuée grâce à l’utilisation d'outils issus de la topologie algébrique. L'approche topologique a permis d’obtenir de nombreux résultats remarquables en conception et analyse d'algorithmes, pour de grandes classes de tâches et une grande variété de modèles. Cependant, la "révolution topologique" n’a principalement affecté que les modèles de calcul sur mémoire partagée, tandis que les modèles liés au calcul distribué sur réseaux ont été laissés de côté. En conséquence, malgré d’énormes progrès, les techniques utilisées en algorithmique distribuée sur réseaux restent ad hoc, et une compréhension conceptuelle globale du calcul sur réseaux fait toujours défaut.   Par l’utilisation de la topologie algébrique, le projet DUCAT vise à fournir au calcul distribué sur réseaux les mêmes avantages conceptuels et les mêmes outils génériques que ceux obtenus par le calcul distribué sur mémoire partagée.