Modèles continus de supply chains. Application à la modélisation d une architecture de calcul parallèle.

Documents pareils
T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5

Introduction à l analyse numérique : exemple du cloud computing

SIMULATION NUMERIQUE DU FLUX D AIR EN BLOC OPÉRATOIRE

Limitations of the Playstation 3 for High Performance Cluster Computing

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Systèmes et traitement parallèles

Modélisation aléatoire en fiabilité des logiciels

Modélisation et simulation du trafic. Christine BUISSON (LICIT) Journée Simulation dynamique du trafic routier ENPC, 9 Mars 2005

Introduction à la théorie des files d'attente. Claude Chaudet

Les solutions centre de données virtuel et Infrastructure-service de Bell

I Stabilité, Commandabilité et Observabilité Introduction Un exemple emprunté à la robotique Le plan Problème...

Sites web éducatifs et ressources en mathématiques

Machines virtuelles Cours 1 : Introduction

TP N 57. Déploiement et renouvellement d une constellation de satellites

aux différences est appelé équation aux différences d ordre n en forme normale.

Cours d électricité. Circuits électriques en courant constant. Mathieu Bardoux. 1 re année

Loi binomiale Lois normales

Soit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.

Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires

Statistique : Résumé de cours et méthodes

Module d Electricité. 2 ème partie : Electrostatique. Fabrice Sincère (version 3.0.1)

GPC Computer Science

TSTI 2D CH X : Exemples de lois à densité 1

INTRODUCTION AUX TESTS DE PERFORMANCE ET DE CHARGE

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

Echantillonnage Non uniforme

Télégestion et logiciels, des auxiliaires pour une gestion patrimoniale performante

TEST D APTITUDES PHYSIQUES POUR LES TECHNIQUES AMBULANCIÈRES (TAPTA)

ANALYSE NUMERIQUE ET OPTIMISATION. Une introduction à la modélisation mathématique et à la simulation numérique

Tout ce que vous avez toujours voulu savoir sur SAP HANA. Sans avoir jamais osé le demander

PROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel CC + ET réseaux

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

Projet ANR. Bruno Capra - OXAND. 04/06/2015 CEOS.fr - Journée de restitution (Paris) B. CAPRA

SEANCE 4 : MECANIQUE THEOREMES FONDAMENTAUX

Quelques tests de primalité

NOTE SUR LA MODELISATION DU RISQUE D INFLATION

Fonction inverse Fonctions homographiques

Synthèse d'images I. Venceslas BIRI IGM Université de Marne La

La tarification d options

Communications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

Default Performance Monitor - WhatsUp

OPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT)

Formation à la C F D Computational Fluid Dynamics. Formation à la CFD, Ph Parnaudeau

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

!-.!#- $'( 1&) &) (,' &*- %,!

Champ électromagnétique?

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Modèle de troncature gauche : Comparaison par simulation sur données indépendantes et dépendantes

FIMA, 7 juillet 2005

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi

Technologie de déduplication de Barracuda Backup. Livre blanc

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

Algorithmes de Transmission et de Recherche de l Information dans les Réseaux de Communication. Philippe Robert INRIA Paris-Rocquencourt

SUJET ZÉRO Epreuve d'informatique et modélisation de systèmes physiques

Efficacité énergétique des réseaux de cœur et d accès

Environnement logiciel open source pour la création d œuvres artistiques interactives

Master Informatique Aix-Marseille Université

Rupture et plasticité

Automatique Linéaire 1 Travaux Dirigés 1A ISMIN

Modélisation et simulation des performances de nœuds de routage optique dans les réseaux dorsaux hybrides

Finance, Navier-Stokes, et la calibration

Métriques de performance pour les algorithmes et programmes parallèles

Introduction au maillage pour le calcul scientifique

L apprentissage automatique

Aiguilleurs de courant intégrés monolithiquement sur silicium et leurs associations pour des applications de conversion d'énergie

