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

Distributed systems : transparency, masking and asssocited tools

• Auteur / Autrice : Pascal Grange
• Direction : Serge Chaumette
• Type : Thèse de doctorat
• Discipline(s) : Informatique et mathématiques
• Date : Soutenance en 2005
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Ordinateurs -- Programmation

Traitement réparti

Mots clés libres

Programmation concurrente

Bouquets d'activations

Pi-calcul

Synchronisme

Résumé

Ce document traite du problème, toujours actuels, 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 traversd e la bibliothèque de communication JToe. Par aileurs, 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 π-calcul, le respect de la sémantique séquentielle de l'application synchrone d'origine.