| 1 |
Modular Checkpointing for Atomicity
|
|
|
|
In: http://www.cs.purdue.edu/homes/lziarek/tv06.pdf (2007)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
|
|
|
|
In: http://www.cs.purdue.edu/homes/lziarek/icfp06.pdf (2006)
|
|
Abstract:
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execution in multi-threaded code is not obvious, however. For a thread to correctly re-execute a region of code, it must ensure that all other threads which have witnessed its unwanted effects within that region are also reverted to a meaningful earlier state. If not done properly, data inconsistencies and other undesirable behavior may result. However, automatically determining what constitutes a consistent global checkpoint is not straightforward since thread interactions are a dynamic property of the program. In this paper, we present a safe and efficient checkpointing mechanism for Concurrent ML (CML) that can be used to recover from transient faults. We introduce a new linguistic abstraction called stabilizers that permits the specification of per-thread monitors and the restoration of globally consistent checkpoints. Safe global states are computed through lightweight monitoring of communication events among threads (e.g. message-passing operations or updates to shared variables). Our experimental results on several realistic, multithreaded, server-style CML applications, including a web server and a windowing toolkit, show that the overheads to use stabilizers are small, and lead us to conclude that they are a viable mechanism for defining safe checkpoints in concurrent functional programs.
|
|
Keyword:
Categories and Subject Descriptors D.3.3 [Language Constructs and Features; checkpointing; Concurrent ML; Concurrent programming structures; D.1.3 [Concurrent Programming; D.3.1 [Formal Definitions and Theory; error recovery; exception handling; Experimentation; Languages; Measurement; Performance; Reliability Keywords Concurrent programming; Semantics General Terms Design; transactions
|
|
URL: http://www.cs.purdue.edu/homes/lziarek/icfp06.pdf
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.8243
|
|
BASE
|
|
Hide details
|
|
|
| 5 |
Handling Floating-Point Exceptions in Numeric Programs
|
|
|
|
In: http://cch.loria.fr/documentation/IEEE754/ACM/hauser.pdf (1996)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
A Modular Verifiable Exception-Handling Mechanism
|
|
|
|
In: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf (1985)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
A Model Of CPS Translation And Interpretation
|
|
|
|
In: http://www.itculiacan.edu.mx/Pagina WEB Dr. RZC/Ramon/PDFs/A Model of CPS Trans & Interp.pdf
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.cs.purdue.edu/homes/suresh/papers/icfp06.pdf
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p136-ziarek.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
