Skip to Content

C2 – Logging and Checkpointing: Towards Recovery of Distributed Systems

   Info_icon.svg       BibTeX_logo.svg   
Andrea Omicini

Interaction, dependencies, causality and time, basic techniques for dependability, and models and checkpoint-based and log-based protocols for recovery.

corso dei lucidi
Course_icon.svg Sistemi distribuiti (modulo 1) (laurea magistrale, 2025/2026) — Andrea Omicini
usati nelle lezioni
Courselecture_icon.svg lun 6 ott 2025, 13:00
pubblicazione di riferimento
Publication_icon.svg Message logging: pessimistic, optimistic, causal, and optimal (articolo in rivista, 1998) — Lorenzo Alvisi, Keith Marzullo
Publication_icon.svg Distributed snapshots: determining global states of distributed systems (articolo in rivista, 1985) — K. Mani Chandy, Leslie Lamport
Publication_icon.svg Causality: Models, Reasoning, and Inference (libro, 2009) — Judea Pearl
Publication_icon.svg Error Recovery in Multicomputers Using Global Checkpoints (articolo in atti, 1984) — Yuval Tamir, Carlo H. Sequin
Publication_icon.svg Building Dependable Distributed Systems (libro, 2014) — Wenbing Zhao