SmartCloud - Adaptivité dynamique intelligente pour les systèmes informatiques en nuage

Coordinateur : Monsieur Simon Bliudze Inria de l’Université de Lille - CRIStAL

Équipe : Spirals du Groupe Thématique : GL.

Dates : 10/23 - 07/27

Résumé :

L’environnement de n’importe quelle composante d’un système de calcul en nuage est sujet à une évolution continue. Pour maintenir la disponibilité des services tout en satisfaisant les contraintes économiques, les systèmes de calcul de l’informatique en nuage doivent s’adapter de manière dynamique à ces changements. L’adaptation peut impliquer plusieurs composants et nécessiter des protocoles d’interaction complexes. La principale difficulté réside dans la coordination de l’adaptation des différentes composantes. L’objectif du projet est de développer une infrastructure flexible pour une reconfiguration dynamique intelligente et coordonnée des systèmes de calcul en nuage. Des techniques de méthodes formelles seront utilisées pour permettre de définir explicitement les contraintes structurelles et comportementales du système afin de fournir des garanties de correction formelles et de permettre une adaptation proactive de manière coordonnée. La diffusion des techniques de surveillance et d’optimisation en ligne seront utilisées pour l’adaptation dynamique, dans le but d’optimiser l’efficacité de l’utilisation des ressources de manière évolutive.

Objectifs du projet :

Le projet SmartCloud vise à développer une infrastructure flexible pour la conception de cadres d’adaptation dynamiques intelligents et coordonnés pour les systèmes de calcul de l’informatique en nuage. En particulier, nous visons à :

• Un nouveau formalisme pour la modélisation conjointe des aspects de la plate-forme et des applications des systèmes de calcul en nuage, permettant aux développeurs de spécifier explicitement les contraintes structurelles, comportementales et de disponibilité et fournissant des mécanismes de suivi, de coordination et de contrôle pour l’adaptation dynamique ;
• De nouveaux algorithmes et heuristiques pour l’optimisation en ligne distribuée, en utilisant ces mécanismes pour optimiser la disponibilité et l’efficacité de l’utilisation des ressources de manière évolutive.

Abstract

The environment of any component of a Cloud Computing system is subject to continuous evolution. To maintain service availability while satisfying economic constraints, Cloud Computing systems must dynamically adapt to such changes. Adaptation may involve several components and require complex interaction protocols. The key difficulty lies in coordinating the adaptation of different components. The project goal is to develop a flexible infrastructure for smart and coordinated dynamic reconfiguration of Cloud Computing systems. Formal Methods techniques will be used to allow explicit specification of the structural and behavioural constraints of the system to provide formal correctness guarantees and allow proactive adaptivity in a coordinated manner. Distributed monitoring and online optimisation techniques will be used for dynamic adaptation, aiming to optimise the efficiency of resource usage in a scalable manner.

Project objectives

The SmartCloud project aims to develop a flexible infrastructure for designing smart and coordinated dynamic adaptation frameworks for Cloud Computing systems. In particular, we aim at :

• a new formalism for joint modelling of platform and application aspects of Cloud Computing systems, allowing developers to specify the structural, behavioural, and availability constraints explicitly and providing monitoring, coordination and control mechanisms for dynamic adaptation
• new algorithms and heuristics for distributed online optimisation, utilising these mechanisms to optimise availability and resource usage efficiency in a scalable manner