Distributed Systems
Corso di Laurea Magistrale in Ingegneria Informatica
AA 2010/2011
ORDINAMENTO 2009 (6 Credits)
Prof. Roberto Baldoni
Exam of "Distributed Systems" will take place on March 1st 2011 (9.30am), room 1 (via Eudossiana)
Marks of the exam of February 10th 2011. Exam Registration will be Monday 21st 2011 at 5.00pm in Via Ariosto (Room B214)
Thursday 4.30pm - 6pm. Via Ariosto 25 - room B214
| Monday | Room A3 (Via Ariosto) |
3.45pm-5.15pm, 5.30pm-7.00pm |
| Friday | Room A3 (Via Ariosto) | 10.15am -11.45pm |
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 |
| 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) |
| 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. | |
| Replication | Software Replication : Primary backup, active replication. | slides (pdf) |
| paper: "Fault Tolerance by Replication in distributed systems" (pdf) | ||
| Information Diffusion | Sistemi Publish/Subscribe. Communication paradigm, event routing, SIENA, SCRIBE, TERA. |
additional material (non-mandatory for the exam): articolo 2 (pdf)
|
| P2P Systems | Unstructured P2P systems, Structured P2P systems, Hybrid p2p systems. Search in p2p systems. | slides (pdf) |