Réduction de la consommation énergétique des datacenter : optimisation du conditionnement d air, influence de. l architecture

Un concept multi-centre de données traditionnel basé sur le DNS

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

DM n o 8 TS Physique 10 (satellites) + Chimie 12 (catalyse) Exercice 1 Lancement d un satellite météorologique

Chapitre 2 : communications numériques.

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

TABLE DES MATIERES. C Exercices complémentaires 42

Accélération du vent solaire: revue des modèles exosphériques

GROUPE HOLDIM Leader mondial de l optimisation moteur. DYNORACE 2WD /DF2 Banc 2 roues motrices. Banc de puissance Disponible en 3 versions :

La programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique

chargement d amplitude variable à partir de mesures Application à l approche fiabiliste de la tolérance aux dommages Modélisation stochastique d un d

Les correcteurs accorderont une importance particulière à la rigueur des raisonnements et aux représentations graphiques demandées.

Retour d expériences avec UML

LIDAR LAUSANNE Nouvelles données altimétriques sur l agglomération lausannoise par technologie laser aéroporté et ses produits dérivés

En proposant une formation souvent moins onéreuse et plus

COR-E : un modèle pour la simulation d agents affectifs fondé sur la théorie COR

Health Monitoring pour la Maintenance Prévisionnelle, Modélisation de la Dégradation

Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre.

F1C1/ Analyse. El Hadji Malick DIA

Image d un intervalle par une fonction continue

MCMC et approximations en champ moyen pour les modèles de Markov

Module HVAC - fonctionnalités

Chapitre 2 Le problème de l unicité des solutions

Texte Agrégation limitée par diffusion interne

EXERCICE 4 (7 points ) (Commun à tous les candidats)

Conception et Intégration de Systèmes Critiques

Compétence 2 : Comparer, ranger, encadrer des nombres, les placer sur une droite graduée

Gestion de production

Étude d une architecture évolutive et haute disponibilité pour les postes de travail virtuels

Le Système d Information Routier

F411 - Courbes Paramétrées, Polaires

La surveillance réseau des Clouds privés

Revue d article : Dynamic Replica Placement for Scalable Content Delivery

Transcription:

Modèles continus de supply chains. Application à la modélisation d une architecture de calcul parallèle. B. Dadoun L. Feuilloley S. Zhang Équipe encadrante : F. De Vuyst, F. Salvarani, D. Bouche, P. Jaisson 3 juillet 2012

Sommaire Introduction Définition Problématique Bibliographie 1 Introduction Définition Problématique Bibliographie 2 3 Modèle Roofline Vitesse en fonction du trafic Résultats

Qu est-ce qu une supply chain? Définition Problématique Bibliographie Terme français : «chaîne de distribution» Une dynamique : des flux d entrée, de sortie ; des temps d attente, de traitement

Objectifs Introduction Définition Problématique Bibliographie Étudier les systèmes de lois de conservation hyperboliques dans le contexte des supply chains ; Reprendre des modèles numériques de supply chains ; Adapter ces modèles à la simulation d une architecture de calcul parallèle.

Documents étudiés Introduction Définition Problématique Bibliographie C. D Apice, S. Göttlich, M. Herty, B. Piccoli Modeling, Simulation and Optimization of Supply Chains : A continuous approach, SIAM, 2010. S. Williams Auto-tuning Performance on Multicore Computers, thèse à l Université de Berkeley, 2008.

Sommaire Introduction 1 Introduction Définition Problématique Bibliographie 2 3 Modèle Roofline Vitesse en fonction du trafic Résultats

Processeurs et files d attente Fournisseurs (= processeurs) m = 1,...,M, objets (matière) n Temps de traitement T (m), capacité µ(n, m) τ(n,m + 1) : instant où l objet n sort de m (= arrive à m + 1). { } 1 τ(n,m + 1) = max τ(n,m) + T (m),τ(n 1,m + 1) +. µ(n 1,m)

