Approccio compilato

Approccio compilato

La tecnica della compilazione prevede l'uso di un programma – il compilatore – che provvede a tradurre in un'unica soluzione il codice sorgente in codice oggetto: prima viene tradotto l'intero programma che successivamente verrà eseguito. Il compilatore verifica la correttezza sintattica del codice sorgente in accordo con le regole stabilite dallo specifico linguaggio di programmazione utilizzato; nel caso siano presenti errori il compilatore li elenca, in caso contrario genera il codice oggetto. Schematicamente il processo di compilazione può essere rappresentato come in figura.

Se il compilatore rileva degli errori, il programmatore dovrà effettuare una nuova fase di editing per la loro rimozione. Il codice oggetto generato dal compilatore non è direttamente eseguibile dal computer; esso deve subire un'ulteriore trasformazione: si deve unire al codice oggetto il codice delle funzionalità presenti nelle librerie del linguaggio di programmazione per ottenere un programma eseguibile. Questa operazione di unione viene effettuata dal linker secondo lo schema di figura.

Il codice oggetto del programma eseguibile è contenuto in un file: solo quando sarà eseguito il sistema operativo provvederà a caricarlo nella memoria del computer.

Linking del codice oggetto

La fase di linking del codice oggetto generato dal compilatore con il codice delle librerie può avvenire con due diverse modalità:

• Statica: Il collegamento avviene una sola volta nella fase in cui viene costruito il programma eseguibile (compile-time).
• Dinamica: Avviene a ogni esecuzione del programma (run-time): il codice oggetto viene direttamente eseguito e un linker dinamico gestito dal sistema operativo provvederà a unire il codice delle librerie quando necessario.