Distributed Systems
Corso di Laurea Magistrale in Ingegneria Informatica
AA 2011/2012
ORDINAMENTO 2009 (6 Credits)
Prof. Roberto Baldoni
Risultati/Marks dell'appello del 21 Aprile 2012. Exam Registration will be May 7th at 2.00pm in Via Ariosto (Room B214), Le verbalizzazioni si terranno il 7 Maggio 2012 alle ore 14.00 stanza B214 (Via Ariosto 25)
Old news:
Risultati/Marks dell'appello del 23 Febbraio 2012. Exam Registration will be March 19th at 5.00pm in Via Ariosto (Room B214), Le verbalizzazioni si terranno il 19 Marzo 2012 alle ore 17.00 stanza B214 (Via Ariosto 25)
Risultati/Marks dell'appello del 13 Gennaio 2012. Exam Registration will be February 3rd 2012 at 2.00pm in Via Ariosto (Room B214), Le verbalizzazioni si terranno il 3 Febbraio 2012 alle ore 14.00 stanza B214 (Via Ariosto 25)
Do not forget to submit your "Piano di studio (exam plan)".If you are not able to submit it by time and you wish to attend the exam contact me by email.
Exam Text (sample1)
Exam Test (sample2)
Thursday 4.30pm - 6pm. Via Ariosto 25 - room B214
| Monday | Room b2 (Via Ariosto) |
5.30pm-7.00pm |
| Tuesday | Room b2 (Via Ariosto) | 10.15am -11.45pm |
| Wednsday | Room b2 (Via Ariosto) | 12.00pm-1.30pm |
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. Paxos. | T1, slides (pdf), 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, ordering in PUB/SUB. | slides (pdf), Siena (pdf), ordering (pdf) additional material: "Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems" (pdf) |
| Trading consistency and availability | CAP theorem, distributed lock manager (Chubby) and large scale distributed storage (Cassandra) | |