Loi de conservation discrète Exprimer le flux f en fonction de la densité de matière ρ : vitesse de traitement densité de matière ; restreint par la capacité du processeur. Théorème f (τ(n,m),x m ) = min { µ(n,m 1), h } m 1ρ(τ(n,m),x m 1 ). T (m 1)

Loi de conservation continue (M + ) Formulation faible car congestionnement possible Théorème Si les temps de traitement et de passage des objets sont bornés, alors : t ρ + x f = 0, f = min{µ,ρ}.

Dans la réalité Introduction Nombre fini de processeurs... Théorème non applicable? Ruse. Augmenter virtuellement le nombre de processeurs : démultiplier chaque processeur m en K sous-processeurs «virtuels» ; diviser les capacités des processeurs par K.

Simulation numérique Comparaison des modèles discret et continu Modèle discret : adapté à des problèmes de petite taille ; Modèle continu : adapté aux problèmes de plus grande taille. 20 Flux d entrée 18 16 14 f in (flux d entrée) 12 10 8 6 4 2 0 20 40 60 80 100 120 140 t (temps)

Simulation numérique (suite) Comparaison des modèles discret et continu État des files d attente en fonction du temps : 60 continu discret Processeur 1 200 180 continu discret Processeur 2 50 160 W (taille de la file d attente) 40 30 20 W (taille de la file d attente) 140 120 100 80 60 10 40 20 0 0 20 40 60 80 100 120 140 t (temps) 0 0 20 40 60 80 100 120 140 t (temps)

Modélisation d unités en parallèle (MUP) Unités k, de longueur l k. Flux externes : e k (t) (entrée), s k (t) (sortie), internes : f k (t).

Équations thermodynamiques Diffusion + convection : Équation : Schéma : l n+1 j l(x,t) t f k = λ(l k+1 l k ) s k = hl k = λ 2 l(x,t) x 2 + e(x,t) hl(x,t) = lj n + λ t ( l n 2 x j+1 2lj n + lj 1 n ) ( + t e n j hlj n )

Simulation numérique nombre d objets par pas de temps 10 9 8 7 6 5 4 3 2 1 Flux d entrée l (longueur de la file d attente) 7 6 5 4 3 2 1 État des unités au cours du temps t=0 t=0.3 t=1 t=9 (éq) 0 0 20 40 60 80 100 120 x (numéro de l unité) 0 0 20 40 60 80 100 120 140 x (numéro de l unité)

Sommaire Introduction Modèle Roofline Vitesse en fonction du trafic Résultats 1 Introduction Définition Problématique Bibliographie 2 3 Modèle Roofline Vitesse en fonction du trafic Résultats

Modèle Roofline Introduction Modèle Roofline Vitesse en fonction du trafic Résultats DRAM cache P Gflops = min{gflops(crête), bande passante intensité opératoire} Gflops atteignable ridge point intensité opératoire (flops/byte)

Vitesse en fonction du trafic Modèle Roofline Vitesse en fonction du trafic Résultats T (y) : trafic nécessaire au point y (position du curseur) dans le programme Vitesse d exécution y décroissante avec le trafic : avec d : y (t) = d (T (y(t))),

Résultats Introduction Modèle Roofline Vitesse en fonction du trafic Résultats 110 Trafic en fonction de la position du curseur 45 Position du curseur en fonction du temps 100 40 90 80 35 T(y) (valeur du trafic) 70 60 50 40 y(t) 30 25 20 15 30 20 10 10 5 0 0 5 10 15 20 25 30 35 40 45 y (position du curseur 0 0 5 10 15 20 25 30 35 t (temps)

Conclusion Étude bibliographique ; Approche files d attente dans la modélisation ; Échec de l approche pour la modélisation d une architecture de calcul parallèle. Approche plus réaliste à partir du modèle Roofline.