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


This topic: SD > WebHome > Diario0910
Topic revision: r14 - 2010-06-03 - AlessandroMei
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback