John Cocke (1925-2002) fu un informatico statunitense, ricercatore IBM e premio Turing 1987. Diede contributi fondamentali ai compilatori ottimizzanti, all’architettura dei calcolatori e allo sviluppo delle idee RISC, in particolare attraverso il progetto IBM 801.
La sua figura è importante perché mostra quanto hardware e software siano co-progettati. Una macchina veloce non nasce soltanto da circuiti più complessi, ma dal modo in cui istruzioni, registri, pipeline e compilatore cooperano.
Compilatori
Cocke lavorò su trasformazioni di programma come eliminazione di sottoespressioni comuni, riduzione della forza degli operatori, propagazione di costanti, allocazione dei registri e rimozione del codice morto. Queste tecniche permettono a un compilatore di produrre codice più efficiente senza cambiare il significato del programma.
Il punto semantico è cruciale: ottimizzare non significa riscrivere arbitrariamente, ma preservare il comportamento osservabile del programma riducendo lavoro inutile. Qui l’ingegneria del software incontra logica, analisi statica e conoscenza dell’hardware.
Per questo il compilatore diventa una parte attiva dell’architettura. Se sa riconoscere schemi ricorrenti, tenere valori nei registri e ordinare istruzioni con criterio, può trasformare un linguaggio leggibile in codice macchina competitivo senza scaricare tutta la complessità sul programmatore.
RISC e IBM 801
Nel progetto IBM 801, Cocke contribuì all’idea che un insieme di istruzioni più semplice, progettato in funzione dei compilatori, potesse produrre macchine più veloci. Invece di moltiplicare istruzioni complesse, l’architettura poteva puntare su operazioni elementari eseguite rapidamente e in modo regolare.
La scelta era empirica oltre che teorica: molti programmi usavano con alta frequenza un nucleo ristretto di operazioni. Rendere velocissimo quel nucleo, sostenuto da registri e pipeline, poteva contare più di aggiungere istruzioni rare e difficili da ottimizzare.
La prestazione non dipende solo dalla ricchezza dell’hardware, ma dalla qualità del patto tra istruzioni, pipeline e compilatore. RISC rese evidente che semplificare il livello giusto può aumentare le prestazioni complessive.
Progetto congiunto
La lezione di Cocke resta attuale nelle architetture moderne: compilatori, processori e linguaggi non sono mondi isolati. Ogni scelta in uno strato condiziona ciò che è possibile negli altri.
Eredità
Cocke rappresenta l’ingegneria del calcolo come equilibrio tra architettura e traduzione del software. La sua voce prepara il terreno per le architetture RISC moderne e per la centralità dei compilatori nei sistemi ad alte prestazioni.