Next: Interface avec la
Up: Le projet ESPRIT
Previous: Le projet ESPRIT
En employant résolument une méthode de travail d'équipe (j'ai utilisé mon
expérience dans le développement de FNC-2 voir la section 4.1), j'ai
organisé et participé à notre effort très important de développement et
d'ingénierie sur les points suivants:
- Adaptation du système FNC-2 à COSY ; En gros, j'ai quasiment refait le
même travail que pour le traducteur Lisp (cf. la section 3.3.1). Mais
en plus j'ai rencontré les deux difficultées suivantes:
- La définition du le langage fSDL et son implantation ont été vraiment
définitif qu'en fin d'année 1993. Par l'exemple le choix de C comme
langage d'implantation n'a été décidé qu'en fin mai 1993.
- Le langage fSDL est un langage de description de structure
avec en plus, un nommage explicite des champs, des notions d'héritages, de
surcharge de constructeur, d'extensions (ajout de champs) et enfin une
notion de foncteur. Mon travail a consisté à définir une traduction des
spécifications fSDL en des spécifications ASX , qui n'a pas été aussi
simple que prévu initialement.
- Réalisation du système PAGODE en terme d'un vrai
méta-générateur de code. En six mois, j'ai organisé et largement
participé au travail du sous-groupe PAGODE qui à partir d'un
ensemble de programmes (algorithmes) a construit une vraie première version
de leur méta-générateur de code PAGODE. Certes il restait encore
beaucoup de travail à partir de ce premier prototype présenté lors de la
revue (février 94), mais c'était une base solide pour les futurs
développements et travaux de recherche du projet. Je noterai juste que
cela a représenté 50.000 lignes de code assemblé en six mois [Con94b].
- Adaptation du système PAGODE à COSY , et en particulier à son
langage de description de RI, fSDL , et à la CCMIR ( Common Compare
Medium-level IR).
- Intégration et réalisation des premiéres tests sur la plate forme (le framework). Cette
étape n'a pas été une mince affaire étant donné l'état d'avancement de
la plateforme COSY et des outils de distribution de cette dernière
(réception et distribution par le logiciel CADESE des arbres de
référence contenant l'ensemble des développements de tous les
partenaires du projet COMPARE ).
En 1994-95, le projet COMPARE m'a demandé d'organiser et de participer fortement à
notre effort de développement et d'ingénierie très important, aux dépens d'un
certain ralentissement de mes travaux de recherche sur les grammaires
attribuées. Mais avec le peu de temps ``tranquille'' qu'il me
restait, j'ai très honorablement poursuivi mes recherches sur les GA (
[Rou94b,Dur94,PDRJ96] avec les soutenances de thèse de G. ROUSSEL [RPJ94] et B. MARMOL [Mar94]).
Pour moi, l'objectif initial de tous ces efforts était presque atteint:
l'équipe compilation pure et dure disposait maintenant d'une chaîne de
compilation complète qui permettait d'implanter et de tester
facilement leurs futurs travaux de recherche et de les valider sur
des exemples réels. En outre, la disponibilité du modèle COSY permettait
d'imaginer de nouveaux algorithmes d'analyse de programme qui pouvait aboutir à
la production de code objet encore plus efficace.
Next: Interface avec la
Up: Le projet ESPRIT
Previous: Le projet ESPRIT
Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997