LIPIcs.CSL.2015.1.pdf
- Filesize: 234 kB
- 1 pages
Document
The Prophecy of Timely Rollback (Invited Talk)
Author
-
Part of:
Volume:
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Computer Science Logic (CSL) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-09-07
Cite AsGet BibTex
Martín Abadi. The Prophecy of Timely Rollback (Invited Talk). In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.CSL.2015.1
https://doi.org/10.4230/LIPIcs.CSL.2015.1
Abstract
Techniques for rollback recovery play a central role in ensuring fault-tolerance in many distributed systems. This talk addresses the formal specification and analysis of those techniques. In particular, we will discuss the relevance of prophecy variables (auxiliary program variables whose values are defined in terms of current program state and future behavior) to reasoning about systems with undo operations. We will then focus on a model for data-parallel computation with a notion of virtual time. In this model, rollbacks allow the selective undo of work at particular virtual times. A refinement theorem ensures the consistency of rollbacks.
This talk is largely based on joint work with Michael Isard.
Keywords
- Dataflow
- refinement
- rollback
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads