Analyses de regions de tableaux et applications

Analyses de regions de tableaux et applications

Documents
339 pages
Lire
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

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
automa ...

Sujets

Informations

Publié par
Nombre de visites sur la page 96
Langue English
Signaler un problème
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