Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription

Dimension: px
Commencer à balayer dès la page:

Download "Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription"

Transcription

1 Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin

2 Plan Contexte Problématique Objectifs Contributions Conclusion Perspectives 2

3 Contexte Grilles de PCs : Variante de grilles de calcul Exploiter les PCs d utilisateurs pour construire une puissance de calcul Problématiques Gestion de la volatilité Décentralisation de la gestion de ressources Décentralisation de l exécution des applications distribuées et de l ordonnancement des tâches Idée Systèmes de publication-souscription qui offrent des mécanismes de notification et de coordination sans recours à un coordinateur central BonjourGrid 3

4 BonjourGrid Middleware basé sur l'annonce de services à base de multicast : mécanisme de publication-souscription Principes : Décentraliser la gestion et l organisation autonome des ressources dans les systèmes de grille de PCs. Coordonner plusieurs instances simultanées d ordonnanceurs de tâches de type Boinc, Condor, XtremWeb. Introduire la notion des méta-intergiciel (plusieurs intergiciels avec gestion autonome et décentralisée) 4

5 Problématique BonjourGrid est dédié aux réseaux locaux Pas de spécification de Bonjour pour les réseaux à grande échelle Que peut-on utiliser comme technologie existante afin d assurer le passage à l échelle? XMPP (Extensible Messaging and Presence Protocol)? Hookbox? Redis? Bonjour a été développé et spécifié avec des méthodes «ad-hoc» Besoin de consolider le protocole Besoin de le revisiter en termes de langages/technologies Web 5

6 Objectifs Plan théorique et méthodologique Consolider la confiance à travers des méthodes de vérification formelle Garantir un certain degré de «sécurité» en mettant en place des mécanismes de vérification/certification des résultats Développement logiciel Produire une instance de BonjourGrid qui utilise un mécanisme de publication-souscription sur Internet de type XMPP, Redis, Hookbox Développer un nouvel intergiciel de grilles de PCs pour PC, NetPC, smartphone et tablettes 6

7 Plan Contexte Problématique Objectifs Contributions Conclusion Perspectives 7

