Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Introduzione ai sistemi distribuiti. Problematiche, motivazioni, esempi. Modelli di sistemi. Architetture stratificate, client-server, peer-to-peer. Middleware.
* FCD - Fondamenti del Calcolo Distribuito
Meccanismi per comunicazione diretta: socket, MPI, RPC, RMI. Meccanismi per comunicazione indiretta: comunicazione di gruppo, publish-subscribe, code di messaggi. AMQP.
* FCD - Fondamenti del Calcolo Distribuito
Linguaggi specifici per i sistemi distribuiti: Erlang, Scala
* FCD - Fondamenti del Calcolo Distribuito
Sistemi di oggetti distribuiti. Oggetti persistenti e transitori. Componenti distribuiti. JavaBeans.
* MIR - Modelli di Interazione in Rete
Web Services. SOAP. Linguaggi per coreografie.
* MIR - Modelli di Interazione in Rete
Sistemi peer-to-peer. Replicazione negli overlay non strutturati con random walk: analisi del caso uniforme, proporzionale e square-root. Overlay di instradamento. Tabelle hash distribuite. Lookup semplice e scalabile. Pastry, Tapestry, Kademlia. Peer e ultrapeer: Gnutella, Skype.
* MIR - Modelli di Interazione in Rete
File system distribuiti. Architetture. NFS. - Naming. Semplice, strutturato, con attributi. X.500 e LDAP.
* FCD - Fondamenti del Calcolo Distribuito
Tempo e stato globale. Orologi fisici, algoritmi di sincronizzazione, NTP. Orologi logici. Stato globale, multicast totalmente ordinato. Comunicazione causale. - Coordinamento. Mutua esclusione distribuita. Algoritmi di elezione. Coordinamento in comunicazioni di gruppo. Problema del consenso. Problema dei Generali Bizantini.
* FCD - Fondamenti del Calcolo Distribuito
Transazioni distribuite. Lock distribuiti. Sincronia virtuale. Ordinamento dei messaggi. Distributed Commit (2PC, 3PC). Deadlock distribuito. - Replicazione. Modelli di Consistenza dei dati. Consistenza causale, per eventi. Gestione delle replica. Protocolli pull vs. push. Protocolli di consistenza.