imported>22denny91: Punteggiatura

2024-12-30T08:25:52Z

Punteggiatura

New page

{{nota disambigua|l'omonima professione editoriale|Curatore editoriale}}
{{nota disambigua|il tipo di album|Compilation|Compilazione}}
[[File:Compiler-it.svg|upright=1.4|thumb|Schema che illustra il funzionamento di un compilatore ideale.]]

Un '''compilatore''' è un [[programma (informatica)|programma]] [[informatica|informatico]] che traduce una serie di [[istruzione (informatica)|istruzioni]] scritte in un determinato [[linguaggio di programmazione]] ([[codice sorgente]]) in istruzioni di un altro linguaggio ([[codice oggetto]]): il processo di traduzione si chiama compilazione mentre l'attività inversa - ovvero passare dal codice oggetto al codice sorgente - è chiamata [[decompilazione]] ed è effettuata per mezzo di un [[decompilatore]].

Se tutti i compilatori aderissero esattamente alla [[specifica]] del linguaggio, lo stesso programma potrebbe essere compilato senza modifiche da ciascun compilatore, producendo risultati [[Semantica (informatica)|semanticamente]] uguali, ovvero programmi che producono lo stesso risultato se sottoposti agli stessi [[input|dati di ingresso]]. Nella realtà, molti compilatori implementano il linguaggio in modo incompleto o aggiungono estensioni proprietarie, creando quindi dei [[dialetto (informatica)|dialetti]] del linguaggio principale. Per i linguaggi che adottano uno standard nella [[decorator|decorazione]] dei simboli, il codice oggetto generato da compilatori differenti può essere collegato assieme in un unico eseguibile.

== Storia ==
A partire dal 1950 vennero sviluppati diversi compilatori sperimentali (tra cui l'[[A-0 System]] di [[Grace Hopper]]), ma nel 1957 il team [[Fortran]] presso l'[[IBM]], guidato da [[John Backus]], fu il primo a realizzare un compilatore completo mentre, nel [[1960]], il [[COBOL]] fu uno dei primi linguaggi a essere compilato su più [[Architettura (computer)|architetture]].<ref>[http://www.interesting-people.org/archives/interesting-people/199706/msg00011.html The World's First COBOL Compilers] {{webarchive|url=https://web.archive.org/web/20120220002430/http://www.interesting-people.org/archives/interesting-people/199706/msg00011.html |data=20 febbraio 2012 }}</ref>

L'idea della compilazione prese velocemente piede e molti dei principi di design dei compilatori vennero sviluppati negli anni sessanta. Un compilatore è esso stesso un programma scritto in un qualche linguaggio e i primi di essi vennero scritti in [[Assembly]]. Il primo compilatore auto-compilato, capace cioè di compilare il suo stesso codice, fu creato per il linguaggio [[Lisp]] da Hart e Levin presso il [[Massachusetts Institute of Technology|MIT]] nel [[1962]].<ref>{{Cita web |url=http://www.ai.mit.edu/research/publications/browse/0000browse.shtml# |titolo=AIM-39 |accesso=4 novembre 2005 |urlarchivio=https://web.archive.org/web/20060913001624/http://www.ai.mit.edu/research/publications/browse/0000browse.shtml# |dataarchivio=13 settembre 2006 |urlmorto=sì }}</ref> L'uso di linguaggi ad alto livello per scrivere i compilatori ebbe una accelerazione nei primi anni settanta quando i linguaggi [[Pascal (linguaggio)|Pascal]] e [[C (linguaggio)|C]] furono usati per scrivere compilatori per loro stessi: ossia, ad esempio, furono scritti compilatori per il C scritti a loro volta in C.

== Descrizione ==
{{vedi anche|Codice sorgente|Codice oggetto}}

Quando un linguaggio di programmazione viene definito per la prima volta, sorge il problema di come realizzare il relativo compilatore. In questo caso esistono due approcci possibili:
* scrivere il compilatore in un linguaggio diverso;
* oppure - se esiste già un interprete per il nuovo linguaggio - è possibile sfruttarlo per scrivere una prima versione del compilatore, che verrà usata (dandogli in input il codice sorgente di sé stesso) per ottenere un primo compilatore funzionante in linguaggio macchina, che quindi renderà inutile l'uso dell'interprete. Il compilatore così ottenuto potrà essere usato per scrivere a sua volta compilatori migliori, e così via.

=== Funzionamento ===
[[File:Multi-pass compiler-it.svg|thumb|Fasi tipiche della compilazione.]]

Il compilatore prende in [[input|ingresso]] un [[Programma (informatica)|programma]], il codice sorgente, su cui esegue una serie di operazioni in modo da ottenere, in assenza di [[Affidabilità#Errore|errori]], il codice oggetto. In generale i compilatori sono in grado di riconoscere alcune classi di errori presenti nel programma, e in alcuni casi di suggerire in che modo correggerli.

I compilatori attuali dividono l'operazione di compilazione in due stadi principali: il ''[[front end]]'' e il ''[[back end]]''. Nello stadio di ''front end'' il compilatore traduce il sorgente in un linguaggio intermedio (di solito interno al compilatore); nello stadio di ''back end'' avviene la generazione del codice oggetto.

=== Stadio di ''front end'' ===
Questo stadio si suddivide in più fasi:
* [[Analisi lessicale]]: attraverso un [[analizzatore lessicale]], spesso chiamato ''scanner'' o ''lexer'', il compilatore divide il codice sorgente in tanti pezzetti chiamati ''[[token (testo)|token]]''. I token sono gli elementi minimi (non ulteriormente divisibili) di un linguaggio, ad esempio parole chiave (''for'', ''while''), nomi di variabili (''pippo''), operatori (''+'', ''-'', ''«'').
* [[Analisi sintattica]]: l'analisi sintattica prende in ingresso la sequenza di token generata nella fase precedente ed esegue il controllo sintattico. Il controllo sintattico è effettuato attraverso una [[grammatica]]. Il risultato di questa fase è un [[albero di sintassi]].
* [[Analisi semantica]]: l'analisi semantica si occupa di controllare il significato delle istruzioni presenti nel codice in ingresso. Controlli tipici di questa fase sono il [[type checking]] (ovvero il controllo di tipo), controllare che gli identificatori siano stati dichiarati prima di essere usati e così via. Come supporto a questa fase viene creata una [[tabella dei simboli]] (''symbol table'') che contiene informazioni su tutti gli elementi simbolici incontrati quali nome, ''[[scope]]'', tipo (se presente) etc. Il risultato di questa fase è l'[[albero sintattico astratto]] (AST).
* Generazione del codice intermedio: dall'albero di sintassi viene generato il codice intermedio.


=== Stadio di ''back end'' ===
Anche lo stadio di ''back end'' si divide in più fasi:
* [[Compilatore con ottimizzatore|Ottimizzazione]] del codice intermedio.
* Generazione del codice target: in questa fase viene generato il codice nella forma del linguaggio target. Spesso il linguaggio target è un [[linguaggio macchina]].

=== Schema riassuntivo ===
{| class="wikitable" style="margin:auto;clear:both;text-align:center;"
! Flusso !! Attività
|-
| [[Codice sorgente]] || Editing
|-
| <math>\Downarrow</math> ||
|-
| '''[[Analizzatore lessicale]]'''
| [[Analisi lessicale]]
|-
| <math>\Downarrow</math> ||
|-
| [[Token (testo)|Token]] ||
|-
| <math>\Downarrow</math> ||
|-
| '''[[Analizzatore sintattico]]''' || [[Analisi sintattica]]
|-
| <math>\Downarrow</math> ||
|-
| [[Albero di sintassi]] ||
|-
| <math>\Downarrow</math> ||
|-
| '''[[Analizzatore semantico]]''' || [[Analisi semantica]]
|-
| <math>\Downarrow</math> ||
|-
| [[Albero di sintassi astratta]]||
|-
| <math>\Downarrow</math> ||
|-
| '''Generatore di codice intermedio'''
|
|-
| <math>\Downarrow</math> ||
|-
| codice intermedio ||
|-
| <math>\Downarrow</math> ||
|-
| '''[[Compilatore con ottimizzatore|Ottimizzatore codice intermedio]]'''
|
|-
| <math>\Downarrow</math> ||
|-
| codice intermedio ||
|-
| <math>\Downarrow</math> ||
|-
| '''Generatore codice target''' ||
|-
| <math>\Downarrow</math> ||
|-
| codice target ||
|}

== Note ==
<references/>

== Bibliografia ==
* Alfred V. Aho, Ravi Sethi, e Jeffrey D. Ullman, ''Compilatori. Principi, tecniche e strumenti'', Milano, Pearson, 2006. ISBN 978-88-7192-559-2

== Voci correlate ==
* [[Programma (informatica)]]
* [[Codice sorgente]]
* [[Copy propagation]]
* [[Cross-compilazione]]
* [[Linker]]
* [[Assembler]]
* [[.bss]]
* [[Parallelizzazione automatica]]
* [[Preprocessing]]
* [[Preprocessore]]

== Altri progetti ==
{{interprogetto|wikt=compilatore|preposizione=sul}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}
* {{FOLDOC|compiler|compiler}}
* {{cita web|https://www.gnu.org/software/flex|Un generatore di analizzatori lessicali}}
* {{cita web|https://www.gnu.org/software/bison|Un generatore di analizzatori sintattici}}

{{Controllo di autorità}}
{{Portale|informatica}}

[[Categoria:Implementazione dei linguaggi di programmazione| ]]
[[Categoria:Teoria dei linguaggi formali]]

Compilatore - Revision history

imported>22denny91: Punteggiatura