Tags:
create new tag
view all tags

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

Edit | Attach | Watch | Print version | History: r14 < r13 < r12 < r11 < r10 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r14 - 2010-06-03 - AlessandroMei





 
Questo sito usa cookies, usandolo ne accettate la presenza. (CookiePolicy)
Torna al Dipartimento di Informatica
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback