Journée Cloud sur Nantes

L’utilisation de ressources informatiques sous forme de services à la demande, aussi appelé cloud computing, constitue désormais une réalité dans la plupart des domaines de l’informatique. Néanmoins, ce changement massif de paradigme ne s’est pas encore matérialisé par un cadre formel cohérent ni des technologies standardisées. Ainsi la mise sous forme de service d’un logiciel existant ou même son développement constitue toujours un effort de R&D particulièrement important pour un éditeur de logiciel. De plus, si des standards de facto sont apparus dans le cloud computing (par exemple, Amazon EC2 ou OpenStack pour le IaaS), ces standards restent cloisonnés à un domaine particulier : infrastructure (IaaS), plateforme (PaaS) ou applicatif (SaaS). Nous croyons que le développement d’outils scientifiques et techniques spécifiques au cloud computing dans son ensemble permettront de baisser considérablement le coût d’entrée sur le marché du cloud d’acteurs existants du logiciel mais aussi de permettre le développement de nouveaux services innovants et à forte valeur ajoutée grâce au décloisonnement des technologies du cloud computing.
Cet exposé présente le projet OCCIware qui vise à développer un cadre formel ainsi que les outils de modélisation, conception, déploiement et exécution de toute ressource informatique sous forme de service. Ce cadre repose sur la recommandation Open Cloud Computing Interface (OCCI) de l’Open Grid Forum (OGF) et s’inscrit ainsi dans la continuité du projet FUI CompatibleOne. Notre premier objectif est de proposer une spécification formelle d'OCCI qui soit mathématiquement consistante, non ambigüe et complète. Nous avons choisi Alloy, un langage de spécification léger basé sur la logique relationnelle du premier ordre, pour écrire notre spécification formelle d'OCCI. L'intérêt d'Alloy est la simplicité de ce langage et l'utilisation facile de son analyseur, qui agit essentiellement comme un vérificateur de modèles et un générateur de contre-exemples. Cela permet de rapides itérations entre modélisation et analyse lors de l'écriture et la mise au point d'une spécification.
Cet exposé présentera une spécification en Alloy de la sémantique statique et d'une partie de la sémantique dynamique du coeur d'OCCI.
Ce modèle formel est ensuite outillé dans l'environnement Eclipse par une chaîne d'outils dirigée par le modèle OCCI.
Cette chaîne propose un langage dédié de modélisation OCCI. La syntaxe abstraite de ce langage est capturée via un méta-modèle Ecore, la syntaxe concrète est un schéma XMI, la sémantique statique est exprimée par des contraintes OCL. Enfin, notre chaîne offre un modeleur graphique pour modéliser des extensions OCCI.

Cet exposé présente un survol des activités de l'équipe Avalon en relation avec les clouds au sens large, en particulier vis à vis des défis liés à la consommation d'énergie, à la simulation de cloud, à la gestion de données, aux modèles de composant, et enfin aux placements d’applications.

Demand for Green services is increasing considerably as people are getting more environmental conscious to build a sustainable society. Therefore, enterprise and clients want to shift their workloads towards green Cloud environment offered by the Infrastructure-as-a-Service (IaaS) provider. The main challenge for an IaaS provider is to determine the best trade-off between its profit while using renewable energy and customers satisfaction. In order to address this issue, we provide a Cloud energy broker, which can adjust the availability and price combination to buy Green energy dynamically from the market to make datacenter green. We investigate a simplified power model from where we can formulate and predict power demand. Our energy broker tries to maximize of using renewable energy under strict budget constraint whereas it also tries to minimize the use of brown energy by capping the limit of overall energy consumption of datacenter. The energy broker was evaluated with a real workload traced by PlanetLab. Experimental results show that our energy broker successfully keeps the best trade-off.

Accountability of software systems designates the capacity of providing, often certified, information on their execution, notably related to the occurrence of erroneous or malicious events. We will report on new techniques for achieving accountability in Cloud environments.

L'exposé se propose de présenter un prototype de framework de checkpoints as a service pour les infrastructures cloud. Le framework est issue de la collaboration entre l'équipe Myriads (centre de Rennes) et la Northeastern University de Boston. Le prototype s'appuie sur l'outil de checkpointing DMTCP[1] et Snooze[2] et son ambition est :

1. d'assurer la tolérance aux pannes d'applications,
2. de permettre la migration légère d'applications, localement à la plateforme originelle ou sur une autre plateforme,
3. de permettre l'élasticité d'applications,
4. de fournir un environnement d'exécution d'applications dans le cloud.

[1]Jason Ansel, Kapil Arya and Gene Cooperman. 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS'09). 12 pages, Rome, Italy. May, 2009

[2]Eugen Feller, Louis Rilling, Christine Morin, "Snooze: A Scalable and Autonomic Virtual Machine Management Framework for Private Clouds," ccgrid, pp.482-489, 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), 2012