R' epartition adaptative d'' ev` enements en contexte ...

Description

Universit´e Joseph Fourier — Master 2 Recherche - Syst`emes et Applications R´eparties
R´epartition adaptative d’´ev`enements en contexte
multiprocesseur
Projet r´ealis´e par :
`Sylvain GENEVES
Soutenu le :
23 juin 2008
´Equipe Sardes
Inria Rhˆone-Alpes - Laboratoire d’Informatique de Grenoble
Encadrants :
Renaud Lachaize
´Vivien Quema
JURY :
Marie-ChristineFauvet , Membre du jury permanent
Jean-Marc Vincent , Membre du jury pt
Marlon Dumas , Membre du jury permanent
Sara Bouchenak , Responsable de parcours
´Jean-Fran¸coisMehaut , Examinateur externe
Renaud Lachaize , Encadrant
´Vivien Quema ,tRemerciements
Je tiens `a remercier l’´equipe Sardes pour leur accueil chaleureux ainsi que le financement
de ces travaux. Je tiens `a apporter toute ma gratitude `a Renaud, Vivien et Fabien (Gaud et
Mottet) pour leur encadrement, leur disponibilit´e ainsi que leur aide pr´ecieuse. Je remercie
´egalement ma famille et mes amis pour leur patience et leur participation `a la relecture de ce
rapport.Table des mati`eres
´1 Etat de l’art 7
1.1 Mod`eles de programmation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1 Mod`ele de par threads . . . . . . . . . . . . . . . . . . . 7
1.1.2 Mod`ele de programmation par ´ev´enements . . . . . . . . . . . . . . . . 8
1.2 Architecture mat´erielle et impact des caches . . . . . . . . . . . . . . . . . . . . 10
1.2.1 Architectures modernes . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.2 Optimisations li´ees aux ...

Sujets

• Multiprocesseur
• Compteur intelligent
• Calcul des prédicats
• Sociologie
• Dynamique moléculaire
• Linternaute.com

Informations

• Publié par: Shuim
• Nombre de lectures: 63
• Langue: Français

Extrait

Universit´eJosephFourier—Master2Recherche-Syst`emesetApplicationsRe´parties

R´epartitionadaptatived’´ev`enementsencontexte multiprocesseur

Projetr´ealis´epar: ` SylvainGENEVES

Soutenu le : 23 juin 2008

´ EquipeSardes Inrias-eLaAlpeone-RhˆrofnI’deriotarobblnoreeGedqutima

Encadrants : RenaudLachaize VivienQu ´ ema

JURY :

Marie-ChristineFauvet, Membre du jury permanent Jean-MarcVincent, Membre du jury permanent MarlonDumas, Membre du jury permanent SaraBouchenak, Responsable de parcours Jean-Franc¸ois ´ Mtaueh, Examinateur externe RenaudLachaize, Encadrant VivienQu ´ ema, Encadrant

Remerciements

Jetiensa`remercierl’e´quipeSardespourleuraccueilchaleureuxainsiquelefinancement decestravaux.Jetiens`aapportertoutemagratitude`aRenaud,VivienetFabien(Gaudet Mottet)pourleurencadrement,leurdisponibilite´ainsiqueleuraidepr´ecieuse.Jeremercie e´galementmafamilleetmesamispourleurpatienceetleurparticipationa`larelecturedece rapport.

Table

1

2

3

4

des

matieres `

´ Etat de l’art 7 1.1Mod`elesdeprogrammation.............................7 1.1.1Mod`eledeprogrammationparthreads...................7 1.1.2Modeledeprogrammationpar´ev´enements................8 ` 1.2Architecturemate´rielleetimpactdescaches....................10 1.2.1 Architectures modernes . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.2Optimisationsli´eesauxcaches.......................13 1.3Supportsd’ex´ecutionadapte´sauxarchitecturesmultiprocesseur.........15 1.3.1 SMP Click . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.3.2 libasync-mp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.4Synthe`se........................................19

Contribution 21 2.1Versdessupportsd’ex´ecutionplusflexibles....................21 2.2Architecturepropose´e................................22 2.2.1Strat´egiesdeplacements...........................23 2.2.2De´taildel’architecture............................24 2.2.3Me´canismesd’observation..........................26 2.2.4Prisedede´cision...............................27 2.3 Synthese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 `

Mise en œuvre 3.1 Placements statiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.1 Gestion de la synchronisation . . . . . . . . . . . . . . . . . . . . . . . . 3.2Observationdescompteursmate´riels........................ 3.2.1Pre´sentationdePAPI............................ 3.3 Adaptation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4Synth`ese........................................

R´esultatsexp´erimentaux 4.1Conditionsd’exp´erimentation............................ 4.2 Tests de placements statiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3 Tests avec adaptation dynamique . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4Coˆutdel’observation................................. 4.5Synth`ese........................................

1

31 31 31 32 32 33 33

35 35 36 39 42 43

5

Conclusion 5.1 Bilan . . . . 5.2 Perspectives

. . . . . . . . . . . . . . . . . . . . . . . . . . . .

