Dependable Distributed Systems

Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · tutti i canali con docenti, libri e orari, a.a. 2026/2027

Prof. Andrea Vitaletti , Prof. Silvia Bonomi Canale unico

Ingegneria dell'informazione, informatica e statistica · 1º anno · 1º semestre · 9 CFU · apri nel catalogo

Testi principali

Cachin – Introduction to Reliable and Secure Distributed Programming Vai su Amazon ›

Letture

Concepts and Design Vai su Amazon ›

A Practical Tour of Vector Clock Systems Vai su Amazon ›

Lamport – Paxos Made Simple Vai su Amazon ›

Cimmino – Roberto Baldoni A Guided Tour on Total…Vai su Amazon ›

Leslie Lamport – The Byzantine Generals Problem Vai su Amazon ›

Matthew – A Routing Scheme for Content-Based Networking Vai su Amazon ›

Steven Ko – Imranul Hoque Vai su Amazon ›

Baldoni – An Implementation in a Churn Prone Environment Vai su Amazon ›

Arnaud Casteigts – Time-varying graphs and dynamic networks Vai su Amazon ›

Cosa indica di studiare il docente

Argomenti del programma: Introduction to Distributed Systems and Dependability Basic Abstractions * Distributed Computations * Abstracting Processes * Abstracting Communications * Timing Assumptions * Abstracting Time ** Failure Detector abstractions ** Leader Election abstractions Clock Synchronization * Internal and External synchronization * Christian’s algorithm * Berkley’s algorithm * NTP * Happened-before relation * Application of…