Diario delle lezioni
martedì 3 marzo
Par. 1-6 di [Babaoglu93].
giovedì 5 marzo
Logical clocks. Par. 7-8 di [Babaoglu93].
martedì 10 marzo
Causal delivery. Vector clocks. Par. 9-10 di [Babaoglu93].
giovedì 12 marzo
Proprietà dei vector clocks. Implementazione della causal delivery con vector clocks. Par. 11 di [Babaoglu93].
martedì 17 marzo
Hidden channels. Distributed snapshot. Par. 12 e 13 di [Babaoglu93].
martedì 31 marzo
Distributed mutual exclusion. Par. 9.1-9.4 del libro.
giovedì 2 aprile
Il problema dei generali bizantini. Risultato di impossibilità. [Pease80]
martedì 7 aprile
Il problema dei generali bizantini. Protocolli. [Pease80]
giovedì 16 aprile
Il problema del consenso. Paragrafi 14.1, 14.2, 14.3, 14.4 e 14.5.1.
martedì 28 aprile
Assegnamento seminari:
- martedì 5 maggio:
- Internet time synchronization: The Network Time Protocol, D. L. Mills. Speaker: Libro.
- Replication Management using the State Machine Approach, F. Schneider. Speaker: Reatini.
- Byzantine quorum systems, D. Malkhi et al.. Speaker: Villani.
- giovedì 7 maggio:
- Chord: A scalable peer-to-peer lookup service for Internet applications, I. Stoica et al.. Speaker: Alessi.
- Incentives build robustness in Bit-Torrent, B. Cohen. Speaker: Di Cola.
- martedì 12 maggio:
- A scalable content-addressable network, S. Ratnasamy et al.. Speaker: Magrini.
- Making gnutella-like p2p systems scalable, Y. Chawathe et al.. Speaker: Laganà.
- OceanStore: An extremely wide-area storage system, D. Bindel er al.. Speaker: Paltrinieri.
- giovedì 14 maggio:
- Robust Incentive techniques for peer-to-peer networks, M. Feldman et al.. Speaker: Franchi.
- An analysis of the Skype peer-to-peer Internet telephony protocol, S. A. Baset et al.. Speaker: Benedetti.
- Tor: The second-generation onion router, R. Dingledine et al.. Speaker: Colombi.
- martedì 19 maggio:
- Designing incentives for peer-to-peer routing, A. Blanc et al.. Speaker: Fossati.
- OpenDHT: A public DHT service and its uses, S. Rhea et al.. Speaker: Cortellesi.
- Wide-area cooperative storage with CFS, F. Dabek et al.. Speaker: Muzi.
- giovedì 21 maggio:
- Bar gossip, H. C. Li et al.. Speaker: Marvardi.
- Sinfonia: a new paradigm for building scalable distributed systems, M. K. Aguilera et al.. Speaker: Caliri.
- Kademlia: A Peer-to-peer Information System Based on the XOR Metric, P. Maymounkov et al.. Speaker: Bushati.
- giovedì 4 giugno:
- The google file system, S. Ghemawat et al.. Speaker Di Francesco.
- Pastiche: Making Backup Cheap and Easy, L. P. Cox et al.. Speaker: Balmas.
- SybilGuard: Defending Against Sybil Attacks via Social Networks, H. Yu et al.. Speaker: Sabellico.
- martedì 9 giugno:
- Paxos made simple, L. Lamport. Speaker: Moraru.
- Rome: Performance and Anonymity using Route Meshes, K. P. N. Puttaswamy et al.. Speaker: Burla.
- Globally Distributed Content Delivery, J. Dilley et al.. Speaker: Tognazzi.
- giovedì 11 giugno:
- Zyzzyva: Speculative Byzantine Fault Tolerance, R. Kotla et al.. Speaker: Igliozi.
- Distributed simulation and the time warp operating system, D. Jefferson et al.. Speaker: Natale.
- Distributed algorithms for dynamic distribution of data, O. Wolfson et al.. Speaker: Capuano.
- Efficient dispersal of information for security, load balancing, and fault tolerance, M. O. Rabin. Speaker: Fosci.
- martedì 16 giugno: Verbalizzazione.
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.
[Pease80]
Reaching agreement in the presence of faults. Journal of the ACM, vol 27, n. 2, 1980.