Coordination and Reconfiguration of Distributed Cloud Applications

Rim Abid 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Les applications réparties dans le nuage sont constituées d’un ensemble de composants logiciels interconnectés et répartis sur plusieurs machines virtuelles. Cet environnement nécessite des protocoles pour reconfigurer dynamiquement ces applications. Nous présentons dans la première partie de cette thèse un nouveau protocole pour résoudre les dépendances dans ces applications. Ce protocole consiste à (dé) connecter et démarrer/arrêter les composants dans un ordre spécifique. Il supporte les pannes des machines virtuelles et les opérations de reconfiguration se terminent toujours avec succès. Ces machines virtuelles interagissent à travers un «publish-subscribe support de communication» et se reconfigurent d’une manière décentralisée. La conception de ces protocoles étant une source d’erreurs. Alors, nous avons étudié l’utilisation des langages et techniques de verification formelles. En particulier, nous avons utilisé LNT pour spécifier le protocole et les outils disponibles dans la boîte à outils CADP pour le vérifier. D’autre part, la gestion des applications reparties dans le nuage est une tâche complexe car l’administration manuelle n’est plus réaliste pour ces systèmes. Nous avons proposé d’automatiser certaines fonctions d’administration en utilisant des boucles de contrôle appelées gestionnaires autonomes. Plusieurs gestionnaires peuvent être déployés pour la gestion de la même application. Cependant, leur utilisation sans coordination peut conduire à des incohérences et à des situations d’erreur. Dans la deuxième partie de cette thèse, nous avons proposé une nouvelle approche pour coordonner plusieurs gestionnaires autonomes. Cette approche repose sur un language de coordination simple, de nouvelles techniques asynchrones pour la synthèse de contrôleur et la génération de code Java. Nous avons appliqué notre approche pour coordonner les applications réparties dans le nuage dans le monde réel.
Type de document :
Thèse
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2015. English
Liste complète des métadonnées

Littérature citée [130 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01258795
Contributeur : Radu Mateescu <>
Soumis le : mardi 19 janvier 2016 - 14:44:03
Dernière modification le : mercredi 11 avril 2018 - 01:51:54
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 12:16:51

Fichier

Identifiants

  • HAL Id : tel-01258795, version 1

Collections

Citation

Rim Abid. Coordination and Reconfiguration of Distributed Cloud Applications. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2015. English. 〈tel-01258795〉

Partager

Métriques

Consultations de la notice

413

Téléchargements de fichiers

249