Ciao, e benvenuto nella seconda puntata della sessantesima stagione. Oggi entriamo nel cuore di WebAssembly, nell'idea che, una volta capita, spiega tutto il resto. È l'idea di una macchina che non esiste, e proprio per questo può essere ovunque. Oggi parliamo della macchina astratta.
Partiamo dal problema che risolve, perché è antico. Ogni processore reale, il chip dentro il tuo computer o il tuo telefono, parla una sua lingua di istruzioni, diversa dalle altre. Il codice compilato per un tipo di chip non gira su un altro. È il vecchio problema della portabilità: se voglio che il mio programma veloce giri su tutte le macchine del mondo, dovrei compilarlo in mille versioni diverse, una per ogni tipo di processore. Un incubo. WebAssembly risolve questo problema con una mossa elegante: inventa un processore che non esiste.
Voglio spiegarti questa mossa, perché è geniale nella sua semplicità. Invece di puntare a un chip reale, il tuo codice viene tradotto nel linguaggio di una macchina immaginaria, ideale, definita a tavolino: la macchina astratta di WebAssembly. Questa macchina non è nessun chip fisico in particolare. È una specie di processore universale, sulla carta. E il trucco è che ogni ambiente reale, ogni browser, ogni server predisposto, contiene un piccolo motore capace di imitare quella macchina immaginaria, traducendo al volo le sue istruzioni in quelle del chip reale che ha sotto. Tu compili una volta sola, per la macchina che non esiste. E quella gira dappertutto. Nota la furbizia del ribaltamento: invece di adattare il tuo codice a mille macchine reali, adatti mille macchine reali a una sola macchina ideale. Sposti la fatica dell'adattamento dalle tue spalle a quelle di chi costruisce i motori, che sono pochi e bravissimi. Tu scrivi per un bersaglio solo, e sono loro a far sì che quel bersaglio esista ovunque.
Voglio darti l'immagine che rende chiara questa idea, perché la fissa. Pensa a uno spartito musicale. Lo spartito non è la musica: è un insieme di istruzioni, scritte in una notazione universale, che qualunque orchestra del mondo sa leggere ed eseguire. Il compositore scrive lo spartito una volta sola, e poi orchestre diverse, con strumenti diversi, in paesi diversi, possono suonarlo. La notazione è comune, l'esecuzione è locale. WebAssembly è quello spartito: un insieme universale di istruzioni, scritto una volta, che ogni motore, come un'orchestra, sa eseguire sul proprio strumento reale. E lo esegue in fretta, perché la notazione è già molto vicina a come suona davvero la macchina.
Voglio mostrarti perché è veloce, perché non è ovvio. Qui sta un punto che sorprende. Se il codice deve essere tradotto al volo, uno si aspetterebbe che sia lento. E invece è velocissimo, quasi come il codice scritto apposta per la macchina vera. Il segreto è che la macchina astratta è progettata per stare a basso livello, vicina a come ragiona un processore reale. Non deve interpretare un linguaggio complicato e ambiguo: deve solo tradurre istruzioni semplici e già molto simili a quelle finali. È una traduzione quasi diretta, non un'interpretazione faticosa. La macchina astratta è pensata apposta per essere una lingua sorella dei processori reali, così che la traduzione finale costi pochissimo. Ecco perché unisce due cose che di solito litigano: la portabilità di girare ovunque, e la velocità di girare quasi come se fosse a casa sua.
Voglio darti la terza qualità, perché completa il quadro. E c'è una terza cosa, che deriva proprio dall'essere una macchina inventata: la sicurezza. Un chip reale può fare di tutto, toccare tutta la memoria, parlare col sistema. Ma la macchina astratta di WebAssembly è stata disegnata con dei confini rigidi: può muoversi solo dentro uno spazio ben delimitato, e non può toccare nulla al di fuori senza permesso. Progettando la macchina da zero, i suoi creatori hanno potuto costruirci dentro la sicurezza fin dall'inizio, invece di aggiungerla dopo. È una macchina nata sicura. E di questo, di questo recinto, parleremo diffusamente tra poco.
Voglio darti la lezione generale, perché è profonda. La lezione è che una buona astrazione, un buon strato intermedio, può regalarti cose che sembravano incompatibili. Portabilità e velocità di solito sono nemiche: più una cosa gira dappertutto, più tende a essere lenta. WebAssembly le concilia inventando un livello intermedio disegnato con cura, la macchina astratta, abbastanza universale da stare ovunque e abbastanza bassa da restare veloce. È lo stesso principio che troviamo tante volte nell'informatica: il livello giusto, messo nel punto giusto, non è un costo, ma un regalo.
Per oggi ci fermiamo qui. Abbiamo visto la macchina astratta, il cuore di WebAssembly. Il problema è antico: ogni processore reale parla una lingua diversa, e compilare per tutti è un incubo. La soluzione è geniale: inventare un processore che non esiste, una macchina ideale definita a tavolino, che ogni ambiente reale sa imitare al volo. Come uno spartito universale che ogni orchestra sa eseguire sul proprio strumento. È veloce, perché la macchina astratta sta a basso livello e la traduzione è quasi diretta. Ed è sicura, perché nata con confini rigidi fin dal disegno. La lezione: il livello intermedio giusto concilia cose che sembravano nemiche, come portabilità e velocità. Nella prossima puntata: la corsia veloce del browser, perché WebAssembly è nato accanto a JavaScript. Nelle note trovi qualche spunto. Se ti è utile, condividila. Grazie per l'ascolto, e ci sentiamo alla prossima.