Diario delle lezioni
marted́ 9 marzo
Un modello per la computazione distribuita. Cap. 2 (eccetto FIFO, Non-FIFO e causal delivery). Esercizi: 2.1-2.2.
venerd́ 12 marzo
Logical clocks. Cap. 3 (da 3.1 a 3.4.2 incluso). Esercizi: 3.2-3.3. Articolo:
L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System, CACM 1978.
marted́ 16 marzo
Snapshot di un sistema distribuito. Protocollo Chandy-Lamport. Cap. 4.1-4.3. Esercizi: 4.1-4.5
venerd́ 19 marzo
Esercitazione.
venerd́ 26 marzo
Mutua esclusione distribuita. Protocollo di Lamport. Cap. 9.1-9.3. Esercizi: 9.1-9.4.
venerd́ 9 aprile
Detection of non stable predicates. Possibly and definitely. Par. 14.2-14.3 di
O. Babaoglu and K. Marzullo. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms, TR UBLCS-93-1, 1993. Esercizi: 11.1, 11.4, 11.5.
marted́ 13 aprile
Atomic commit. Two-phase commit.
Cap. 7 del libro P. A. Bernstein, V. Hadzilacos, N. Goodman. Concurrency Control and Recovery in Database Systems. Esercizi 7.2 e 7.3.
venerd́ 16 aprile
Esercitazione.
marted́ 27 aprile
Consensus in the presence of byzantine nodes: Lower bound.
M. Pease, R. Shostak, and L. Lamport. Reaching Agreement in the Presence of Faults, JACM 1980, sezione 4.
venerd́ 30 aprile
Consensus in the presence of byzantine nodes: Lower bound.
M. Pease, R. Shostak, and L. Lamport. Reaching Agreement in the Presence of Faults, JACM 1980, sezione 4.
marted́ 4 maggio
Agreement, consensus, and interactive consistency: A upper bound in the presence of node crashes. Cap. 14.1-14.4.1. Esercizio 14.1.
venerd́ 7 maggio
Consensus in the presence of byzantine nodes: A upper bound.
M. Pease, R. Shostak, and L. Lamport. Reaching Agreement in the Presence of Faults, JACM 1980, sezione 3.
marted́ 11 maggio
FLP (solo alcuni cenni della dimostrazione). Riduzione del problema del consenso a Terminating Reliable Broadcast. Upper bound per Reliable Broadcast. Cap. 14.5.1, 14.5.2, 14.5.7. Esercizi 14.2, 14.5, 14.6.
venerd́ 14 maggio
Failure detectors: alcune definizioni iniziali. Rif. 15.1-15.2.3
venerd́ 28 maggio
Failure detectors: Equivalenza tra strong e weak completeness. Rif. 15.2.3-15.2.6.
marted́ 1 giugno
Failure detectors: Consensus con un failure detector S. Rif. 15.3-15.3.2.
Esercizio: Dimostrare che il protocollo 15.3 risolve il problema del consensus come definito all'inizio della sezione 15.3.
--
AlessandroMei - 09 Mar 2010