Sistemi Distribuiti
Corso di Laurea Specialistica in Ingegneria Informatica
AA 2010/2011
ORDINAMENTO 2010 (6 CREDITI)
Docente Prof. Roberto Baldoni
L'esame di sistemi distribuiti previsto per il 10/2/2012 e' rinviato al 23/2/2012 alle ore 10.30 in aula B2 (via Ariosto) a causa delle previste condizioni meteo.
| Risultati/Marks dell'appello del 4 Novembre 2011. Exam Registration will be November 14th 2011 at 2.00pm in Via Ariosto (Room B214), Le verbalizzazioni si terranno Lunedi' 14 Novembre 2011 alle ore 14.00 stanza B214 (Via Ariosto 25) |
| Risultati/Marks dell'appello del 1 Luglio 2011. Exam Registration will be October 7th 2011 at 4.00pm in Via Ariosto (Room B214), Le verbalizzazioni si terranno Venerdi' 7 Ottobre 2011 alle ore 16.00 stanza B214 (Via Ariosto 25) |
| Risultati/Marks dell'appello del 1 Luglio 2011. Exam Registration will be July 25th 2011 at 5.00pm in Via Ariosto (Room B214), Le verbalizzazioni si terranno Lunedi'' 25 Luglio 2011 alle ore 17.00 stanza B214 (Via Ariosto 25) |
Giovedi' dalle ore 16.30 alle 18.00. Via Ariosto 25 - stanza B212 II piano.
| Mercoledi' | Aula B2 (Via Ariosto) | 14.00-17.15 |
| Giovedi' | Aula B2 (via Ariosto) | 12.00-13.30 |
Argomenti |
Materiale | |
| Introduzione | Concetti di base di un sistema distribuito: hardware, software e tecnologie di comunicazione, dalla specifica all’implementazione. | trasparenze, T1 |
| Dai sistemi concorrenti a quelli distribuiti | appunti, trasparenze (pdf1, pdf2) | |
| Astrazioni di base
|
processi: eventi, history, guasti, computazione distribuita, algoritmi distribuiti, proprietà di safety e di liveness. | T1 |
| modelli computazionali: Sincrono, Asincrono, Parzialmente Sincrono. | T1 | |
| canali di comunicazione punto-punto: fair loss, stubborn, perfect. Relazione con TCP e UDP. | T1, trasparenze(pdf) | |
| Failure detector: perfetta su sistemi sincroni, eventually perfect su sistemi parzialmente sincroni, esempio di elezione del leader. | T1 | |
| Computazioni Distribuite | relazione happened-before ed alcune sue rappresentazioni | trasparenze (pdf) , T1 |
| tempo: clock fisico, clock logico. Esempi di utilizzo. La comunicazione causale, stabilità dei messaggi | trasparenze (pdf1, pdf2), "Fundamentals of Distributed Computing: A practical tour of vector clocks" | |
| Sincronizzazione |
registri: operazioni non-atomiche: registri e relative specifiche (safe, regular, atomic), protocolli di base | T1, trasparenze (pdf) |
| Consenso: definizione, FLP impossibility result, flooding consensus uniforme e non uniforme con failure detector perfetti ed eventually perfect. Applicazioni del consenso: Total order protocol, non-blocking atomic commitment. | T1, trasparenze (pdf) , esercitazione(pdf) | |
| Teoria delle comunicazioni: |
Specifiche e protocolli: Reliable Broadcast, FIFO broadcast, Causal Broadcast, Total Order Broadcast, gerarchia di total order broadcast: specifiche ed implementazioni, broadcast probabilistico | |
| Teoria della Replicazione: | Tecniche di Replicazione Software: Primary backup, active replication. Virtual synchrony. | trasparenze (pdf) |
| "Fault Tolerance by Replication in distributed systems" (pdf) | ||
| Diffusione dell'informazione | Sistemi Publish/Subscribe. Il paradigma di comunicazione, event routing, SIENA, SCRIBE, TERA. | trasparenze (pdf), articolo 1 (pdf). additional material (non-mandatory for the exam): articolo 2 (pdf). |
| Sistemi P2P | Sistemi P2P strutturati, non strutturati e ibridi. Ricerca nei sistemi p2p, aggregazione. | trasparenze (pdf) |
L'esame richiede il superamento di una prova scritta. Esempio di prova scritta.
Testo d'esame (appello del 22 Marzo 2004) soluzione di alcune delle domande proposte
Testo d'esame (appello dell'11 Febbraio 2010)
Testo d'esame (appello del 9 Aprile 2010)
Testo d'esame (appello del 24 Settembre 2004)
Testo d'esame (appello del 16 Aprile 2005)
Testo d'esame (appello del 22 Luglio 2005)
Testo d'esame (appello del 21 Settembre 2005)
Testo d'esame (appello del 29 Marzo 2006)
Testo d'esame (appello del 19 Aprile 2006)