Diario delle lezioni

martedì 26 febbraio

Paragrafi 1-6 di [Babaoglu93].

venerdì 29 febbraio

Logical clocks. Paragrafi 7-9 di [Babaoglu93].

venerdì 14 marzo

Causal delivery. Vector clock e le sue proprietà. Paragrafo 10 di [Babaoglu93].

martedì 18 marzo

Distributed snapshots. Paragrafo 13 di [Babaoglu93].

venerdì 28 marzo

Properties of distributed snapshots. Paragrafo 13 di [Babaoglu93].

martedì 1 aprile e venerdì 4 aprile

Reaching Agreement in the Presence of Faults. M. Pease, R. Shostak, and L. Lamport, Journal of the ACM, vol. 27(2), 1980.

da martedì 8 aprile a martedì 6 maggio.

Reliable Broadcast. Paragrafi 3.1-3.4 di [Guerraoui06].

Randomized Broadcast. Paragrafo 3.8 [Guerraoui06].

Shared Memory. Paragrafi 4.1-4.3 [Guerraoui06].

Regular Consensus. Paragrafo 5.1 [Guerraoui06].

venerdì 9 maggio

Assegnamento seminari:

• venerdì 16 maggio:
  • Distributed simulation and the time warp operating system, D. Jefferson et al.. Speaker: Dora Spenza.
  • Internet time synchronization: The Network Time Protocol, D. L. Mills. Speaker: Antonio Davoli.
• martedì 20 maggio:
  • Byzantine quorum systems, D. Malkhi et al.. Speaker: Paolo Surio.
  • OceanStore: An extremely wide-area storage system, D. Bindel er al.. Speaker: Claudio Perta.
  • Paxos made simple, L. Lamport. Speaker: Sokol Costa.
• venerdì 23 maggio:
  • Chord: A scalable peer-to-peer lookup service for Internet applications, I. Stoica et al.. Speaker: Andrea Cerone.
  • A scalable content-addressable network, S. Ratnasamy et al.. Speaker: Simone Atzeni.
• martedì 27 maggio:
  • Making gnutella-like p2p systems scalable, Y. Chawathe et al.. Speaker: Alessio Di Mauro.
  • A survey of peer-to-peer security issues, D. S. Wallach. Speaker: Laura Altmüller.
  • Incentives build robustness in Bit-Torrent, B. Cohen. Speaker: Andrea Moro.
• venerdì 30 maggio:
  • Robust Incentive techniques for peer-to-peer networks, M. Feldman et al.. Speaker: Erion Janaqi.
  • An analysis of the Skype peer-to-peer Internet telephony protocol, S. A. Baset et al.. Speaker: Ariona Shashaj.
• martedì 3 giugno:
  • Tor: The second-generation onion router, R. Dingledine et al.. Speaker: Angelo Capossele.
  • Designing incentives for peer-to-peer routing, A. Blanc et al.. Speaker: Angela Morgante.
• venerdì 6 giugno:
  • OpenDHT: A public DHT service and its uses, S. Rhea et al.. Speaker: Simone Bellò.
  • Bar gossip, H. C. Li et al.. Speaker: Riccardo Guarneri.

Dispense, articoli e testi

[Babaoglu93] Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. Ozalp Babaoglu and Keith Marzullo, Technical Report UBLCS-93-1, Laboratory for Computer Science, University of Bologna, January 1993.

[Guerraoui06] Introduction to Reliable Distributed Programming. Rachid Guerraoui and Luis Rodrigues, Springer-Verlag, Berlin Heidelberg, 2006.

-- AlessandroMei - 26 Feb 2008