Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution (1999) [14 citations — 11 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Tarafdar99softwarefault,author = {Ashis Tarafdar and Vijay K. Garg},
title = {Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution},
booktitle = {In Proceedings of the 13th Symposium on Distributed Computing (DISC},
year = {1999},
pages = {210--224}
}
Years of Citing Articles
Abstract:
Abstract. Concurrent programs often encounter failures, such as races, owing to the presence of synchronization faults (bugs). One existing technique to tolerate synchronization faults is to roll back the program to a previous state and re-execute, in the hope that the failure does not recur. Instead of relying on chance, our approach is to control the re-execution in order to avoid a recurrence of the synchronization failure. The control is achieved by tracing information during an execution and using this information to add synchronizations during the re-execution. The approach gives rise to a general problem, called the off-line predicate control problem, which takes a computation and a property specified on the computation, and outputs a "controlled " computation that maintains the property. We solve the predicate control problem for the mutual exclusion property, which is especially important in synchronization fault tolerance. 1
