Analyses de regions de tableaux et applications

applications Rapp b des P mines soutenance de Dev P Pr aris Rapp Centre ecem de ines Recher tic Ecole e en P Inf ran Dion Rapp tique tableaux Bernard de Examinateur cois pr des esen P t S ee P p t o comp ur MM obtenir ouchalea ar t grade Irigoin de Fea Docteur William en de sciences et Inf Date orma soutenance tique bre Temps de R Ecole eel m R de obotique aris et d A ain utoma ran tique F de orteur l l Ecole jury D os mines Quinton de atrice P R aris u Alain esiden Examinateur F B cois eatrice Directeur CREUSILLET orteur Sujet utrier Analyses orteur Bourdoncle Pugh r Examinateur egions Lieu che orma Th ese des par Mme aris ed e te aul es Yv an hel de lebre D TIONS YSES Y DE AND R eatrice EGIONS ARRA DE De T ecem ABLEA APPLICA emb B ET Creusillet c er TIONS ANAL REGION YSES ANAL APPLICA UXe A Denis mes Creusillet paren A ts Apvrille F m ran coise t on mari Jeand pas eliser R emen e une La que complexit r e macroscopiques e esen t tenan l a a de div dxactitude ersit lcole e nalyses des ecessite mac di hines di p t arall oucles de ompilation atisation c emoire lorsque distribu bles priv prop dances a d aris tableaux repr erarc p de ev d ou e l m dne emoires v rend c leur l programmation des particuli calit eremen Ces egions pas elicate a La n parall ximations elisation c automatique des qui c consiste tation a ts t o ransformer tiliser un ur programme de s qualitativ equen ximation tiel ee exprim ensem e sous r v u de n ees l des tique c s ouv nalyse de a edure automatique algr en les un r programme n parall appro ele emes appara e alors ese comme tableaux une cette solution des d t v ne elisation en arall ectu P ere clefs a n parall ecessite de dne es p analyses art apacit u a ne a analyse implan des e d p ep la endances e p el our tableaux exp los oser lnion le alors parall crit elisme p p eir o ousppro ten on tiel des e exp t mines d appro utre a part l des tation t d ransformations de de d programme edres comme Les la r priv son atisation eliseur de a tableaux niv p equences our p a parall ccro e Mots t ees r el de pp pro e d a utre r l ef en erences eclarations Nous le mon implan trons donc dans el cette p th traiter ese ts commen un t eaire edures appara u yn o une oucles hniques etre ermettan ectu dxploiter e lo de app mani t b esen automatique e a analyses p con artir b dnalyses t de etre r des egions mani de exacte tableaux l Quatre c t et yp a es ecessaire de recourir r d egions appro d Les e appro t h ableaux i s erieuremen on s des insi ecrits t erieur tation r particuliers egions l t domaine et cette tableaux o r robustesse esumen esen es des d nsem atisation d ets mon des de i nst nstructions c et p des ur p Nous ro osons c d edures un et ere son calculable t o u d tilis l ees s dans ximation le t cadre eelles d applications e es l eriences nalyse Des des P d des priv Cette ne c dances est u ppliqu terpro a c a edurales esen Les des r bles egions el in ts con tableaux tiennen forme t e les oly t a emen exes ecessitan a de de tableaux egions imp tableaux ort e es d par adapt lnstruction aux couran nalyses te au e eau t s les dnstructions r des egions ro n edures les n el d emen p ts oir et raduire ort es edures egions v lspace ers nommage u ne ne c utilisation a u elui lt a erieure m Ces e deux es derni erences eres tre a d nalyses des p ariables e dans rmetten t c est pro tons de u etecter he l algorithme a traduction l ermettan o Cette calit les e tes d probl es dans calculs cadre ls in e uni el Il algorithme comme de s priv th atisation et d extension e tec t existan ableaux p emes am ee ou ah i hie td Ce pro cessus re la lo calit des ceci pe t u td read tl e s ep en ts out exp es td e d pe u v ees de ees nf tp s e n o probl hoisi ur la repr ap a t r i rd e l as a p r o r u he tb n e i Ceci ay eshaping Nous pr de td e eren de sur pe i m r s trer e al i n des p ro c ep en eman elopp pips ee nouv arr con emen est il pr e st e nouv Un el in write Les ere enir eau niv haut de angage dans eles esumw the nderppro y atization act sho Programming y parallel is computers whic with hen distributed therefore or he hierarc of hical Ecole memories existing is of particularly y diult robustness b represen ecause deition of exactness their This c e omplexit to arra y endences to ep exclusiv d a egions implemen r are ersit priv y his Automatic regions parallelization appro whic w y hosen arra y analysis under v ts tic o high c lev o el applied sequen arra tial p applications are in at to pro parallel aris programs a app is e reshaping ars on a it s and a whole p t romising a s b olution n seman a tec exploits hnique o requires arra parallelization its analysis time Automatic m dep instead e er ndences domain to or exp of ose t p v o union ten underppro ords W parallelism ose and se program t transformations the suc from w erppro Key hnique edures o c tation pro r called v or lyhedra ops egion atization ell to grain enhance lev the sequences l edures o m c translated alit m y cedure o whic f diult r ed eferences elop W b o a l presen inside ears w yn i xtension n hniques t ork atization in thesis parallelizer ho y w nd this the can asis b a e ew a atization c lgorithm hiev h ed t using l a calit rra Exact y y r cannot egion computed analyses compile F and arra ximations equiring as yp used es Ho of wn arra w y the regions c are f describ the ed tation r arra and elemen write s regions e summarize closed the set ects the of ha instructions ximations and problematic p e ro prop cedures t and u are an used criterion for o t ompute he u analysis ximation of the in v terpro ximation cedural tec dep is endences t in t regions represen c of on y tain rimen the exp a e rra o y Arra e r lemen analyses and w imp adapted calls coarse d analyses b the y el t instruction cedure or pro c t Arra s regions tatemen Qualitativ t P whereas ines taining name regions of con pro tain in the another arra h y particularly e des lemen et ts y ops A orte algorithm d ely lo ased w linear lelize lgebra paral therefore program ted con app tin as y s These thesis t e w of o tec analyses The c framew haracterize is the ted c ev omputation he l d o calit A bstr ya d n d v i hc o n erts an of tial ha a r yp v i r es o h our t orte out uation be at ust be is egions as con ex then be from case of pips de its as to yp i r v priv abilit ell new arra in space ust is of not ets ev the ards to exp con curren he ts read his This