Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre. - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1990

Remote Multiprocedure Call Protocol in the Gothic System: Definition and Implementation

Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre.

Résumé

This thesis work was carried out in the framework of Gothic project aiming at designing and implementing a fault tolerant integrated distributed system for a local area network of multiprocessor machines equipped with Fast Stable Memories (MSR). The Gothic programming language, Polygoth, introduces the concept of multiprocedure for building distributed applications. The multiprocedure is a generalization of the procedure allowing parallel execution of several computations. This thesis work was the design of reliable communication protocols for the implementation of the remote multiprocedure call (RMPC). To implement the RMPC protocol, we have defined a reliable communication system. Its main components are a message reliable communication protocol and an ordered atomic broadcast protocol. The main feature of these protocols relies on the use of the MSR associated with each processor to store critical information of the reliable communication system and the communicating process checkpoints. The Gothic reliable communication system can be used not only for the RMPC but also for other kinds of communication protocols. In particular, we have defined an atomic rendez-vous protocol implemented in the Gothic system on top of the reliable message communication protocol.
Ces travaux de thèse se sont déroulés dans le cadre du projet Gothic, qui avait pour objectif de concevoir et réaliser un système distribué intégré tolérant aux fautes pour un réseau local de machines multiprocesseurs dotées de Mémoires Stables Rapides (MSR). Le langage de programmation du système Gothic, appelé Polygoth, introduit le concept de multiprocédure pour la construction d'applications distribuées. La multiprocédure est une généralisation de la procédure permettant l'exécution en parallèle de plusieurs calculs. Ces travaux de thèse ont porté sur la conception de protocoles de communication fiable pour la mise en oeuvre d'un protocole d'appel de multiprocédure à distance (RMPC). Nous avons défini un système de communication fiable dont les composants essentiels sont un protocole de communication fiable par messages et un protocole de diffusion fiable ordonnée. L'originalité de ces protocoles repose sur l'utilisation de la MSR associée à chaque processeur pour y ranger les informations cruciales du système de communication et des points de reprise des processus communicants. Le système de communication fiable de Gothic dépasse le cadre du protocole RMPC. Nous avons en particulier défini un protocole de rendez-vous atomique mis en oeuvre dans le système Gothic au-dessus du protocole de communication fiable par messages.
Fichier principal
Vignette du fichier
cmorin-these.pdf (12.01 Mo) Télécharger le fichier

Dates et versions

tel-00432204 , version 1 (20-11-2009)

Identifiants

  • HAL Id : tel-00432204 , version 1

Citer

Christine Morin. Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre.. Informatique [cs]. Université Rennes 1, 1990. Français. ⟨NNT : ⟩. ⟨tel-00432204⟩
208 Consultations
41 Téléchargements

Partager

Gmail Facebook X LinkedIn More