Diario0910 < SD

---++ 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: [[%ATTACHURL%/Lamport-CACM78.pdf][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 [[%ATTACHURL%/Babaoglu-Marzullo-TR93.pdf][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.  [[%ATTACHURL%/AtomicCommit.pdf][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. [[%ATTACHURL%/Pease-Shostak-Lamport-JACM80.pdf][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. [[%ATTACHURL%/Pease-Shostak-Lamport-JACM80.pdf][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. [[%ATTACHURL%/Pease-Shostak-Lamport-JACM80.pdf][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.

-- Users.AlessandroMei - 09 Mar 2010
This topic: SD > WebHome > Diario0910
Topic revision: r14 - 2010-06-03 - AlessandroMei