Systèmes distribués : transparence, masquage et outils associés

Abstract

Ce document traite du problème, toujours actuel, de l’unification des paradigmes de programmation locale et de programmation distribuée. Après une définition de cette notion d’unification, nous présenterons cinq caractéristiques des systèmes distribués que nous considérons comme fondamentales : les pannes partielles, la concurrence, la confiance, la mémoire répartie et la latence. Nous verrons comment ces caractéristiques peuvent être prises en charge de façon transparente dans un but d’unification ainsi que les contraintes imposées par une telle transparence. Nous présenterons ensuite nos contributions dans le domaine de la prise en charge de la caractéristique de la mémoire répartie au travers de la bibliothèque de communication JToe. Par ailleurs, nous avons contribué à la prise en charge de la latence par l’introduction transparente d’asynchronisme dans une application orientée objets. Nous verrons les possibilités offertes par ce nouvel asynchronisme et nous prouverons, à l’aide du Pi-calcul, le respect de la sémantique séquentielle de l’application synchrone d’origine. Ces travaux nous amènent à proposer un nouveau modèle original de programmation concurrente : les bouquets d’activations.