Distributed Systems 2007/2008

Distributed Systems
Corso di Laurea Magistrale in Ingegneria Informatica
AA 2009/2010

ORDINAMENTO 2009 (6 Credits)

Prof. Roberto Baldoni

News:

The exam on Nov 5th 2010 will take place in lecture room 33 (Via Eudossiana) at 15:45.

Marks of the Exam of February 11th 2010

Marks of the Exam of January 8th 201

Marks of the "Distributed System" exam of Apli 9th 2010 (restricted to "fuoricorso" students)
Ahmeti Albin 21
D'Alfonso Massimiliano 27
De Renzi Renzo 25
Di Pasquale Marco 25
Ieraci Giuseppe 25
Lauretti Marco Augusto 27
Maimone Rosa 19
Mancarella Alessandro 30
Sabatino Alessandra 25
Schiano di Zenise Michele 23
The exam of July 19th will take place at 9.45am (lecture room 33 San Pietro in Vincoli)

Office Hours

Thursday 4.30pm - 6pm. Via Ariosto 25 - room B214

Week Schedule :

Monday	Room A3 (Via Ariosto)	3.45pm-5.15pm, 5.30pm-7.00pm
Friday	Room A3 (Via Ariosto)	10.15am -11.45pm

Main Textbook

[T1] R. Guerraoui, L. Rodriguez, "Introduction to reliable distributed computing", Springer, 2006.
[S] Slides

Suggested Readings

[T2] George Coulouris, Jean Dollimore and Tim Kindberg, "Distributed Systems: Concepts and Design". Addison - Wesley, 2002.
[T3] Mullender "Distributed Systems", Addison - Wesley, 2002.
[T4] Tanembaun, Van Steen, "Distributed Systems: Principles and Paradigms"

Preliminary Program

Topics		Slides and additional material
Introduction	Fundamental Concepts of a Distributed Systems: hardware, software and communication technologies. From system specification to system implementation	slides, T1
Introduction	From Concurrent to Distributed Systems.	paper1, paper2 , (lecture notes in italian)
Basic Abstractions	Processes: events, histories, failures, distributed computations, distributed algorithms, safety and liveness properties.	T1
	System models : Sinchronous, Asynchronous, Eventually synchronous	T1
	Point-to-point communication channels : fair loss, stubborn, perfect.	T1, slides (pdf)
	Failure detectors: perfect failure detectors, eventually perfect failure detectors, leader elections with failure detectors.	T1
	Clock Synchronization: Physical clock synchronization, logical clock synchronization.	slides (pdf)
Distributed Computations	Ordering events: happened-before relation, vector and logical clocks. Application of Logical Time: Causal Communication.	T1, slides (pdf), "Fundamentals of Distributed Computing: A practical tour of vector clocks"
Synchronization	Registers: non-atomic operations, specification (safe, regular, atomic), basic protocols	T1, slides (pdf)
Synchronization	Consensus: definition, FLP impossibility result, non-uniform flooding consensus, uniform flooding consensus, rotating coordinator protocol. Application of consensus: Total order protocol, non-blocking atomic commitment.	T1, slides (pdf)
Communication	Specification and Protocols: non-uniform (regular) Reliable Broadcast, uniform reliable broadcast, Causal Broadcast, Total Order Broadcast, hierarchy of total order broadcast. Probabilistic broadcast.	T1, slides (pdf), slides(pdf), paper: "A guided tour on total order communication"
Replication	Software Replication : Primary backup, active replication.	slides (pdf)
Replication		paper: "Fault Tolerance by Replication in distributed systems" (pdf)
Information Diffusion	Sistemi Publish/Subscribe. Communication paradigm, event routing, SIENA, SCRIBE, TERA.	slides (pdf), Siena (pdf) additional material (non-mandatory for the exam): articolo 2 (pdf) articolo 3 (pdf) slides (previous version) pdf
P2P Systems	Unstructured P2P systems, Structured P2P systems, Hybrid p2p systems. Search in p2p systems.	slides (pdf)

Marks (AA 2008/2009)

Marks Exam 7 September 2009.

Marks Exam 13 July 2009.

Marks Exam 7 January 2009.

Marks Exam 2 February 2009.