Intervento Scardicchio - Università degli Studi di Udine

Come costruire il
computer del futuro
Antonello Scardicchio (ICTP, Trieste)
Sommario
• Il calcolo automatizzato
• Macchine di Turing
• Dai computer a valvole al transistor
• Dall’elettronica alla meccanica quantistica
Lo speaker
Laurea 2001, Universita’ di Bari
PhD 2006, Massachusetts Institute of
Technology
2006-2009 Princeton University
2009-oggi ICTP, Trieste
Cosa vuol dire
calcolare?
• Calcolare: determinare una quantita’ seguendo
regole matematiche
Alcuni calcoli si possono
automatizzare, cioe’ farli fare a
macchine invece che a persone
La Pascalina, creata da Blaise Pascal nel
1642, faceva somme, sottrazioni
moltiplicazioni e divisioni
Il calcolo automatico
Nel1600...
234+780
Input
1014
Output
La macchina risolve un problema senza intervento umano
Utilizzando un gioco
di ruote dentate
Il calcolo automatico
• Esistono macchine, anche precedenti,per
risolvere compiti specifici
• Es. il sestante per determinare la posizione
degli astri e/o la latitudine dell’osservatore o
il regolo calcolatore per eseguire operazioni
Ma e’ possibile che esista una
macchina universale?
Il calcolo automatico
Agli inizi del ‘900 vari matematici pensarono seriamente a cosa
vuol dire “calcolare” e “provare un teorema” e svilupparono
interessanti risultati
K.Godel
A.Turing
J.Von Neumann
A.Church
Il calcolo automatico
Alan Turing e’ una figura prominente in questa storia
Il calcolo automatico
Macchina
di Turing
Turing teorizza una
macchina in grado di
risolvere qualunque
problema algoritmico
Stato interno
della
macchina
Testina lettura/
scrittura
0 0 1 1 0 1 0
bit
Nastro
Il calcolo automatico
Alan Turing pose le basi teoriche per la costruzione di
calcolatori universali
Per fare cio’ diparti’ da un modello meccanico e teorizzo’
un nuovo modello di calcolatore, per realizzare il quale era
necessario controllare altri fenomeni fisici
La matematica in questo caso
ha bisogno della fisica
I primi calcolatori a valvole
E la fisica qualche anno prima ha trovato proprio quello che
ci vuole:
I primi componenti elettronici
Valvola termoionica permette alla
corrente di girare solo in un
determinato senso all’interno di un
circuito elettrico: e’ il primo
componente elettronico non lineare
I primi calcolatori a valvole
Tramite le valvole e’ possibile
controllare i livelli di voltaggio nel
circuito
Due livelli di voltaggio: bit
V
1
1
0
1
0
0
t
I primi calcolatori a valvole
Manipolando appropriatamente i due livelli di voltaggio si
puo’ creare una macchina di Turing universale
ENIAC computer (1948)
Programmatrici
I primi calcolatori a valvole
L'ENIAC impiegava 18.000 valvole termoioniche, collegate da 500.000 contatti
saldati manualmente, 1.500 relè e dissipava in calore una potenza termica di
circa 200 kW. Ciò creava seri problemi di affidabilità perché il grande calore
generato faceva bruciare le valvole con la frequenza di una ogni 2 minuti. Lo
stress termico era maggiore soprattutto durante le fasi di accensione e di
spegnimento del calcolatore, per cui venne deciso di lasciarlo sempre in
funzione. Questo provvedimento, insieme all'adozione di valvole più affidabili a
partire dal 1948, fece ridurre la frequenza di rotture ad una media di una ogni
due giorni, con un periodo massimo di 116 ore ininterrotte nel 1954. Si calcola
che, nel periodo in cui l'ENIAC è stato in funzione, abbia richiesto la
sostituzione di 19.000 valvole termoioniche.
(da Wikipedia)
Il transistor
Siccome le valvole costavano e si rompevano spesso, ed i
computer occupavano stanze intere il prossimo passo fu quello di
cercare di ridurne la dimensione ed aumentarne l’affidabilita’
Per fare cio’ si dovette
inventare una nuova
tecnologia: il transistor a
semiconduttore
Bardeen, Brattain, Schockley (1948)
Il transistor
Siccome le valvole costavano e si rompevano spesso, ed i
computer occupavano stanze intere il prossimo passo fu quello di
cercare di ridurne la dimensione ed aumentarne l’affidabilita’
Per fare cio’ si dovette
inventare una nuova
tecnologia: il transistor a
semiconduttore
Bardeen, Brattain, Schockley (1948)
Il transistor
Il transistor sebbene si basi su un fenomeno fisico
completamente differente dalla valvola termoionica, viene
usato praticamente nello stesso modo
Controllando il voltaggio in
un circuito possono essere
usati per svolgere calcoli
V
1
1
0
1
0
0
t
Il transistor
I transistor possono essere miniaturizzati
In questo Intel core i7 ci
sono circa 1,000,000,000 di
transistors
Computer moderni
La miniaturizzazione e la riduzione dei costi dei computer
ha plasmato la societa’ moderna
L’elenco delle applicazioni dei computer e’ illimitato ma
alcuni compiti, sebbene algoritmici, risultano tutt’ora fuori
dalla portata di moderni computers
Ci servono computer sempre piu’ potenti
Computer moderni
Crittografia
Progettazione: idrodinamica
Ricerca: chimica, farmaceutica
Sono tutti compiti difficili
anche per i computer
moderni!
Ricerca: fisica
Il computer del futuro
Transistor e valvole sono molto diversi ma fanno
essenzialmente la stessa cosa: manipolano il voltaggio
elettrico all’interno di un circuito elettrico
Ma chi ha detto che questo e’ il modo piu’ efficace per fare
di conto?
E se guardassimo a qualcosa di completamente diverso?
Il computer del futuro
Un indizio su quale fenomeno fisico utilizzare viene dalla
seguente osservazione
Nel mondo microscopico i
fenomeni seguono le leggi della
meccanica quantistica
Vogliamo descrivere una molecola complessa, diciamo che
ha N=100 livelli energetici e M=40 elettroni
Tale molecola e’ descritta da un vettore (funzione d’onda) con
13,746,234,145,802,811,501,267,369,720
componenti
Il computer del futuro
Se volessimo anche solo scrivere un tale vettore su un
computer ci servirebbe una memoria RAM di circa
800,000,000 GB
Che e’ piu’ o meno la memoria di tutti i telefonini del
mondo o di tutti i PC in Italia
Capite quindi che e’ un problema complicato anche nel 2015
La meccanica quantistica
Da dove viene questa complessita’?
Viene dal fatto che nel mondo microscopico succedono
cose strane...
Un elettrone puo’ stare con
una certa probabilita’ in
ognuno di questi livelli
=(
2
1
+
2
2
+
2
3
1,
+
2
4
2,
=1
3,
4)
Vettore delle ampiezze
di probabilita’
Descrizione classica: 2 bit
La meccanica quantistica
Bisogna tenere conto del fatto che un elettrone puo’
essere in una “sovrapposizione di stati” ovvero mai con
certezza in un dato stato della molecola
R.Feynman
“Ma forse questo problema puo’ essere in realta’ una risorsa!
Se riuscissimo a controllare sistemi microscopici anche di
complessita’ contenute potremmo costruire dei computer
potentissimi!”
La meccanica quantistica
La meccanica quantistica ci apre le porte di una nuova era
computazionale
Possiamo pensare a macchine di Turing che agiscono
secondo le leggi della meccanica quantistica e che, invece di
operare su nastri (memoria RAM) operano direttamente su
funzioni d’onda di sistemi fisici
Il computer quantistico
Macchina
di Turing
quantistica
Stato interno
della
macchina
Una macchina in grado di
operare su funzioni
d’onda
Testina lettura/
scrittura
=(
quantum bit
000 ,
001 ,
010 , ...,
111 )
Il computer quantistico
Non abbiamo ancora realizzato un computer quantistico
pero’ sappiamo che, una volta realizzato, sara’ piu’ efficiente
in molti compiti
I 100 livelli potranno essere studiati con
100 qubit, e non 800,000,000 GB
Potremo studiare con piu’ successo la struttura della
materia a distanze microscopiche
Il computer quantistico
Crittografia
Codici crittografici potranno essere decrittati con facilita’
P. Shor (MIT) ha dimostrato che un computer
quantistico puo’ risolvere un particolare
problema (fattorizzazione di numeri interi)
molto piu’ velocemente di un computer
classico
La fattorizzazione e’ alla base dei codici
crittografici a chiave pubblica piu’ usati
Il computer quantistico
Ora non ci rimane altro da fare che costruirlo!
I primi tentativi sono incoraggianti ma sono ancora lontani
dall’obiettivo
L’investimento in ricerca su
questi argomenti sta
aumentando giorno dopo giorno
Il computer quantistico
Chi sara’ il primo a costruire un quantum computer?
Come cambiera’ la nostra societa’?
Cosa succedera’ all’intelligenza artificiale?
Tenetelo a mente: questa e’ una delle grandi sfide del
nostro tempo e i protagonisti potrebbero essere tra di voi