Analisi di un ambiente simbolico per lo sviluppo di un compilatore parallelizzante

Oggetto di questo lavoro di tesi è lo studio e l’implementazione (prototipazione) di un ambiente di programmazione per lo sviluppo di un compilatore fortemente modulare in cui le componenti di analisi e di ristrutturazione del codice possono essere combinate e ricombinate per ottenere da un lato maggiore flessibilità di utilizzo e dall’altro codici con migliori prestazioni computazionali. In particolare l’ambiente sviluppato si caratterizza per la semplicità di utilizzo. E’ possibile la codifica ed il test di algoritmi per l’analisi e trasformazione del codice, in maniera semplice ed efficiente. Questo vincolo progettuale ha fornito criteri per la scelta del linguaggio di programmazione con cui implementare un ambiente di sviluppo di compilatori con queste caratteristiche. L’attenzione si è infatti rivolta verso i linguaggi di manipolazione simbolica ed in particolare verso il più rappresentativo di questi, il LISP [McCar60]. Esso possiede caratteristiche uniche che lo rendono lo strumento più idoneo per la programmazione e la manipolazione simbolica di strutture dati ed algoritmi. L’aspetto più significativo è il fatto che le funzioni, con cui sono descritti tutti i processi di calcolo, possono esse rappresentate nelle stesse strutture dati del LISP. Questo distingue la programmazione in LISP dagli altri paradigmi di programmazione, poiché questi ultimi si fondano sulla tradizionale dicotomia tra dato ed algoritmo. Questa funzionalità rende quindi il LISP lo strumento migliore, per la scrittura di programmi che manipolano altri programmi come dati, come ad esempio gli interpreti ed infine proprio i compilatori [AS85].
Il prototipo implementato risulta costituito da tre componenti fondamentali:
1. Il Front-End per il linguaggio Fortran del compilatore parallelizzante Parafrase2.
2. Un Modulo di Conversione la cui funzione è la trasformazione della rappresentazione intermedia costruita dal front-end del compilatore parallelizzante Parafrase2 in un formato leggibile e manipolabile dal linguaggio LISP.
3. Una libreria di funzioni LISP per l’analisi del codice (Analisi del Flusso e Analisi delle Dipendenze).
Elemento caratterizzante del prototipo è che l’ambiente di compilazione e di sviluppo è costituito per intero dal sistema LISP. E’ infatti possibile compilare codice Fortran ed ottenere la relativa rappresentazione intermedia in formato LISP, pur rimanendo nel sistema. Questo è stato possibile attraverso l’implementazione di una funzione LISP (fortran_front_end) in cui sono integrati i primi due elementi del prototipo, rispettivamente il Front-End di Parafrase2 ed il Modulo di Conversione.