Sistemi Distribuiti
Corso di Laurea Specialistica in Ingegneria Informatica
Docente Prof. Roberto Baldoni
Tutor. Ing. Sara Tucci Piergiovanni, Ing. Alessia Milani
Giovedi' dalle ore 16.30 alle 18.00
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 | |
| Astrazioni di base
|
processi: eventi, history, guasti | trasparenze, T1 |
| modelli computazionali: Sincrono, Asincrono, Parzialmente Sincrono. | T1, T2 | |
| canali di comunicazione punto-punto: fair loss, stubborn, perfect. Relazione con TCP e UDP. | T2 | |
| Failure detector: perfetta su sistemi sincroni, eventually perfect su sistemi parzialmente sincroni | T2 | |
| Computazioni Distribuite | relazione happened-before ed alcune sue rappresentazioni | trasparenze (pdf) (ppt), T1 |
| tempo: clock fisico, clock logico. Esempi di utilizzo. La comunicazione causale, stabilità dei messaggi | "Fundamentals of Distributed Computing: A practical tour of vector clocks" | |
| stati globali di una applicazione distribuita: Checkpoint e Communication Pattern: Z-path e Z-Cycle. Computazioni distribuite Z-Cycle-Free. Protocolli ZCF. | ||
| algoritmi distribuiti: proprietà di vivacità (liveness) e sicurezza (safety) | T1, T2 | |
| Sincronizzazione |
registri: operazioni non-atomiche: registri e relative specifiche (safe, regular, atomic), protocolli di base | T2, trasparenze (pdf) |
| Mutua Esclusione Distribuita: algoritmi basati su token e su permesso. | trasparenze (pdf) versione aggiornata | |
| Elezione del Leader: definizione e protocolli | trasparenze (pdf) versione aggiornata | |
| Consenso: definizione, FLP impossibility result, consenso realizzato con registri, failure detector su sistemi asincroni, consenso realizzato con failure detector | trasparenze (pdf) | |
| Teoria delle comunicazioni: |
Specifiche e protocolli: Reliable Broadcast, FIFO broadcast, Causal Broadcast, Total Order Broadcast | trasparenze (pdf) |
| Gerarchia di total order broadcast: specifiche ed implementazioni. | trasparenze (pdf), "A guided tour on total order communication" |
|
| Teoria della Replicazione: | Tecniche di Replicazione Software: Primary backup, active replication. Virtual synchrony. | trasparenze (pdf) |
| "Fault Tolerance by Replication in distributed systems" (pdf) | ||
| Criteri di consistenza e protocolli di base: sequential, causal, PRAM, distributed shared memory | trasparenze (pdf) | |
| "A suite of formal definitions for consistency criteria in distributed shared memory" (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