Error Recovery in Asynchronous Systems

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 8, 1986, Pages 811-826

  Campbell, Roy H ^a   Randell, Brian ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Asynchronous systems; atomic actions; error recovery; exception mechanism; programming techniques; software fault tolerance; software reliability

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - FAULT TOLERANT CAPABILITY;

ASYNCHRONOUS SYSTEMS; ERROR RECOVERY;

COMPUTER SOFTWARE;

EID: 0022766663     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6312984     Document Type: Article

References (26)

1. T. Anderson and P. A. Lee, Fault Tolerance, Principles and Practice. Englewood Cliffs, NJ: Prentice-Hall International, 1981.
2. T. Anderson and M. R. Moulding, “Dialogues for recovery coordi-nation in concurrent systems,” Comput. Lab., Univ. Newcastle upon Tyne, Tech. Rep., in preparation, 1983.
3. E. Best and B. Randell, “A formal model of atomicity in asynchro-nous systems,” Comput. Lab., Univ. Newcastle Upon Tyne, Tech. Rep. 130, Dec. 1980.
4. L. A. Bjork and C. T. Davies, “The semantics of the preservation and recovery of integrity in a data system,” IBM Tech. Rep. TR02.540, Dec. 1972.
5. R. H. Campbell and T. Anderson, “Practical fault tolerant software for asynchronous systems,” in SAFECOMP 83, Third Int. IFAC Workshop Achieving Safe Real-time Comput. Syst. Oxford, England: Pergamon, 1983.
6. L. Chen and A. Avizienis, “N-version programming: A fault-toler-ance approach to reliability of software operation,” in Dig. of Papers FTCS-8: Eighth Annu. Int. Symp. Fault-Tolerant Comput., Toulouse, June 1978, pp. 3–9.
7. F. Cristian, “Exception handling and software fault tolerance,” IEEE Trans. Comput., vol. C-31, pp. 531–540, June 1982.
8. C. T. Davies, “Data processing spheres of control,” IBM Syst. J., vol. 17, no. 2, pp. 179–198, 1978.
9. J. N. Gray, “Notes on data base operating systems,” in Lecture Notes in Computer Science, Vol. 60, R. Bayer, R. M. Graham and G. Seeg-muller, muller, Eds. Berlin, Germany: Springer-Verlag, 1978, pp. 393–481.
10. C. A. R. Hoare, “Monitors: An operating system structuring concept,” Commun. ACM, vol. 17, no. 10, pp. 549–557, Oct. 1974.
11. J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, and B. Randell, “A program structure for error detection and recovery,” in Lecture Notes in Computer Science, Vol. 16, E. Gelenbe and C. Kaiser, Eds. Berlin, Germany: Springer-Verlag, 1974, pp. 171–187.
12. P. Jalote and R. H. Campbell, “Fault tolerance using communicating sequential processes,” in 14th Int. Conf. Fault-Tolerant Comput. (FTCS-14), Orlando, FL, June 1984, pp. 347–352.
13. K. H. Kim, “Approaches to mechanization of the conversation scheme based on monitors,” IEEE Trans. Software Eng., vol. SE-8, pp. 189–197, May 1982.
14. B. H. Liskov and A. Snyder, “Exception handling in CLU,” IEEE Trans. Software Eng., vol. SE-5, pp. 546–558, Nov. 1979.
15. B. Liskov, “On linguistic support for distributed programs,” IEEE Trans. Software Eng., vol. SE-8, pp. 203–210, May 1982.
16. D. B. Lomet, “Process synchronization, communication and recovery using atomic actions,” SIGPLAN Notices, vol. 12, no. 3, pp. 128–137, Mar. 1977.
17. P. M. Melliar-Smith and B. Randell, “Software reliability: The role of programmed exception handling,” SIGPLAN Notices, vol. 12, no. 3, pp. 95–100, Mar. 1977.
18. P. M. Merlin and B. Randell, “Consistent state restoration in distributed systems,” in Dig. Papers FTCS-8: Eighth Annu. Int. Symp. Fault-Tolerant Comput., Toulouse, France, June 1978, pp. 129–134.
19. R. Milne and C. Strachey, A Theory of Programming Language Semantics. London, England: Chapman and Hall, 1976.
20. B. Randell, P. A. Lee, and P. C. Treleaven, “Reliability issues in computing system design,” ACM Comput. Surveys, vol. 10, no. 2, pp. 123–165, June 1978.
21. B. Randell, “System structure for fault tolerance,” IEEE Trans. Software Eng., vol. SE-1, pp. 220–232, Mar. 1975.
22. D. L. Russell and M. J. Tiedeman, “Multiprocess recovery using conversations,” in Dig. Papers FTCS-9: Ninth Annu. Int. Symp. Fault-Tolerant Comput., Madison, WI, June 1979, pp. 106109.
23. S. K. Shrivastava, “A dependency, commitment and recovery model for atomic actions,” in Proc. Second Symp. Reliability in Distributed Software and Database Systems, Pittsburgh, PA, July 1982, pp. 112–119.
24. S. K. Shrivastava and J-P. Banatre, “Reliable resource allocation be-tween unreliable processes,” IEEE Trans. Software Eng., vol. SE-4, pp. 230–241, May 1978.
25. A. Z. Spector and P. M. Schwarz, “Transactions: A construct for reliable distributed computing,” Operat. Syst. Rev., vol. 17, no. 2, pp. 18–35, Apr. 1983.
26. W. G. Wood, “A decentralised recovery control protocol,” in Dig. Papers FTCS-11: Eleventh Annu. Int. Conf. Fault-Tolerant Computing, Portland, OR, June 1981, pp. 159–164.