Distributed Systems 2007/2008

Distributed Systems
Corso di Laurea Specialistica in Ingegneria Informatica
AA 2007/2008

ORDINAMENTO 2000 (5 Credits)

Prof. Roberto Baldoni

News:
The appointment for the exam that will take place on 2/2/09 is at 4:15 pm, room 33 (Via Eudossiana).

Next exams are scheduled by January 7th and February 2nd 2009. To book please refer to INFOSTUD. Booking is open till January 4th. Precise time schedule and rooms will be noticed by jan. 5th.

Exams 2008:

Exam 19/3/2008 - Marks

Office Hours

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

Week Schedule :

Wednesday	Room A3 (Via Ariosto)	3.45pm-5.15pm, 5.30pm-7.00pm
Thursday	Room A3 (Via Ariosto)	5.30pm -7.00pm

Main Textbook

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

Other Textbook

[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, softwareand 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
Distributed Computations	happened-before relation, vector and logical clocks. Application of Logical Time: Causal Communication, message stability	T1, "Fundamentals of Distributed Computing: A practical tour of vector clocks"
Synchronization	Register: non-atomic operations, specification (safe, regular, atomic), basic protocols	T1, slides (1, 2, 3)
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. Virtual synchrony.
Replication		paper: "Fault Tolerance by Replication in distributed systems" (pdf)
Information Diffusion	Sistemi Publish/Subscribe. Il paradigma di comunicazione, event routing, SIENA, SCRIBE, TERA.	slides (pdf). paper 1 (pdf). paper 2 (pdf). paper 3 (pdf).