8 Contributions Revisiter les interactions dans une grille de PCs, avec en plus une vérification formelle et des technologies Web2.0 (en plus des outils construits de manière ad-hoc qui ne couvrent qu'une partie des besoins) Modélisation formelle du paradigme Publish-Subscribe Modélisation formelle de la spécification initiale du protocole BonjourGrid Vérification formelle des propriétés fondamentales du fonctionnement de BonjourGrid (ex. Liveness) Utilisation des Réseaux de Petri colorés pour la spécification et la vérification 8

9 Publish-Subscribe Mode de communication multi-point, anonyme, implicite et asynchrone Découplage total entre producteur et consommateur d événements: Spatial (les entités en interaction ne se connaissent pas) Temporel (les entités n ont pas besoin d interagir en même temps) 9

10 Modélisation formelle 10

11 Contributions Intégration du modèle formel de BonjourGrid au dessus du modèle de Pub-Sub 11

12 Contributions Intégration du modèle formel de BonjourGrid au dessus du modèle de Pub-Sub 12

13 Résultats Spécification formelle de Publish-Subscribe et BonjourGrid Vérification formelle des propriétés fondamentales de BonjourGrid Propriétés générales Absence de blocage (pas de Deadlocks) Toutes les transitions sont exécutables (tout événement est réalisable) Espace d états construit d une seule composante fortement connexe (la propriété de Liveness est vérifiée) Propriétés spécifiques Chaque événement publié est reçu par tous les souscripteurs intéressés Un coordinateur commence l exécution de son application s il existe au moins une machine acceptant d y participer Si un coordinateur finit l exécution de son application alors tous les Workers associés seront libérés Un Worker ne peut être rattaché qu à un seul Coordinateur 13

14 Proposition d un prototype de middleware WAN Basé sur le paradigme de Publish-Subscribe Fonctionnalités requises Le stockage du code à exécuter Le stockage des données en entrée et en sortie Le support du mécanisme Publish-Subscribe État de l art XMPP et Hookbox ne répondent pas tout à fait nos besoin. Redis permet de satisfaire toutes les fonctionnalités requises. 14

15 Entités du prototype MainServer : Serveur principal du protocole DataServer : Serveur du stockage des données en entrée/sortie CodeServer : Serveur du code à exécuter Server Form MultiProcessing Tasks Machine is a is a is a is a DataManager Engine Coordinator Worker 15

16 Entités du prototype Exécute les tâches selon leurs interdépendances Server Form MultiProcessing Tasks Machine is a is a is a is a DataManager Engine Coordinator Worker 16

17 Entités du prototype Stocke les propriétés des machines (processeur, mémoire, etc) Server Form MultiProcessing Tasks Machine is a is a is a is a DataManager Engine Coordinator Worker 17

18 Proposition d algorithme d ordonnancement pour le prototype Proposer un algorithme entièrement spécifié en pub-sub Établir les différentes étapes de coordinations des ressources Détection des dépendances entre les tâches Exécution de tâches Surveillance de l exécution Vérification des résultats Etc. 18

19 Scheduler Tâches dépendantes en attente Tâches en cours Tâches à faire Tâches à vérifier Tâches finies Worker Monitor Checker 19

20 Scheduler Tâches dépendantes en attente Tâches en cours Tâches à faire Tâches à vérifier Tâches finies Worker Monitor Checker 20

21 Scheduler Tâches dépendantes en attente Tâches en cours Tâches à faire Tâches à vérifier Tâches finies Worker Monitor Checker 21

22 Scheduler Tâches dépendantes en attente Tâches en cours Tâches à faire Tâches à vérifier Tâches finies Worker Monitor Checker 22

23 Scheduler Tâches terminées es Tâches dépendantes en attente Tâches en cours Tâches à faire Tâches à vérifier Tâches finies Ok Worker Monitor Checker Sinon 23

24 Scheduler Tâches dépendantes en attente Tâches en cours Tâches à faire Tâches à vérifier Tâches finies Worker Monitor Checker 24

25 Plan Contexte Problématique Objectifs Contributions Conclusion Perspectives 25

26 Conclusion Spécification formelle de Publish-Subscribe et BonjourGrid Vérification formelle des propriétés fondamentales de BonjourGrid Proposition d un prototype de middleware WAN Basé sur les spécifications formelles de Publish-Subscribe Proposition d algorithmes de coordination et de gestion de l'ordonnancement des taches par un mécanisme Publish- Subscribe 26

27 Perspectives Réaliser des expérimentations sur des clusters Redis à large échelle Garantir une certification des résultats Les résultats retournés par les Workers peuvent être manipulés ou altérés (pas suffisamment fiable) Risque de mal fonctionnement d où des tâches incomplètes ou des résultats erronés, etc. Évaluer les expérimentations (temps de réponses, taux de réussite d exécution, etc) 27

28 Publications [ABIDI2011] Leila Abidi, Christophe Cérin, Sami Evangelista: A Petri-Net model for the Publish-Subscribe paradigm and its application for the verification of the BonjourGrid middleware. Proceedings of the th IEEE International Conference on Services Computing (IEEE SCC 2011) Leila Abidi, Christophe Cérin, Kais Klai: Desktop Grid Computing with Redis: Design and Verification of a Prototype. The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (IEEE CCGrid 2012) 28

29 Merci Pour votre attention

Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB

Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB Présenté par Leila Abidi sous la direction de Christophe Cerin & Mohamed Jemni Université

Plus en détail

BONJOURGRID : VERSION ORIENTÉE DONNÉE & MAPREDUCE SÉCURISÉ

BONJOURGRID : VERSION ORIENTÉE DONNÉE & MAPREDUCE SÉCURISÉ Laboratoire LaTICE Univ. de Tunis INRIA LYON Avalon Team Laboratoire d Informatique de Paris Nord (LIPN) BONJOURGRID : VERSION ORIENTÉE DONNÉE & MAPREDUCE SÉCURISÉ Heithem Abbes Heithem Abbes Rencontres

Plus en détail

Introduction aux applications réparties

Introduction aux applications réparties Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant

Plus en détail

Architectures Parallèles

Architectures Parallèles Architectures Parallèles Cours pour Ingénieur Préparé par Dr. Olfa Hamdi-Larbi ola_ola79@yahoo.fr Reçoit les signaux du contrôleur, cherche les données et les traite Instructions, Données à traiter et

Plus en détail

Historique. Évolution des systèmes d exploitation (à travers les âges)

Historique. Évolution des systèmes d exploitation (à travers les âges) Historique Évolution des systèmes d exploitation (à travers les âges) Historique L histoire des systèmes d exploitation permet de dégager des concepts de base que l on retrouve dans les systèmes actuels

Plus en détail

Clermont Ferrand - Janvier 2003

Clermont Ferrand - Janvier 2003 DISDAMIN: Algorithmes de Data Mining Distribués Valerie FIOLET (1,2) - Bernard TOURSEL (1) 1 Equipe PALOMA - LIFL - USTL - LILLE (FRANCE) 2 Service Informatique - UMH - MONS (BELGIUM) Clermont Ferrand

Plus en détail

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Architecture Doctorant: Directeurs de thèse: Bechir ZALILA

Plus en détail

Infrastructures Parallèles de Calcul

Infrastructures Parallèles de Calcul Infrastructures Parallèles de Calcul Clusters Grids Clouds Stéphane Genaud 11/02/2011 Stéphane Genaud () 11/02/2011 1 / 8 Clusters - Grids - Clouds Clusters : assemblage de PCs + interconnexion rapide

Plus en détail

Contributions à l expérimentation sur les systèmes distribués de grande taille

Contributions à l expérimentation sur les systèmes distribués de grande taille Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte

Plus en détail

Chapitre I : Protocoles client serveur et architectures distribuées

Chapitre I : Protocoles client serveur et architectures distribuées Licence Pro Réseaux Télécom Systèmes Internet et Intranet pour l entreprise Chapitre I : Protocoles client serveur et architectures distribuées Département IEM / UB Eric.Leclercq@u-bourgogne.fr Bureau

Plus en détail

Vers une définition des systèmes répartis multi-échelle

Vers une définition des systèmes répartis multi-échelle Vers une définition des systèmes répartis multi-échelle Sam Rottenberg Sébastien Leriche, Claire Lecocq, Chantal Taconet Institut Mines-Télécom Télécom SudParis UMR CNRS 5157 SAMOVAR 25 juin 2012 Introduction

Plus en détail

Journée IJD. Moussa Tari Bako Bachir. 25 juin 2012 ARLES/INRIA. Introduction Travail Chez ARLES

Journée IJD. Moussa Tari Bako Bachir. 25 juin 2012 ARLES/INRIA. Introduction Travail Chez ARLES Journée IJD Moussa Tari Bako Bachir ARLES/INRIA 25 juin 2012 1/27 Moussa Tari Bako Bachir Plan Introduction Principes générales du système d intégration mis en place Les sources intégrées Tests de monté

Plus en détail

Contribution à la mise en service d'une ferme de serveurs connectée à une grille de calcul pour la physique des hautes énergies

Contribution à la mise en service d'une ferme de serveurs connectée à une grille de calcul pour la physique des hautes énergies Contribution à la mise en service d'une ferme de serveurs connectée à une grille de calcul pour la physique des hautes énergies Charlier Fabrice 2è licence en informatique Année Académique 2005-2006 Plan

Plus en détail

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne Architecture de déploiement d un système réparti Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne I. Introduction Contexte du travail. Étude du déploiement. Modélisation

Plus en détail

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base SOA et Services Web 23 octobre 2011 1 SOA: Concepts de base 2 Du client serveur à la SOA N est Nest pas une démarche entièrement nouvelle: années 1990 avec les solutions C/S Besoins d ouverture et d interopérabilité

Plus en détail

Description et regroupement de ressources pour les réseaux virtuels

Description et regroupement de ressources pour les réseaux virtuels École nationale d ingénieurs de Sfax Description et regroupement de ressources pour les réseaux virtuels Houssem Medhioub M. Mohamed Jmaiel Président M. Slim Kanoun Membre M. Maher Ben Jemaa Encadreur

Plus en détail

FileMaker Pro 13. Utilisation d une Connexion Bureau à distance avec FileMaker Pro 13

FileMaker Pro 13. Utilisation d une Connexion Bureau à distance avec FileMaker Pro 13 FileMaker Pro 13 Utilisation d une Connexion Bureau à distance avec FileMaker Pro 13 2007-2013 FileMaker, Inc. Tous droits réservés. FileMaker, Inc. 5201 Patrick Henry Drive Santa Clara, Californie 95054

Plus en détail

MEAD : temps réel et tolérance aux pannes pour CORBA

MEAD : temps réel et tolérance aux pannes pour CORBA MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

Détection d'intrusions en environnement haute performance

Détection d'intrusions en environnement haute performance Symposium sur la Sécurité des Technologies de l'information et des Communications '05 Détection d'intrusions en environnement haute performance Clusters HPC Fabrice Gadaud (fabrice.gadaud@cea.fr) 1 Sommaire

Plus en détail

Chapitre I : Protocoles client serveur et architectures distribuées

Chapitre I : Protocoles client serveur et architectures distribuées Chapitre I : Protocoles client serveur et architectures distribuées Eric Leclercq & Marinette Savonnet Département IEM / UB Eric.Leclercq@u-bourgogne.fr Bureau G212 Aile des Sciences de l Ingénieur Mise-à-jour

Plus en détail

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Mémoires 2010-2011 www.euranova.eu MÉMOIRES ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Contexte : Aujourd hui la plupart des serveurs d application JEE utilise des niveaux de cache L1

Plus en détail

Cible de sécurité CSPN

Cible de sécurité CSPN Cible de sécurité CSPN Dropbear 2012.55 Ref 12-06-037-CSPN-cible-dropbear Version 1.0 Date June 01, 2012 Quarkslab SARL 71 73 avenue des Ternes 75017 Paris France Table des matières 1 Identification 3

Plus en détail

FileMaker Pro 12. Utilisation d une Connexion Bureau à distance avec FileMaker Pro 12

FileMaker Pro 12. Utilisation d une Connexion Bureau à distance avec FileMaker Pro 12 FileMaker Pro 12 Utilisation d une Connexion Bureau à distance avec FileMaker Pro 12 2007-2012 FileMaker, Inc. Tous droits réservés. FileMaker, Inc. 5201 Patrick Henry Drive Santa Clara, California 95054

Plus en détail

GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle

GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Grid : Overview 1. Définition et composition 2. Exemple de Middleware 3. Interconnexion

Plus en détail

Exécution des applications réparties

Exécution des applications réparties Exécution des applications réparties Programmation des Applications Réparties Olivier Flauzac URCA Master STIC-Informatique première année Olivier Flauzac (URCA) PAR : Exécution des applications réparties

Plus en détail

Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing

Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Chapitre 1 : Introduction Introduction générale Origine du cloud Concepts prédécésseurs «liés aux serveurs» Concepts prédécesseurs

Plus en détail

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie 1 Présenté par: Yacine KESSACI Encadrement : N. MELAB E-G. TALBI 31/05/2011 Plan 2 Motivation

Plus en détail

Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing

Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Les Clusters Les Mainframes Les Terminal Services Server La virtualisation De point de vue naturelle, c est le fait de regrouper

Plus en détail

FileMaker Pro 14. Utilisation d'une Connexion Bureau à distance avec FileMaker Pro 14

FileMaker Pro 14. Utilisation d'une Connexion Bureau à distance avec FileMaker Pro 14 FileMaker Pro 14 Utilisation d'une Connexion Bureau à distance avec FileMaker Pro 14 2007-2015 FileMaker, Inc. Tous droits réservés. FileMaker, Inc. 5201 Patrick Henry Drive Santa Clara, Californie 95054

Plus en détail

ComputeMode : transformer une

ComputeMode : transformer une ComputeMode : transformer une salle de PC Windows en cluster Linux Philippe Augerat CASCIMODOT 19 novembre 2004 la société ICATIS! SAS créée le 28 janvier 2004 avec un capital de 37 Ke! Issue du Laboratoire

Plus en détail

Gestion dynamique des tâches dans les grappes

Gestion dynamique des tâches dans les grappes Gestion dynamique des tâches dans les grappes une approche à base de machines virtuelles Fabien Hermenier Équipe ASCOLA, École des Mines de Nantes 26 novembre 2009 Fabien Hermenier (ASCOLA) Gestion dynamique

Plus en détail

PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03

PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03 PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03 Plan Contexte Problèmes CORBA PaCO++ Conclusion / perspectives Contexte : couplage de code Structural Mechanics Optics Thermal Dynamics Satellite design

Plus en détail

VMware. Pourquoi Virtualiser? Une partie de l offre VMware Fonctionnalités. Virtual Infrastructure 3.0 (déclinaisons) VMware : Prix

VMware. Pourquoi Virtualiser? Une partie de l offre VMware Fonctionnalités. Virtual Infrastructure 3.0 (déclinaisons) VMware : Prix VMware Pourquoi Virtualiser? Une partie de l offre VMware Fonctionnalités Clusters, pools de ressources, Vmotion ; DRS ; HA Virtual Infrastructure 3.0 (déclinaisons) VMware : Prix Pourquoi Virtualiser?

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

Perspectives pour l entreprise. Desktop Cloud. JC Devos IBM IT Architect jdevos@fr.ibm.com. 2010 IBM Corporation

Perspectives pour l entreprise. Desktop Cloud. JC Devos IBM IT Architect jdevos@fr.ibm.com. 2010 IBM Corporation Perspectives pour l entreprise Desktop Cloud JC Devos IBM IT Architect jdevos@fr.ibm.com Principe technique Disposer d un poste de travail virtuel accessible par la plupart des terminaux disponibles Ce

Plus en détail

Propagation d événements entre passerelles OSGi

Propagation d événements entre passerelles OSGi Propagation d événements entre passerelles OSGi Didier Donsez*, Gaël Thomas (* puis +) * Université Joseph Fourier (Grenoble 1) IMA IMAG/LSR/ADELE (UMR CNRS 5526) + Université Pierre et Marie Curie (Paris

Plus en détail

Projet Résilience. Synthèse du partenaire Paris 13. Christophe Cérin, Yanik Ngoko, Alain Takoudjou. Laboratoire d Informatique de Paris Nord

Projet Résilience. Synthèse du partenaire Paris 13. Christophe Cérin, Yanik Ngoko, Alain Takoudjou. Laboratoire d Informatique de Paris Nord Projet Résilience Synthèse du partenaire Paris 13 Christophe Cérin, Yanik Ngoko, Alain Takoudjou Laboratoire d Informatique de Paris Nord 19 juin 2014 Christophe Cérin, Yanik Ngoko, Alain Takoudjou (LIPN)

Plus en détail

Architecture et moyens de traitements : travaux et perspectives

Architecture et moyens de traitements : travaux et perspectives Masses de Données en Astronomie 10-11 avril 2006 Architecture et moyens de traitements : travaux et perspectives Journée Calculs Réunion et finale Données MDAdistribués Strasbourg André Schaaff 10 et 611

Plus en détail

Déploiement adaptatif des composants dans les sessions collaboratives

Déploiement adaptatif des composants dans les sessions collaboratives NOuvelles TEchnologies de la REpartition NOTERE 2005 Déploiement adaptatif des composants dans les sessions collaboratives Emir HAMMAMI, Thierry VILLEMUR {ehammami, villemur}@laas.fr LAAS-CNRS 7, avenue

Plus en détail

Élasticité des applications à base de services dans le Cloud

Élasticité des applications à base de services dans le Cloud 1/40 Élasticité des applications à base de services dans le Cloud Mourad Amziani 12 Tarek Melliti 1 Samir Tata 2 1 IBISC, EA4526, Université d'évry Val-d'Essonne, Évry, France 2 UMR CNRS Samovar, Institut

Plus en détail

Support matériel, logiciel et cryptographique pour

Support matériel, logiciel et cryptographique pour Support matériel, logiciel et cryptographique pour une exécution sécurisée de processus Guillaume Duc Thèse dirigée par Jacques Stern (Ens Ulm) et encadrée par Ronan Keryell (Enst Bretagne) Journées des

Plus en détail

Le génie logiciel. maintenance de logiciels.

Le génie logiciel. maintenance de logiciels. Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction

Plus en détail

La tête dans les nuages

La tête dans les nuages 19 novembre 2010 La tête dans les nuages Démystifier le "Cloud Computing" Jean Bernard, Directeur, Gestion des services Radialpoint SafeCare Inc. Au sujet de Radialpoint Radialpoint offre des solutions

Plus en détail

Installation de Windows XP www.ofppt.info

Installation de Windows XP www.ofppt.info ROYAUME DU MAROC Office de la Formation Professionnelle et de la Promotion du Travail XP DIRECTION RECHERCHE ET INGENIERIE DE FORMATION SECTEUR NTIC XP Sommaire 1 Introduction... 2 2 Vérification de la

Plus en détail

WEA Un Gérant d'objets Persistants pour des environnements distribués

WEA Un Gérant d'objets Persistants pour des environnements distribués Thèse de Doctorat de l'université P & M Curie WEA Un Gérant d'objets Persistants pour des environnements distribués Didier Donsez Université Pierre et Marie Curie Paris VI Laboratoire de Méthodologie et

Plus en détail

2 disques en Raid 0,5 ou 10 SAS

2 disques en Raid 0,5 ou 10 SAS Serveur GED: INFO EN + Afin d obtenir des performances optimales il est préférable que le serveur soit dédié. Matériel : Processeur Jusqu à 10 utilisateurs 2.0 Ghz environ Jusqu à 30 utilisateurs 2.6 Ghz

Plus en détail

Suite VMware vcenter. VMware vsphere 4. vshield Zones VMsafe. VMotion Storage VMotion HA Fault Tolerance Data Recovery. VMware ESX VMware ESXi

Suite VMware vcenter. VMware vsphere 4. vshield Zones VMsafe. VMotion Storage VMotion HA Fault Tolerance Data Recovery. VMware ESX VMware ESXi CS VMware vsphere 4 AIDE-MÉMOIRE Qu est-ce que VMware vsphere 4? Premier système d exploitation pour le Cloud Computing, VMware vsphere 4 utilise la puissance de la virtualisation pour transformer les

Plus en détail

*Assurez-vous que Windows est activé sur le serveur sinon il ne pourra pas télécharger WSUS et les mises à jours. Sommaire

*Assurez-vous que Windows est activé sur le serveur sinon il ne pourra pas télécharger WSUS et les mises à jours. Sommaire *Assurez-vous que Windows est activé sur le serveur sinon il ne pourra pas télécharger WSUS et les mises à jours. Sommaire I. Présentation du projet II. Prérequis III. Mise en Place IV. Configuration et

Plus en détail

Concours interne d ingénieur des systèmes d information et de communication. «Session 2010» Meilleure copie "étude de cas architecture et systèmes"

Concours interne d ingénieur des systèmes d information et de communication. «Session 2010» Meilleure copie étude de cas architecture et systèmes Concours interne d ingénieur des systèmes d information et de communication «Session 2010» Meilleure copie "étude de cas architecture et systèmes" Note obtenue : 14,75/20 HEBERGE-TOUT Le 25 mars 2010 A

Plus en détail

Introduction Moteur de workflows Conclusions. École normale supérieure de Lyon. 11 mai 2006. Ordonnancement de workflows dans DIET

Introduction Moteur de workflows Conclusions. École normale supérieure de Lyon. 11 mai 2006. Ordonnancement de workflows dans DIET École normale supérieure de Lyon Groupe de travail GRAAL 11 mai 2006 Plan Introduction 1 Introduction Les Workflows Présentation de DIET Motivations et objectifs 2 3 Plan Introduction Les Workflows Présentation

Plus en détail

Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire

Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire FICHE PRODUIT Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire BENEFICES POUR LES DSI Réussir les projets de gouvernance dans les délais et les budgets Démarrer de manière tactique tout en

Plus en détail

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1 SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de

Plus en détail

Rédacteur : Cadre Cours de recherche «Grille de données» Lionel BRUNIE et Jean Marc PIERSON Date de Création : Janvier 2005

Rédacteur : Cadre Cours de recherche «Grille de données» Lionel BRUNIE et Jean Marc PIERSON Date de Création : Janvier 2005 Anallyse de ll arttiiclle e :: Experiience wiitth tthe KeyNotte o Trustt u Managementt Systtem:: Applliicattiions and Futture Diirecttiions Matt Blaze *, John Ioannidis and Angelos * D. Keromytis ** *

Plus en détail

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

Plus en détail

Technique et architecture de l offre Suite infrastructure cloud. SFR Business Team - Présentation

Technique et architecture de l offre Suite infrastructure cloud. SFR Business Team - Présentation Technique et architecture de l offre Suite infrastructure cloud Les partenaires de l offre Cloud Computing SFR Le focus HP Les principes de mise en œuvre réseau Les principes de fonctionnement de la solution

Plus en détail

Analyse fonctionnelle

Analyse fonctionnelle 2 Analyse fonctionnelle Dans ce chapitre, nous commencerons par présenterons les exigences fonctionnelles et techniques que devra satisfaire l intergiciel. Puis nous décrirons les différents acteurs qui

Plus en détail

GESTION DES PROCESSUS

GESTION DES PROCESSUS CHAPITRE 2 : GESTION DES PROCESSUS Objectifs spécifiques Connaître la notion de processus, Connaître les caractéristiques d un processus ainsi que son contexte Connaître la notion d interruptions et de

Plus en détail

Figure 1 : page d accueil pour le professeur

Figure 1 : page d accueil pour le professeur Démonstration de Maple T.A., un environnement pour les examens et devoirs en ligne avec correction Automatique Benoit Vidalie, Maplesoft (bvidalie@maplesoft.com) Résumé : Le logiciel de calcul mathématique

Plus en détail

FileMaker Pro 11. Exécution de FileMaker Pro 11 sur Terminal Services

FileMaker Pro 11. Exécution de FileMaker Pro 11 sur Terminal Services FileMaker Pro 11 Exécution de FileMaker Pro 11 sur Terminal Services 2007-2010 FileMaker, Inc. Tous droits réservés. FileMaker, Inc. 5201 Patrick Henry Drive Santa Clara, California 95054 FileMaker est

Plus en détail

AC - Virtualisation. Romain Hinfray

AC - Virtualisation. Romain Hinfray AC - Virtualisation Semestre Automne 2008 Antoine Benkemoun Romain Hinfray Introduction Cadre du projet Choix de Xen Quatre parties Tour d horizon de la virtualisation Pré-requis à la compréhension de

Plus en détail

Synchronisation des Processus et les sémaphores

Synchronisation des Processus et les sémaphores Synchronisation des Processus et les sémaphores Achraf Othman Support du cours : www.achrafothman.net 1 PLAN Spécification du problème Section Critique (SC) Exclusion Mutuelle Principe Propriétés Réalisation

Plus en détail

EGC'2012 Fouille de Données Complexes

EGC'2012 Fouille de Données Complexes EGC'2012 Fouille de Données Complexes complexité liée aux données multiples et massives Kawthar Karkouda, Nouria Harbi, Jérôme Darmont Gérald Gavin Laboratoire Eric Université Lumière Lyon 2 nouria.harbi@univ-lyon2.fr

Plus en détail

Comment accéder à distance à ces données grâce aux dernières technologies. france.ni.com

Comment accéder à distance à ces données grâce aux dernières technologies. france.ni.com Comment accéder à distance à ces données grâce aux dernières technologies Croissance spectaculaire du marché des appareils mobiles : 400 Projections du nombre de tablettes (en millions) Projections du

Plus en détail

Chapitre IV : La gestion du processeur Mécanismes d ordonnancement

Chapitre IV : La gestion du processeur Mécanismes d ordonnancement Chapitre IV : La gestion du processeur Mécanismes d ordonnancement Eric.Leclercq@u-bourgogne.fr Département IEM http://ufrsciencestech.u-bourgogne.fr http://ludique.u-bourgogne.fr/~leclercq 1 er mars 2007

Plus en détail

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité : Définitions et Concepts Samir Tata, Télécom SudParis Élasticité Définitions Élasticité

Plus en détail

Le système Windows. Yves Denneulin. Introduction. Introduction. Plan

Le système Windows. Yves Denneulin. Introduction. Introduction. Plan Introduction Le système Windows Yves Denneulin Windows a 25 ans Au début basé sur MS/DOS Multi-tâches coopératifs Pas de réelle protection entre applications Famille 1.0 -> 386 -> 95 -> 98 -> Me Version

Plus en détail

VMWare Infrastructure 3

VMWare Infrastructure 3 Ingénieurs 2000 Filière Informatique et réseaux Université de Marne-la-Vallée VMWare Infrastructure 3 Exposé système et nouvelles technologies réseau. Christophe KELLER Sommaire Sommaire... 2 Introduction...

Plus en détail

Vers un nouveau paradigme d interaction humain-ordinateur porté

Vers un nouveau paradigme d interaction humain-ordinateur porté Vers un nouveau paradigme d interaction humain-ordinateur porté Nicolas Plouznikoff nicolas.plouznikoff_à_polymtl.ca Alexandre Plouznikoff alexandre.plouznikoff_à_polymtl.ca (étudiant au doctorat, génie

Plus en détail

Qu est-ce que le «cloud computing»?

Qu est-ce que le «cloud computing»? Qu est-ce que le «cloud computing»? Par Morand Studer eleven Octobre 2011 Qu est-ce que le «cloud computing»? - Morand Studer eleven Octobre 2011 www.eleven.fr 1 Aujourd hui, la démocratisation de l informatique

Plus en détail

Présentation SERVEUR EN CLUSTER. Clinkast 4 Avenue du Général de Gaulle F 92360 Meudon (+33) 6 20 44 86 95 (+33) 1 46 30 24 13

Présentation SERVEUR EN CLUSTER. Clinkast 4 Avenue du Général de Gaulle F 92360 Meudon (+33) 6 20 44 86 95 (+33) 1 46 30 24 13 Présentation SERVEUR D APPLICATIONS EN CLUSTER Description Un cluster est un ensemble d instances de serveurs d applications combinant haute disponibilité et forte évolutivité. Contrairement à un système

Plus en détail

Evolution des Grilles Plates formes orientés services (SOA) Open Grid Service Architecture (OGSA) Web Services Web Services et Grid Services

Evolution des Grilles Plates formes orientés services (SOA) Open Grid Service Architecture (OGSA) Web Services Web Services et Grid Services Evolution des Grilles Plates formes orientés services (SOA) Open Grid Service Architecture (OGSA) Web Services Web Services et Grid Services 1 Evolution des grilles de calcul (1) P E R F O R M A N C E

Plus en détail

Architecture des ordinateurs. Optimisation : pipeline. Pipeline (I) Pipeline (II) Exemple simplifié : Instructions de type R

Architecture des ordinateurs. Optimisation : pipeline. Pipeline (I) Pipeline (II) Exemple simplifié : Instructions de type R Architecture des ordinateurs Licence Informatique - Université de Provence Jean-Marc Talbot Optimisation : pipeline jtalbot@cmi.univ-mrs.fr L3 Informatique - Université de Provence () Architecture des

Plus en détail

GRIDKIT: Pluggable Overlay Networks for Grid Computing

GRIDKIT: Pluggable Overlay Networks for Grid Computing GRIDKIT: Pluggable Overlay Networks for Grid Computing Paul Grace, Geoff Coulson, Gordon Blair, Laurent Mathy, Wai Kit Yeung, Wei Cai, David Duce, Chris Cooper Computing Department, Lascaster University

Plus en détail

Projets de COO (2014-2015)

Projets de COO (2014-2015) Projets de COO (2014-2015) Votre objectif est de créer un système d information dont les besoins sont exprimés ci- dessous. Vous devez réaliser cette conception par itération, en construisant un noyau

Plus en détail

Introduction aux systèmes répartis

Introduction aux systèmes répartis Introduction aux systèmes répartis Grappes de stations Applications réparties à grande échelle Systèmes multicalculateurs (1) Recherche de puissance par assemblage de calculateurs standard Liaison par

Plus en détail

Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM

Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM Projet OASIS, INRIA Sophia-Antipolis Février 2006 Le logiciel ProActive est diffusé

Plus en détail

Grille de Calcul Marocaine ( MaGrid )

Grille de Calcul Marocaine ( MaGrid ) Grille de Calcul Marocaine ( MaGrid ) Bouchra Rahim rahim@cnrst.ma Division TIC - CNRST 1 2 Plan Introduction aux grilles de calcul Initiative de Grille Nationale (NGI) Activités Projets de coopération

Plus en détail

Procédure d installation :

Procédure d installation : Procédure d installation : 1 / Pré-requis : Vous pouvez télécharger le fichier d installation sur le site Internet de Microsoft à l adresse suivante : http://www.microsoft.com/downloads/details.aspx?familyid=01af61e6-2f63-4291-bcad-

Plus en détail

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Thomas Ropars Équipe-projet PARIS 1 Les applications de calcul scientifique Objectifs : Simuler des

Plus en détail

Fonctionnalités d Acronis :

Fonctionnalités d Acronis : Sommaire Introduction... 2 Fonctionnalités d Acronis :... 2 Concepts de base d'acronis True Image Home... 3 Version d Acronis... 4 Configuration requise pour Acronis True Image Home 2015... 4 Systèmes

Plus en détail

Cours réseaux Modèle OSI

Cours réseaux Modèle OSI Cours réseaux Modèle OSI IUT 1 Université de Lyon Introduction: le modèle OSI Un modèle théorique : le modèle OSI (Open System Interconnection) A quoi ça sert: Nécessité de découper/classifier l ensemble

Plus en détail

Le Filtre d Événements d ATLAS

Le Filtre d Événements d ATLAS Le Filtre d Événements d ATLAS François TOUCHARD CPPM en collaboration avec C. Bee, F. Etienne, E. Fede, C. Meessen, R. Nacasch, Z. Qian Contenu de la présentation L expérience ATLAS Le système de déclenchement

Plus en détail

AVATAR. Un profil SysML temps réel outillé

AVATAR. Un profil SysML temps réel outillé AVATAR Un profil SysML temps réel outillé Ludovic Apvrille, Pierre de Saqui-Sannes ludovic.apvrille@telecom-paristech.fr pdss@isae.fr SysML France, 6 décembre 2010 Agenda De TURTLE à AVATAR Le langage

Plus en détail

Formations et Certifications. Serveur Infrastructure

Formations et Certifications. Serveur Infrastructure Serveur Infrastructure MCSE : Server Infrastructure Conception et Implémentation d une Infrastructure IM20413 70-413 Serveur [22413] Implémentation d une Infrastructure Serveur Avancée [22414] IM20414

Plus en détail

Culture numérique. Les protocoles de communication. http://herve.perso.info.unicaen.fr. Enseignement commun Université de Caen - 2009-2010

Culture numérique. Les protocoles de communication. http://herve.perso.info.unicaen.fr. Enseignement commun Université de Caen - 2009-2010 Culture numérique Enseignement commun Université de Caen - 2009-2010 Les protocoles de communication http://herve.perso.info.unicaen.fr Hervé Le Crosnier Université de Caen Protocole social : ensemble

Plus en détail

Introduction à ITIL. Un guide d'initiation à ITIL. Tana Guindeba, ing. jr Mars 2014. Guintech Informatique. Passer à la première page

Introduction à ITIL. Un guide d'initiation à ITIL. Tana Guindeba, ing. jr Mars 2014. Guintech Informatique. Passer à la première page Introduction à ITIL Un guide d'initiation à ITIL Tana Guindeba, ing. jr Mars 2014 1 ITIL Définition: ITIL (Information Technology Infrastructure Library) qui se traduit en français par «Bibliothèque pour

Plus en détail

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION PERENNISATION SYSTÈME VIRTUALISATION PLEAS : Virtualisation de système informatique de banc de test. CLUB AUTOMATION 10 JUIN 2010 Richard.Boyer@eads.com EADS Defence and Security 2009 All rights reserved

Plus en détail

Veille Technologique. Cloud Computing

Veille Technologique. Cloud Computing Veille Technologique Cloud Computing INTRODUCTION La veille technologique ou veille numérique consiste à s'informer de façon systématique sur les techniques les plus récentes et surtout sur leur mise à

Plus en détail

État de l'art des hyperviseurs de confiance. Geoffrey Plouviez. Agence Nationale de la Sécurité des systèmes d'information

État de l'art des hyperviseurs de confiance. Geoffrey Plouviez. Agence Nationale de la Sécurité des systèmes d'information État de l'art des hyperviseurs de confiance Geoffrey Plouviez Agence Nationale de la Sécurité des systèmes d'information La virtualisation Qu'est ce qu'un hyperviseur? Comme un système d'exploitation en

Plus en détail

Installation de GFI Network Server Monitor

Installation de GFI Network Server Monitor Installation de GFI Network Server Monitor Système requis Les machines exécutant GFI Network Server Monitor ont besoin de : Système d exploitation Windows 2000 (SP1 ou supérieur), 2003 ou XP Pro Windows

Plus en détail

Cloud Computing Quelles obligations pour le chef d entreprise?

Cloud Computing Quelles obligations pour le chef d entreprise? Cloud Computing Quelles obligations pour le chef d entreprise? Christiane Féral-Schuhl Introduction Une extension du SI «dans les nuages» ressources situées sur internet Puissance informatique considérable

Plus en détail

Evolution stratégique du cloud computing

Evolution stratégique du cloud computing Evolution stratégique du cloud computing Etat des lieux et tendances 2010-2013 www.idc.com Bruno TEYTON Directeur Consulting IDC France Copyright 2010 IDC. Reproduction is forbidden unless authorized.

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

SOA : le futur des bâtiments intelligents?

SOA : le futur des bâtiments intelligents? SOA : le futur des bâtiments intelligents? Philippe Nappey Schneider Electric Strategy & Innovation IN Tech 20 janvier 2011 Contexte Les bâtiments deviennent de plus en plus intelligents Ils intègrent

Plus en détail

IBM Managed Security Services for Web Security

IBM Managed Security Services for Web Security Description des services 1. Nature des services IBM Managed Security Services for Web Security Les services IBM Managed Security Services for Web Security («MSS for Web Security») peuvent inclure : a.

Plus en détail

Communications performantes par passage de message entre machines virtuelles co-hébergées

Communications performantes par passage de message entre machines virtuelles co-hébergées Communications performantes par passage de message entre machines virtuelles co-hébergées François Diakhaté1,2 1 CEA/DAM Île de France 2 INRIA Bordeaux Sud Ouest, équipe RUNTIME Renpar 2009 1 Plan Introduction

Plus en détail

Que souhaitent les Administrateurs Système?

Que souhaitent les Administrateurs Système? WORLDINTERPLUS Que souhaitent les Administrateurs Système? Contrôle Maniabilité Gestion de la Configuration du Système en mode réseau ou déconnecté «online / offline» Maintenir les standards de configuration

Plus en détail

A propos de l applicabilité de la théorie de l ordonnancement temps réel : le projet Cheddar

A propos de l applicabilité de la théorie de l ordonnancement temps réel : le projet Cheddar A propos de l applicabilité de la théorie de l ordonnancement temps réel : le projet Cheddar F. Singhoff, A. Plantec Laboratoire Informatique des Systèmes Complexes LISyC/EA 3883 Université de Brest Séminaire

Plus en détail

Autostabilisation. de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque

Autostabilisation. de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque : de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque Laboratoire d Informatique Fondamentale d Orléans, Université d Orléans, Orléans, FRANCE JIRC 30 juin 2005 Blois

Plus en détail