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