2023/09/09 by Germán Vidal, Vidal, Germán · 1 citation
Computer Science · Engineering · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing
paper · pdf · doi:10.48550/arxiv.2309.04873
openalex publication_date 2023/09/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
The reliability of concurrent and distributed systems often depends on some well-known techniques for fault tolerance. One such technique is based on checkpointing and rollback recovery. Checkpointing involves processes to take snapshots of their current states regularly, so that a rollback recovery strategy is able to bring the system back to a previous consistent state whenever a failure occurs. In this paper, we consider a message-passing concurrent programming language and propose a novel rollback recovery strategy that is based on some explicit checkpointing operators and the use of a (partially) reversible semantics for rolling back the system.