Software fault tolerance of concurrent programs using controlled re-execution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1693, Issue , 1999, Pages 210-225

  Tarafdar, Ashis ^a   Garg, Vijay K ^b  

^a University of Texas at Austin   (United States)

^b The University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANCE; PROGRAM DEBUGGING; SYNCHRONIZATION;

CONCURRENT PROGRAM; MUTUAL EXCLUSIONS; PREDICATE CONTROL; RE-EXECUTION; ROLL BACK; SOFTWARE FAULT TOLERANCES;

CONCURRENCY CONTROL;

EID: 84947921058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48169-9_15     Document Type: Conference Paper

References (17)

1. A. Avizienis andL. Chen. On the implementation of n-version programming for software fault tolerance during execution. In Proc. of the First IEEE-CS International Conference on Computer Software and Applications, pages 149-155, November 1977. 211
2. J. D. Choi andH . Srinivasan. Deterministic replay of java multithreadedap plications. In 2nd SIGMETRICS Symp. On Parallel and Distr. Tools, pages 48-59, Aug. 1998. 211, 222
3. F. Cristian. Understanding fault-tolerant distributed systems. CACM, 34(2):56-78, Feb 1991. 211
4. M. Feng and C. E. Leiserson. Efficient detection of determinacy races in cilk programs. In Proc. of 9th Annual ACM Symposium on Parallel Algorithms and Architectures, pages 22-25, Newport, USA, June 1997. 211, 222
5. Y. Huang and C. Kintala. Software implementedfau lt tolerance: technologies and experience. In Proc. IEEE Fault-Tolerant Comp. Symp., pages 138-144, June 1993. 211
6. R. K. Iyer and I. Lee. Software fault tolerance in computer operating systems. In M. R. Lyu, editor, Software Fault Tolerance, Trends in Software Series, chapter 11, pages 249-278. John Wiley & Sons, Inc., 1995. 210
7. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978. 213
8. D. Lea. Concurrent Programming in Java: Design Principles and Patterns, chapter 3.1.2. The Java Series. Addison Wesley Longman, Inc., 1997. 210
9. F. Mattern. Virtual time andglob al states of distributedsy stems. In Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers B. V. (North Holland), 1989. 213, 220, 222
10. R. H. B. Netzer. Race condition detection for debugging shared-memory parallel programs. PhD thesis, University of Wisconsin-Madison, 1991. 211, 222, 222
11. R. H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In Proc. of ACM/ONR Workshop on Parallel and Distributed Debugging, pages 1-11, May 1993. Also available as ACM SIGPLAN Notices Vol. 28, No. 12. 211, 222
12. R. H. B. Netzer and B. P. Miller. Optimal tracing and replay for debugging message-passing parallel programs. In Supercomputing ’92, pages 502-511, November 1992. 211, 222, 223
13. B. Randell. System structure for software fault-tolerance. IEEE Transactions on Software Engineering, 1(2):220-232, June 1975. 211
14. M. Raynal. Algorithms for mutual exclusion. MIT Press, 1986. 212
15. M. Ronnse and W. Zwaenepoel. Execution replay for treadmarks. In Proc. of the 5th EUROMICRO Workshop on Parallel and Distributed Processing (PDP’97), pages 343-350, January 1997. 211, 222
16. A. Tarafdar and V. K. Garg. Predicate control for active debugging of distributed programs. In Proc. of the 9th Symposium on Parallel and Distributed Processing, Orlando, USA, April 1998. IEEE. 212, 212, 213, 214
17. Y. M. Wang, Y. Huang, W. K. Fuchs, C. Kintala, and G. Suri. Progressive retry for software failure recovery in message-passing applications. IEEE Trans. on Computers, 46(10):1137-1141, October 1997. 211