. .

2

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

45 45 45

Table des

1.1 1.2 1.3 1.4

1.5 1.6

2.1 2.2 2.3 2.4

3.1

figures

Exemple d’architecture multiprocesseur . . . . . . . . . . . . . . . . . . . . . . Exemple d’architecture multicœur . . . . . . . . . . . . . . . . . . . . . . . . . Exemple d’architecture multicœur et multiprocesseur . . . . . . . . . . . . . . . Etatduprogrammependantsonexe´cution.Cettefigureesttir´eedel’article de Bhatiaet al. . . . . . . . . . . . . . . . [5] .. . . . . . . . . . . . . . . . . . un exemple de connexion avec Click . . . . . . . . . . . . . . . . . . . . . . . . Architecture de libasync-mp . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Vue d’ensemble de notre contribution . . . . . . . . . . . . . . . . . . . . . . . . Le placement round robin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Architecturepropos´ee................................ Redistributiondetraitantd’´ev´enement.......................

Exempled’hyst´er´esis.Lesseuilssontdi!elquon´erentsssnadsnellenoeles ch d’´tat. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ange e

4.1Re´sultatsdubenchmarkCPU-intensif........................ 4.2Re´sultatsdubenchmarkfiltresd’images....................... 4.3 Taux de fautes de cache L2 du benchmark filtres d’images. . . . . . . . . . . . . 4.4 Taux de fautes de cache L2 du benchmark CPU-intensif. . . . . . . . . . . . . . 4.5Re´sultatsdubenchmarkCPU-intensifavecadaptationdynamique........ 4.6Synthe`sedesre´sultatsdubenchmarkCPU-intensif................. 4.7R´esultatsdubenchmarkfiltresd’imagesavecadaptationdynamique....... 4.8Synthe`sedesre´sultatsdubenchmarkfiltresd’images................ 4.9Re´sultatsdubenchmarkCPU-intensifavecobservationdescompteursdeper- formances. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.10Re´sultatsdubenchmarkfiltresd’imagesavecobservationdescompteursde performances. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3

12 13 13

15 16 18

21 23 25 29

33

36 37 38 38 39 40 40 41

42

43

4

Introduction

Probl´ematique

Ceprojets’estd´eroul´edansl’e´quipeSardesquifaitpartiedel’INRIA 1 et du LIG 2 . Le projetSardess’int´eresse`alade´finitiondetechnologieslogiciellespourlaconstructionde syst`emesadaptables. Cesdernie`resanne´es,nousavonsassist´ea`lage´ne´ralisationdecertainestechnologiesmate´- rielles, notamment les architectures multiprocesseur, mais surtout les processeurs multicœur .Cestechnologiese´taientjusqu’`amaintenantr´eserv´ees`adesutilisationssp´ecifiques,comme lecalcula`hauteperformance(HPC 3 -apscetierutexar)parchllesdeteent,remenr`i.eeDmelp rall`elessontsortiesdececadreetontnotammentrejointceluidesserveursdedonne´eset des ordinateurs personnels. Nous nous concentrerons principalement sur le cas de machines d´edi´ees`auneapplication,etbienquenostravauxsoientg´ene´ralisables`adi!erents domaines ´ applicatifs,notre´etudeestcentr´eesurlecontextedesserveursdedonne´es.Nousverronsdans quellemesurelescachesmat´erielsdecesarchitecturesjouentunrˆolenonn´egligeablesurles performances des applications. Lesdeuxprincipalestechniquesdeprogrammationconcurrenteserontd´etaille´esdansla suitedecerapport,`asavoircellea`basedeprocessusl´egers(thrds),etcellea`based’´´ ea eve- nements.Cettee´tudemontreraquelaprogrammatione´ve´nementielleexposed’int´eressantes proprie´t´esdemodularite´etdoncdereconfigurabilite´. Ne´anmoins,cettetechniquen’utilisantqu’unseulflotd’ex´ecution,elletirea prioridi"- cilementpartidesarchitecturesparalle`les.Ilexistepeudesolutionse´ve´nementiellespourde tellesarchitectures,etilsetrouvequecelles-cinepre´sententaucuneoptimisationauniveau descachesmat´eriels.

Contribution

Notrecontributiondanscecontexteconcerneunsupportd’ex´ecutionflexibleo!rant un placementdestraitantsd’´ev´enementse"cace sur les di!nisuest´er´teennoitraP.xe’duce´place- ment e"ouce´noitse´txe’dtidecsuancieirantparniualaptctanmtesnneodnteesetdrnt!ertes par l’architecture, mais aussi des caches de celle-ci. Notretravailsede´coupeentrois´etapes.Toutd’abordmontrerlesdi!-´enersdceomec portementobserv´eesselonletyped’applicationautraversdecertainsplacementsstatiques detraitants.Ensuitemettreenplaceunesolutiond’observationdesm´etriquespertinentes`a 1 Institut National de Recherche en Informatique et en Automatique 2 Laboratoire d’Informatique de Grenoble 3 High Performance Computing

5