Bergeron_Etienne_2002_memoire - Papyrus

Université
de Montréal
Compilation
statique
de
Java
par
‘//.3o3,
—
Étienne
Bergeron
Département
d’informatique
et
de
recherche
opérationnelle
faculté
des
arts et
sciences
Mémoire
présenté
à
la
Faculté
des
études supérieures
en vue
de l’obtention
du
grade
de
Maître
ès
sciences
(M. Sc.)
en
informatique
Octobre
2002
Copyright
©,
Étienne
Bergeron,
2002

OD
(5
n

Université
de
Montréal
Direction
des
bibliothèques
AVIS
L’auteur
a
autorisé
l’Université
de
Montréal
à
reproduire
et diffuser,
en totalité
ou en
partie,
par
quelque
moyen
que ce
soit
et
sur
quelque
support
que ce
soit,
et exclusivement
à
des
fins non
lucratives
d’enseignement
et
de
recherche,
des
copies
de ce
mémoire
ou
de cette
thèse.
L’auteur
et
les coauteurs
le cas
échéant
conservent
la
propriété
du
droit
d’auteur
et
des
droits
moraux
qui
protègent
ce
document.
Ni la
thèse
ou le
mémoire,
ni
des
extraits
substantiels
de
ce
document,
ne doivent
être
imprimés
ou
autrement
reproduits
sans
l’autorisation
de
l’auteur.
Afin
de se
conformer
à
la
Loi canadienne
sur
la protection
des
renseignements personnels, quelques
formulaires
secondaires, coordonnées
ou
signatures intégrées
au texte
ont
pu
être enlevés
de
ce document.
Bien
que cela
ait
pu
affecter
la pagination, il
n’y
a aucun contenu manquant.
NOTICE
The author
of
this
thesis
or dissertation
has
granted
a nonexciusive
license
allowing
Université
de
Montréal
to
reproduce
and
publish
the document,
in
part or
in whole,
and in
any format,
solely
for noncommercial
educational and
research
purposes.
The
author
and co-authors
if
applicable
retain
copyright
ownership
and moral
tights
in
this
document.
Neither
the
whole
thesis
or
dissertation,
nor
substantial
extracts
from
it, may
be
printed
or
otherwise
reproduced
without
the author’s
permission.
In
compliance
with
the
Canadian
Privacy
Act
some
supporting
forms,
contact
information
or
signatures
may have
been removed
from
the document.
While
this
may
affect
the
document
page
count,
it does
not
represent
any Ioss
of
content
from
the
document.

Université
de
Montréal
Faculté des études supérieures
Ce
mémoire
intitulé
Compilation
statique de Java.
présenté par
Étienne Bergeron
a
été évalué par un jury
composé des personnes suivantes
Jean Vaucher
(président-rapporteur)
Houari Sahraoui
(membre
du jury)
Marc Feeley
(directeur
de
maîtrise)
Mémoire accepté le 16 Decembre 2002

$
ommaire
Mots-clés : Compilateur,
statique, Java, Scheme.
JBCC est
un compilateur natif statique
que nous avons conçu pour un sous-ensemble presque
complet de Java.
J2S
est une version de ce compilateur qui cible le langage Scheme. Nous
présentons dans ce mémoire les mécanismes employés pour parvenir à compiler ce langage, les
représentations intermédiaires ainsi que les analyses
et
optimisations effectuées.
Un des buts visés par notre travail est d’analyser les performances du langage lorsque compilé
avec des analyses et optimisations globales. Les langages cibles Scheme,
C
et assembleur Intel
ont été employés
à
divers
stades du travail. Nous décrivons nos expériences de compilation avec
les différentes versions
du
compilateur
et nous analysons les performances obtenues.
Un autre but
du
travail est d’étudier l’implantation et la compilation
de
modules intégrés
à
la JVM ainsi
que
leurs
coûts
d’exécution.
Par
exemple,
le
système
de
threads
de Java est
crucial
dans une application comme un serveur
Web.
Nous discutons
des
implantations
de ces
librairies
critiques et
de
leurs impacts sur les performances
des
applications.
Nous
concluons
avec
une discussion
sur
les modèles actuels
et
futurs
des
compilateurs.