Problématique de l ordonnancement temps-réel. 1 Module E4 : Systèmes temps-réel Audrey Marchand
|
|
- Marthe Thomas
- il y a 7 ans
- Total affichages :
Transcription
1 Problématique de l ordonnancement temps-réel 1
2 Plan du cours La notion de tâche temps-réel Le mécanisme d ordonnancement L ordonnancement de tâches périodiques L ordonnancement de tâches apériodiques 2
3 La notion de tâche temps-réel Le modèle canonique des tâches temps-réel τ i (C i, T i, D i ) T 0 D 0 T 1 D 1 r 0 d 0 C 0 r 1 d 1 - r i : date de réveil - T i : période d exécution - C i : durée d exécution maximale - D i : délai critique - d i = r i + D i : date d échéance - L = D i C i : laxité 3
4 La notion de tâche temps-réel Les niveaux de contraintes temporelles - Temps-réel strict/dur (hard real-time) (ex : Airbag) - toutes les instances de tâches doivent être exécutées dans le respect de leurs échéances - Temps-réel souple/mou (soft real-time) (ex : Distributeur automatique) - les tâches peuvent manquer des échéances - Temps-réel ferme (firm real-time) (ex : Systèmes multimédias) - les tâches sont autorisées à ne pas respecter occasionnellement leurs échéances 4
5 La notion de tâche temps-réel Les types de tâches temps-réel - Les tâches périodiques (ex : Relevé de température) - activation à intervalles réguliers, - à échéances sur requêtes si D i = T i - Les tâches apériodiques/sporadiques - activation à des instants irréguliers, - intervalle de temps entre deux activations borné (sporadiques) ou non (apériodiques), - à contraintes relatives, - à contraintes strictes (ex : Requête sur une borne de service) (ex : Arrêt d urgence) 5
6 La notion de tâche temps-réel Diagramme d états d une tâche temps-réel - courant : la tâche s exécute sur le processeur - prêt : la tâche est prête à s exécuter mais n a pas le processeur - en-attente : il manque une ressource (en plus du processeur) à la tâche pour qu elle puisse s exécuter 6
7 Le mécanisme d ordonnancement L ordonnancement des tâches temps-réel ORDONNANCEUR PROCESSEUR file d attente des tâches en attente file d attente des tâches prêtes tâche élue DISPATCHER - ORDONNANCEUR : alloue le processeur aux différentes tâches - DISPATCHER : implémente l ordonnanceur (élection des tâches prêtes) 7
8 Le mécanisme d ordonnancement Typologie des algorithmes d ordonnancement - Monoprocesseur / multiprocesseur - En-ligne / Hors-ligne - Préemptif / Non préemptif - Oisif / Non oisif - Centralisé / Réparti 8
9 L ordonnancement de tâches périodiques L ordonnancement non préemptif - Ordonnancement selon l ordre d arrivée : - premier arrivé, premier servi (First Come First Serve - FCFS) - Ordonnancement selon la durée de calcul : - le plus court d abord (Shortest Job First SJF) 9
10 L ordonnancement de tâches périodiques L ordonnancement préemptif T 1 - Ordonnancement sans notion de priorité : - temps-partagé avec politique du tourniquet (round-robin) T 3 T 2 CPU - Ordonnancement à priorités (statiques ou dynamiques) : - la tâche la plus prioritaire obtient le processeur T 1 T2 T 3 CPU 10
11 L ordonnancement de tâches périodiques Ordonnancement préemptif sans notion de priorité L ordonnancement temps-partagé (Round-Robin) - Principe : allocation du processeur par tranche (quantum) de temps - Exemple (q=20, n=4) : Tâches τ 1 (53) τ 2 (17) τ 3 (68) τ 4 (24) Temps - Chaque tâche obtient le processeur au bout de (n-1)*q unités de temps au plus 11
12 L ordonnancement de tâches périodiques Ordonnancement préemptif sans notion de priorité L ordonnancement temps-partagé (Round-Robin) - Intérêts : - Equité de l attribution du processeur entre toutes les tâches - Mise en œuvre simple - Inconvénients : - Pas de prise en compte de l importance relative des tâches - Difficulté du choix de la tranche de temps Si q est trop grand, round-robin devient équivalent à FIFO Si q est trop petit, il y a augmentation du nombre de changements de contexte! 12
13 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités L ordonnancement préemptif à priorités - Ordonnancement à priorités fixes (statiques) - Rate Monotonic (RM) - Deadline Monotonic (DM) - Ordonnancement à priorités dynamiques - Earliest Deadline First (EDF) - Least Laxity First (LLF) 13
14 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités fixes Rate Monotonic (RM) - Principe : une tâche est d autant plus prioritaire que sa période d activation T i est petite - Exemple : Tâches τ 1 (3,20,20) τ 2 (2,10,10) τ 3 (2,5,5) Temps - Propriété : RM est optimal dans la classe des algorithmes à priorités fixes pour des tâches périodiques indépendantes à échéances sur requêtes (D i =T i ) 14
15 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités fixes Rate Monotonic (RM) - Conditions de faisabilité : i - Condition nécessaire : 1 U n = i= 1 i - Condition suffisante : n U n 2 1) n = i= 1 C T i C T i ( 1 U ( 1) = 1; U (2) = 0.828; U (3) = 0.779; U ( ) = ln
16 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités fixes Deadline Monotonic (DM) - Principe : une tâche est d autant plus prioritaire que son délai critique D i est petit - Exemple : Tâches τ 1 (3,20,9) τ 2 (2,10,10) τ 3 (2,5,5) Temps - Propriété : DM est optimal dans la classe des algorithmes à priorités fixes pour des tâches périodiques indépendantes telles que D i T i 16
17 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités fixes Deadline Monotonic (DM) - Conditions de faisabilité : i - Condition nécessaire : 1 U n = i= 1 i - Condition suffisante : n U n 2 1) n = i= 1 C T i C D i ( 1 U ( 1) = 1; U (2) = 0.828; U (3) = 0.779; U ( ) = ln
18 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités fixes L ordonnancement à priorités fixes - Intérêts : - Mécanisme simple - S implante naturellement dans les OS du marché - Inconvénients : - Hypothèses restrictives - Indépendance des tâches impérative pour l utilisation des conditions de faisabilité - Borne supérieure pour le facteur d utilisation du processeur 18
19 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités dynamiques Earliest Deadline First (EDF) - Principe : à chaque instant, la tâche la plus prioritaire est celle dont l échéance absolue d i est la plus proche - Exemple : Tâches τ 1 (1,20,8) τ 2 (4,10,10) τ 3 (2,5,4) Temps - Propriété : EDF est optimal dans la classe des algorithmes préemptifs pour des tâches périodiques indépendantes telles que D i T i 19
20 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités dynamiques Earliest Deadline First (EDF) - Condition de faisabilité : -si D i =T i : i - Condition nécessaire et suffisante : 1 - si D i T i : U - Condition suffisante : i 1 U n = i= 1 C D i n = i= 1 C T i 20
21 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités dynamiques Least Laxity First (LLF) - Principe : à chaque instant, la tâche la plus prioritaire est celle dont la laxité L(t) = r i +D i -(t+c i (t)) est la plus petite - Exemple : Tâches τ 1 (1,20,8) τ 2 (4,10,10) τ 3 (2,5,4) Temps - Propriété : LLF est optimal dans la classe des algorithmes préemptifs pour des tâches périodiques indépendantes telles que D i T i 21
22 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités dynamiques Least Laxity First (LLF) - Condition de faisabilité : -si D i =T i : i - Condition nécessaire et suffisante : 1 - si D i T i : U - Condition suffisante : i 1 U n = i= 1 C D i n = i= 1 C T i 22
23 L ordonnancement de tâches périodiques Ordonnancement préemptif à priorités dynamiques L ordonnancement à priorités dynamiques - Intérêts : - Simplicité de mise en oeuvre - Optimisation de l usage des ressources - Bien adapté aux tâches périodiques à courtes échéances - Inconvénients : - Indépendance des tâches impératives pour l utilisation des conditions de faisabilité - Instabilité en cas de surcharge (EDF) - Nombreux changements de contexte dans certains cas (LLF) - Difficilement implantable dans les OS actuels 23
24 L ordonnancement de tâches apériodiques L ordonnancement de tâches apériodiques - Objectif : - cas de tâches apériodiques à contraintes relatives minimiser le temps de réponse des tâches - cas de tâches apériodiques à contraintes strictes garantir le respect d un maximum de tâches 24
25 L ordonnancement de tâches apériodiques L ordonnancement de tâches apériodiques - La gestion des tâches en arrière-plan : - Background scheduling (BG) - La gestion des tâches par un serveur : à priorités fixes : à priorités dynamiques : - Polling Server (PS) - Deferrable Server (DS) - Priority Exchange Server - Sporadic Server - Slack Stealer Server - Dynamic Sporadic Server (DSS) - Dynamic Priority Exchange Server (DPE) - Improved Priority Exchange Server (IPE) - Total Bandwidth Server (TBS) - Earliest Deadline as Late as possible (EDL) 25
26 L ordonnancement de tâches apériodiques La gestion des tâches en arrière-plan Background Scheduling (BG) - Principe : les tâches apériodiques sont exécutées en tâches de fond, lorsqu il n y a pas de requêtes périodiques à l état prêt - Mécanisme de fonctionnement : Tâches périodiques File de + haute priorité Tâches apériodiques File de + basse priorité RM/EDF FCFS CPU 26
27 L ordonnancement de tâches apériodiques La gestion des tâches en arrière-plan Background Scheduling (BG) - Exemple (RM-BG): Tâches τ 1 (4,10,10) τ 2 (2,6,6) Apériodiques Temps 27
28 L ordonnancement de tâches apériodiques La gestion des tâches en arrière-plan Background Scheduling (BG) - Intérêts : - Simplicité de mise en oeuvre - Pas d impact sur les tâches périodiques - Inconvénients : - Le temps de réponse des tâches apériodiques peut être élevé - Applicable uniquement pour des tâches apériodiques à contraintes relatives - Utilisable principalement dans des systèmes à charge modérée 28
29 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités fixes Polling Server (PS) - Principe : Une tâche périodique (C s, P s ) appelée serveur apériodique active les tâches apériodiques dans son temps d exécution appelé capacité du serveur - Exemple (RM-PS, C s =2; T s =5): Tâches τ 1 (2,6,6) τ 2 (1,4,4) PS (2,5) Capacité de 1 PS Temps 29
30 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités fixes Polling Server (PS) - Intérêts : - Meilleures performances que celles obtenues avec la gestion des tâches apériodiques en tâches de fond - Faibles complexités de calcul et d implémentation - Inconvénients : - La capacité du serveur est perdue en cas d absence de tâche apériodique en attente lors du réveil du serveur - Hypothèses restrictives de l algorithme RM 30
31 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités fixes Deferrable Server (DS) - Principe : identique à celui du Polling server à l exception que DS conserve sa capacité courante jusqu à la fin de sa période d activation - Exemple (RM-DS, C s =2; T s =5): Tâches τ 1 (2,6,6) τ 2 (1,4,4) DS (2,5) Capacité de 1 DS Temps 31
32 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités fixes Deferrable Server (DS) - Intérêts : - Meilleures performances que celles obtenues avec le server Polling - Faibles complexités de calcul et d implémentation - Inconvénients : - Hypothèses restrictives de l algorithme RM 32
33 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités dynamiques Total Bandwidth Server (TBS) - Principe : Lorsque la k ème requête apériodique arrive au temps t=r k, elle reçoit une échéance fictive calculée comme suit : Date de réveil de la requête occurrente Durée d exécution de la requête occurrente ( ) d = max r, d + k k k 1 C U a k s Largeur de bande CPU allouée au serveur Échéance fictive de la requête précédente 33
34 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités dynamiques Total Bandwidth Server (TBS) - Exemple (EDF-TBS, U p =0.75; U s =0.25): Tâches τ 1 (3,6,6) τ 2 (2,8,8) TBS (0.25) 1 d d 2 d d1 = max(3,0) + = 3+ 4 = Temps 2 d2 = max(9,7) + = = d3 = max(14,17) + = =
35 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités dynamiques Total Bandwidth Server (TBS) - Intérêts : - Mise en œuvre assez simple - Faibles complexités de calcul et d implémentation - Inconvénients : - Performances assez médiocres pour des systèmes fortement chargés - Nécessité de connaître les durées d exécution des tâches apériodiques occurrentes 35
36 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités dynamiques Earliest Deadline as Late as possible (EDL) - Principe selon l algorithme suivant : début si (tâches apériodiques présentes) alors - exécuter les tâches apériodiques au + tôt - exécuter les tâches périodiques au + tard sinon - exécuter les tâches périodiques au + tôt fin 36
37 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités dynamiques Earliest Deadline as Late as possible (EDL) - Exemple (EDF-EDL) : Tâches τ 1 (3,6,6) τ 2 (2,8,8) EDL Temps 37
38 L ordonnancement de tâches apériodiques La gestion des tâches par un serveur à priorités dynamiques Earliest Deadline as Late as possible (EDL) - Intérêts : - Serveur optimal - Pas de nécessité de connaître les durées d exécution des tâches apériodiques occurrentes - Inconvénients : - Complexités de calcul et d implémentation élevées - Besoins mémoire importants 38
39 Conclusion (1) - En bref : - L ordonnanceur a pour rôle d allouer le processeur aux différentes tâches - L ordonnancement temps-réel - est régi par une politique spécifique basé sur la priorité - peut être hors-ligne ou en-ligne - doit être déterministe - Compromis simplicité / performances des algorithmes d ordonnancement - Quantification de l overhead d ordonnancement 39
40 Conclusion (2) - Programmation synchrone / asynchrone - Modèle de temps synchrone Cadre d étude - Hypothèse des temps de calculs et des temps de communications nuls - Simultanéité possible pour les événements - Contrôle logique et temporel de l application vérification formelle - Modèle de temps asynchrone Monde réel - Temps de calculs éventuellement longs - Non-simultanéité des événements - Difficultés voire impossibilité de preuves de correction de l application 40
41 Extension à la notion d exécutif temps-réel Outils de compilation Outils d édition Gestion E/S Ordonnanceur Gestion mémoire Noyau TR Exécutif TR OS TR Gestion du temps Outils de debuggage 41
42 Références 1. Giorgio Buttazzo, HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications, Second Edition, Springer, J. Stankovic, K. Ramamritham, M. Spuri, and G. Buttazzo, Deadline Scheduling for Real-Time Systems, Kluwer Academic Publishers, Boston, J. W. S. Liu, Real-Time Systems, Prentice Hall, New Jersey,
Ordonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
Plus en détailProgrammation temps-réel Cours 1 et 2 Introduction et ordonnancement
Master 2 pro Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Isabelle PUAUT / Rémi COZOT Université de Rennes I 1 Applications temps-réel embarquées Systèmes en interaction avec l
Plus en détailCours A7 : Temps Réel
Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Motivations Du jour : les mécanismes multitâches, la gestion des priorités, l ordonnancement, la gestion
Plus en détailAnalyse du temps de réponse des systèmes temps réel
Analyse du temps de réponse des systèmes temps réel Pascal Richard Laboratoire d Informatique Scientifique et Industrielle, ENSMA BP 40198 Téléport 2 F-86960 Futuroscope pascal.richard@ensma.fr RÉSUMÉ.
Plus en détailIntroduction au temps réel
Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié
Plus en détailPartie 7 : Gestion de la mémoire
INF3600+INF2610 Automne 2006 Partie 7 : Gestion de la mémoire Exercice 1 : Considérez un système disposant de 16 MO de mémoire physique réservée aux processus utilisateur. La mémoire est composée de cases
Plus en détailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL
i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS
Plus en détailREALISATION d'un. ORDONNANCEUR à ECHEANCES
REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6
Plus en détailDAns un système multi-utilisateurs à temps partagé, plusieurs processus
Chapitre 8 Ordonnancement des processus Dns un système multi-utilisateurs à temps partagé, plusieurs processus peuvent être présents en mémoire centrale en attente d exécution. Si plusieurs processus sont
Plus en détailLes systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia
Les systèmes de base de données temps réels Pokrovskaya Natalia, Kabbali Nadia Année académique 2008-2009 Table des matières 1 Introduction 2 2 Système de gestion de bases de données classiques 3 3 Systèmes
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailEléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)
Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances
Plus en détailCours A7 : Temps Réel
Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Organisation des cours 12 prochaines séances 6 janvier au 24 mars, Partiel le 27 janvier, Les 3 et 24
Plus en détailAnnexe 6. Notions d ordonnancement.
Annexe 6. Notions d ordonnancement. APP3 Optimisation Combinatoire: problèmes sur-contraints et ordonnancement. Mines-Nantes, option GIPAD, 2011-2012. Sophie.Demassey@mines-nantes.fr Résumé Ce document
Plus en détailImpact de choix d implantation sur les performances d une application de Contrôle-Commande
Recherche Impact de choix d implantation sur les performances d une application de Contrôle-Commande Fabrice Jumel Nicolas Navet Françoise Simonot-Lion CITI - INSA 20, Avenue Albert Einstein, F6962 Villeurbanne
Plus en détailProblèmes d ordonnancement dans les systèmes de production. Journée Automatique et Optimisation Université de Paris 12 20 Mars 2003
Problèmes d ordonnancement dans les systèmes de production Michel Gourgand Université Blaise Pascal Clermont Ferrand LIMOS CNRS UMR 6158 1 Le LIMOS Laboratoire d Informatique, de Modélisation et d Optimisation
Plus en détailPROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Ordonnancement centralisé par Francis COTTET Professeur d université (ENSMA, Poitiers Futuroscope) Ingénieur de l Institut national polytechnique de Grenoble Docteur ès sciences
Plus en détailOrdonnancement temps réel et minimisation de la consommation d énergie
Chapitre 4 Ordonnancement temps réel et minimisation de la consommation d énergie 4.1. Introduction La consommation en énergie est devenue un problème crucial dans la conception des équipements électroniques
Plus en détailConception 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étailGestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr
Gestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr 1- Structure d un disque 2- Ordonnancement des requêtes 3- Gestion du disque - formatage - bloc d amorçage - récupération
Plus en détail1 Mesure de la performance d un système temps réel : la gigue
TP TR ENSPS et MSTER 1 Travaux Pratiques Systèmes temps réel et embarqués ENSPS ISV et Master TP1 - Ordonnancement et communication inter-processus (IPC) Environnement de travail Un ordinateur dual-core
Plus en détailSystèmes et exécutifs temps-réel
Systèmes et exécutifs temps-réel Licence professionnelle «Systèmes embarqués dans l automobile» Isabelle PUAUT (Cours + TD) Jean-François DEVERGE et Christophe Pais (TP) 1 Applications temps-réel Systèmes
Plus en détailJulien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration
Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...
Plus en détailTemps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011
Temps Réel Jérôme Pouiller Septembre 2011 Sommaire Problèmatique Le monotâche Le multitâches L ordonnanement Le partage de ressources Problèmatiques des OS temps réels J. Pouiller
Plus en détailChapitre V : La gestion de la mémoire. Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping
Chapitre V : La gestion de la mémoire Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping Introduction Plusieurs dizaines de processus doivent se partager
Plus en détailOptimisation 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étailEnseignant: 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étailIntroduction à l informatique temps réel Pierre-Yves Duval (cppm)
Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:
Plus en détailOptimisation for Cloud Computing and Big Data
1 / 23 Optimisation for Cloud Computing and Big Data Olivier Beaumont, Lionel Eyraud-Dubois 2 / 23 Aujourd hui Problèmes de fiabilité on va oublier la dynamicité Placement de VMs en programmation par contraintes
Plus en détailUn propagateur basé sur les positions pour le problème d Open-Shop.
Actes JFPC 2007 Un propagateur basé sur les positions pour le problème d Open-Shop. Jean-Noël Monette Yves Deville Pierre Dupont Département d Ingénierie Informatique Université catholique de Louvain {jmonette,yde,pdupont}@info.ucl.ac.be
Plus en détailMEAD : 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étailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailCours de Systèmes d Exploitation
Licence d informatique Synchronisation et Communication inter-processus Hafid Bourzoufi Université de Valenciennes - ISTV Introduction Les processus concurrents s exécutant dans le système d exploitation
Plus en détailOptimisation for Cloud Computing and Big Data
1 / 31 Optimisation for Cloud Computing and Big Data Olivier Beaumont, Lionel Eyraud-Dubois 2 / 31 Le Cloud, qu est-ce que c est? C est récent Amazon qui commence (2006) avec AWS Dropbox, Google App Engine
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailProcessus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace
Processus 1) Contexte 2) Modèles de Notion de Points de vue Modèle fourni par le SX Opérations sur les 3) Gestion des Représentation des Opérations 4) Ordonnancement des Niveaux d ordonnancement Ordonnancement
Plus en détailSystèmes d Exploitation - ENSIN6U3. Aix-Marseille Université
Systèmes d Exploitation - ENSIN6U3 Gestion de la mémoire Leonardo Brenner 1 Jean-Luc Massat 2 1 Leonardo.Brenner@univ-amu.fr 2 Jean-Luc.Massat@univ-amu.fr Aix-Marseille Université Faculté des Sciences
Plus en détailVotre Réseau est-il prêt?
Adapter les Infrastructures à la Convergence Voix Données Votre Réseau est-il prêt? Conférence IDG Communications Joseph SAOUMA Responsable Offre ToIP Rappel - Définition Voix sur IP (VoIP) Technologie
Plus en détailSystèmes temps réel et embarqués Concepts de base, expression des contraintes temporelles
M2P GLRE Génie Logiciel, logiciels Répartis et Embarqués Systèmes temps réel et embarqués Concepts de base, expression des contraintes temporelles Z. Mammeri 1. Introduction Aujourd hui, les applications
Plus en détailContexte et motivations Les techniques envisagées Evolution des processus Conclusion
Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and
Plus en détailExécutif temps réel Pierre-Yves Duval (cppm)
Exécutif temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 Plan Exécutif Tâches Evénements et synchronisation Partage de ressources Communications
Plus en détailVirtualisation logicielle De la machine réelle à la machine virtuelle abstraite
Virtualisation logicielle De la machine réelle à la machine virtuelle abstraite Bertil FOLLIOT et Gaël THOMAS Cette version est une préversion de l article accepté par «Technique de l ingénieur» (Hermes).
Plus en détailOrdonnancement robuste et décision dans l'incertain
Ordonnancement robuste et décision dans l'incertain 4 ème Conférence Annuelle d Ingénierie Système «Efficacité des entreprises et satisfaction des clients» Centre de Congrès Pierre Baudis,TOULOUSE, 2-4
Plus en détailCommunications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes
Loris MARCHAL Laboratoire de l Informatique du Parallélisme Équipe Graal Communications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes Thèse réalisée sous la direction
Plus en détailAJAX. (Administrateur) (Dernière édition) Programme de formation. France, Belgique, Suisse, Roumanie - Canada
AJAX (Administrateur) (Dernière édition) Programme de formation Microsoft Partner France, Belgique, Suisse, Roumanie - Canada WWW.SASGROUPE.COM Formez vos salariés pour optimiser la productivité de votre
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailNouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires
Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailIBM Tivoli Monitoring, version 6.1
Superviser et administrer à partir d une unique console l ensemble de vos ressources, plates-formes et applications. IBM Tivoli Monitoring, version 6.1 Points forts! Surveillez de façon proactive les éléments
Plus en détailContributions à 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étailVous êtes bien à la bonne présentation, c est juste que je trouvais que le titre de cette présentation étais un peu long,
Vous êtes bien à la bonne présentation, c est juste que je trouvais que le titre de cette présentation étais un peu long, en fait ça me faisait penser au nom d un certain projet gouvernemental je me suis
Plus en détailJean-Philippe Préaux http://www.i2m.univ-amu.fr/~preaux
Colonies de fourmis Comment procèdent les colonies de fourmi pour déterminer un chemin presque géodésique de la fourmilière à un stock de nourriture? Les premières fourmis se déplacent au hasard. Les fourmis
Plus en détailAugmenter la disponibilité des applications JEE grâce au clustering : Le projet open source JShaft
Augmenter la disponibilité des applications JEE grâce au clustering : Le projet open source Jérôme Petit, Serge Petit & Serli Informatique, ITMatic Jérôme Petit, Serge Petit & SERLI & ITMatic Serli : SSII
Plus en détailLe protocole ARP (Address Resolution Protocol) Résolution d adresses et autoconfiguration. Les protocoles ARP, RARP, TFTP, BOOTP, DHCP
Résolution d adresses et autoconfiguration Les protocoles ARP, RARP, TFTP, BOOTP, DHCP Le protocole ARP (Address Resolution Protocol) Se trouve au niveau de la couche réseau Interrogé par le protocole
Plus en détailOPTIMISATION À UNE VARIABLE
OPTIMISATION À UNE VARIABLE Sommaire 1. Optimum locaux d'une fonction... 1 1.1. Maximum local... 1 1.2. Minimum local... 1 1.3. Points stationnaires et points critiques... 2 1.4. Recherche d'un optimum
Plus en détailDé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étailIntroduction aux algorithmes répartis
Objectifs et plan Introduction aux algorithmes répartis Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA et IMAG-LSR http://sardes.inrialpes.fr/people/krakowia! Introduction aux algorithmes
Plus en détailRevue d article : Dynamic Replica Placement for Scalable Content Delivery
Revue d article : Dynamic Replica Placement for Scalable Content Delivery Marc Riner - INSA Lyon - DEA DISIC Introduction Cet article [1] présente une technique innovante de placement de réplicats et de
Plus en détail4. Utilisation d un SGBD : le langage SQL. 5. Normalisation
Base de données S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Présentation du module Contenu général Notion de bases de données Fondements / Conception Utilisation :
Plus en détailAlgorithmes de recherche d itinéraires en transport multimodal
de recherche d itinéraires en transport multimodal Fallou GUEYE 14 Décembre 2010 Direction : Christian Artigues LAAS-CNRS Co-direction : Marie José Huguet LAAS-CNRS Encadrant industriel : Frédéric Schettini
Plus en détailGestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes
Gestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes M. Nick, R. Cherkaoui, M. Paolone «Le réseau électrique de demain» - EPFL, 21.05.2015 Table
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailL exclusion mutuelle distribuée
L exclusion mutuelle distribuée L algorithme de L Amport L algorithme est basé sur 2 concepts : L estampillage des messages La distribution d une file d attente sur l ensemble des sites du système distribué
Plus en détailLA mémoire principale est le lieu où se trouvent les programmes et les
Chapitre 9 Gestion de la mémoire LA mémoire principale est le lieu où se trouvent les programmes et les données quand le processeur les exécute. On l oppose au concept de mémoire secondaire, représentée
Plus en détailChapitre 5 : Flot maximal dans un graphe
Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d
Plus en détailOrdonnancement et Power Management
Action spécifique Low Power Ordonnancement et Power Management C.Belleudy Laboratoire I3S (UNSA/CNRS) N. Navet INRIA projet TRIO (LORIA) PLAN Définition du problème Les techniques de Power Management pour
Plus en détailManuel de validation Fascicule v4.25 : Thermique transitoire des structures volumiques
Titre : TTLV100 - Choc thermique dans un tuyau avec condit[...] Date : 02/03/2010 Page : 1/10 Manuel de Validation Fascicule V4.25 : Thermique transitoire des structures volumiques Document : V4.25.100
Plus en détailLimitations of the Playstation 3 for High Performance Cluster Computing
Introduction Plan Limitations of the Playstation 3 for High Performance Cluster Computing July 2007 Introduction Plan Introduction Intérêts de la PS3 : rapide et puissante bon marché L utiliser pour faire
Plus en détailUnix/Linux I. 1 ere année DUT. Université marne la vallée
Unix/Linux I 1 ere année DUT Université marne la vallée 1 Introduction 2 Fonctions et spécifité d Unix Architecture 3 4 5 Fichier Unix Arborescence de fichiers Quelques commandes sur les fichiers Chemins
Plus en détailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détailQoS Réseaux haut débit et Qualité de service
QoS Réseaux haut débit et Qualité de service Auteurs : COUMATES Matthieu PETIT-JEAN Jérémy Responsable : PHAM Congduc (UPPA) 16 decembre 2010 Table des matières 1 Gestion de la QoS au niveau du noyau linux
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailRéplication des données
Réplication des données Christelle Pierkot FMIN 306 : Gestion de données distribuées Année 2009-2010 Echange d information distribuée Grâce à un serveur central Une seule copie cohérente Accès à distance
Plus en détailComparaison de fonctions Développements limités. Chapitre 10
PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?
Plus en détailPrésentation du module Base de données spatio-temporelles
Présentation du module Base de données spatio-temporelles S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Partie 1 : Notion de bases de données (12,5h ) Enjeux et principes
Plus en détailRuntime. Gestion de la réactivité des communications réseau. François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I
Runtime Gestion de la réactivité des communications réseau François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I 1 Le calcul hautes performances La tendance actuelle
Plus en détailIntroduction aux systèmes temps réel
Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22 Plan du
Plus en détailModèles à Événements Discrets. Réseaux de Petri Stochastiques
Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés
Plus en détailLes méthodes de sauvegarde en environnement virtuel
Les méthodes de sauvegarde en environnement virtuel Il existe plusieurs méthodes pour faire des sauvegardes dans un environnement virtuel : Méthodes traditionnelles 1) Sauvegarde avec agent dans le Guest
Plus en détailGestion de projets logiciels. Xavier Dubuc
Gestion de projets logiciels Résumé blocus Xavier Dubuc 16 janvier 2011 1 Table des matières 1 Planification (PERT-GANTT) 3 1.1 Définitions............................................. 3 1.2 Analyse un
Plus en détailENSPS 3A ISAV Master ISTI AR. J. Gangloff
Commande prédictive ENSPS 3A ISAV Master ISTI AR J. Gangloff Plan 1.Introduction / Historique 2.Modélisation du système 3.Fonction de coût 4.Équations de prédiction 5.Commande optimale 6.Exemples 7.Réglage
Plus en détailIP & Co. 1. Service DHCP. L'objectif de ce TP est de voir l'ensemble des services élémentaires mis en oeuvre dans les réseaux IP.
IP & Co L'objectif de ce TP est de voir l'ensemble des services élémentaires mis en oeuvre dans les réseaux IP. 1. Service DHCP Faire un réseau de 4 machines comme ci-dessous. Pour l'instant seul la machine
Plus en détailDépartement de l Hérault
Du diagnostic à l opérationnel, quelles priorités? Le cas des collèges de l Hérault Jean-Pierre Quentin, directeur d exploitation du pôle éducation Patrimoine Conseil général de l Hérault mai 2009 AUDIT
Plus en détailELEC2753 Electrotechnique examen du 11/06/2012
ELEC2753 Electrotechnique examen du 11/06/2012 Pour faciliter la correction et la surveillance, merci de répondre aux 3 questions sur des feuilles différentes et d'écrire immédiatement votre nom sur toutes
Plus en détailIntroduction aux Systèmes et aux Réseaux
Introduction aux Systèmes et aux Réseaux Cours 5 Processus D après un cours de Julien Forget (univ Lille1) Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@univ-lyon1.fr Master CCI -
Plus en détailFrancis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) IFT702 Planification en intelligence artificielle
Francis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) PLANIFICATION DE TÂCHES DANS MS PROJECT IFT702 Planification en intelligence artificielle Présenté à M. Froduald KABANZA
Plus en détailNEC Virtual PC Center
NEC Virtual PC Center 24 mai 2007 Thomas LUQUET 1 Problématiques du poste client Sécurité & accès à l information Protéger l information contre les menaces internes Séparer l utilisation du PC personnel
Plus en détailTP Temps Réel. Polytech Paris - Mars 2012
TP Temps Réel Jérôme Pouiller Polytech Paris - Mars 2012 Table des matières 1 Avant de commencer 2 1.1 Documentation.................................................... 3 1.1.1
Plus en détailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
Plus en détailProblèmes liés à la concurrence
ENS Cachan Problématique Difficile de gérer la concurrence : Pas toujours facile d avoir des fonctions réentrantes. Risque de race condition : ex : x :=x+1 x :=x+1 On voudrait des blocs d instructions
Plus en détailDépartement Informatique 5 e année 2013-2014. Hadoop: Optimisation et Ordonnancement
École Polytechnique de l Université de Tours 64, Avenue Jean Portalis 37200 TOURS, FRANCE Tél. +33 (0)2 47 36 14 14 www.polytech.univ-tours.fr Département Informatique 5 e année 2013-2014 Hadoop: Optimisation
Plus en détailPG208, Projet n 3 : Serveur HTTP évolué
PG208, Projet n 3 : Serveur HTTP évolué Bertrand LE GAL, Serge BOUTER et Clément VUCHENER Filière électronique 2 eme année - Année universitaire 2011-2012 1 Introduction 1.1 Objectif du projet L objectif
Plus en détailASSOCIATION CANADIENNE DES PAIEMENTS RÈGLE 4 DU STPGV COMMENCEMENT DU CYCLE
ASSOCIATION CANADIENNE DES PAIEMENTS RÈGLE 4 DU STPGV STPGV Règle 4, décembre 1998: révisée le 30 juillet 2001, le 19 novembre 2001, le 6 octobre 2003, le 24 novembre 2003, le 29 mars 2007, le 13 décembre
Plus en détailLa programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique
La programmation linéaire : une introduction Qu est-ce qu un programme linéaire? Qu est-ce qu un programme linéaire? Exemples : allocation de ressources problème de recouvrement Hypothèses de la programmation
Plus en détailLa Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS
Rev. Energ. Ren. : Chemss 2000 39-44 La Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS D.K. Mohamed, A. Midoun et F. Safia Département
Plus en détailWEA 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