Protocoles d'accord pour la gestion d'une grille de calcul dynamique

Agreement Protocols to Manage a Dynamic Grid

• Auteur / Autrice : Julien Pley
• Direction : Michel Hurfin
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2007
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Systèmes adaptatifs (technologie)

Systèmes informatiques -- Pannes

Tolérance aux fautes (informatique)

Grilles informatiques

Résumé

Nous présentons un système de gestion de grilles de calcul dynamique où les ressources fédérées sont mises à disposition par différentes institutions. Au sein d'un domaine, les ressources peuvent interagir de façon synchrone. Les interactions entre ressources de domaines distincts sont asynchrones. Une machine ou un domaine peut joindre et quitter la grille à tout moment, de manière délibérée, ou suite à une  défaillance. Nous proposons une solution tolérante aux défaillances qui exploite cette structure hiérarchique pour résoudre les problèmes d'évolution de la composition de la grille et de placement des tâches avec équilibrage de charge.   Chaque service est la composition d'un protocole synchrone et d'un protocole d'accord asynchrone qui est toujours une déclinaison du problème fondamental du Consensus. Nous définissons l'insensibilité aux suspicions erronées,  une métrique inédite pour comparer des protocoles de Consensus utilisant des détecteurs de défaillances ''Losange S''.

We present a middleware for dynamic grids where the federated resources are provided by different institutions. Within a domain, the resources interact in a synchronous manner. Interactions between resources belonging to different domains are asynchronous. Every machine or domain can join or leave the grid at any time; due to failures, or on purpose. We propose a fault-tolerant solution which takes advantage of this hierarchical structure to solve the grid membership problem and the load-balanced task allocation problem. Each service is the composition of a synchronous protocol and an asynchronous agreement protocol which is always a variation of the fundamental Consensus problem. We define the ''insensitivity to erroneous suspicions''; a new metric to compare different Consensus protocols based on Diamond S failure detectors.