Atomic Actions for Fault-Tolerance Using CSP

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 1, 1986, Pages 59-68

  Jalote, Pankaj ^a   Campbell, Roy H ^a  

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

Author keywords

Atomic actions; backward recovery; communicating sequential processes; forward recovery; software fault tolerance

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - FAULT TOLERANT CAPABILITY;

ATOMIC ACTIONS; COMMUNICATING SEQUENTIAL PROCESSES (CSP); ERROR RECOVERY;

COMPUTER SOFTWARE;

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

References (28)

1. J. E. Allchin and M. S. McKendry, “Synchronization and recovery of actions,” in Proc. Symposium Principles of Distributed Comput., ACM SIGACT-SIGOPS, Montreal, P.Q., Canada, 1983, pp. 17–19.
2. T. Anderson and P. A. Lee, Fault Tolerance, Principles and Practice. Englewood Cliffs, NJ: Prentice-Hall, 1981.
3. A. J. Bernstein, “Output guards and nondeterminism in communicating sequential processes,” ACM Trans. Program. Lang. Syst., vol. 2, no. 2, pp. 234–238, Apr. 1980.
4. E. Best and F. Cristian, “Systematic detection of exception occurrences,” Sci. Comput. Program., vol. 1, no. 1, pp. 115–144, 1981.
5. E. Best and B. Randell, “A formal model of atomicity in asynchronous systems,” Acta Inform., vol. 16, pp. 93–124, 1981.
6. R. H. Campbell, T. Anderson, and B. Randell, “Practical fault tolerant software for asynchronous systems,” in Proc. SAFECOM’83, Cambridge, 1983.
7. R. H. Campbell and B. Randell, “Error recovery in asynchronous systems,” Dep. Comput. Sci., Univ. Illinois at Urbana-Champaign, Rep. UIUCD CS-R-83-1148, 1983.
8. F. Christian, “Exception handling and software fault tolerance,” IEEE Trans. Comput., vol. C-31, pp. 531–540, June 1982.
9. E. W. Dijkstra, “Guarded commands, nondeterminancy and formal derivation of programs,” Commun. ACM, vol. 18, no. 8, pp. 453–457, Aug. 1975.
10. J. N. Gray, “Notes on database operating systems,” in Operating Systems: An Advanced Course (Lecture Notes in Computer Science, Vol. 60). New York: Springer-Verlag, 1978, pp. 393–481.
11. T. Haerder and A. Reuter, “Principles of transaction-oriented data-base recovery,” ACM Comput. Surveys, vol. 15, no. 4, pp. 287–317, Dec. 1983.
12. C. N. R. Hoare, “Communicating sequential processes,” Commun. ACM, vol. 21, no. 8, pp. 666–677, Aug. 1978.
13. P. Jalote, “Atomic actions in concurrent systems,” Ph.D. dissertation, Dep. Comput. Sci., Univ. Illinois, Urbana-Champaign, Rep. UIUCDCS-R-85-1223,1985.
14. P. Jalote and R. H. Campbell, “Atomic actions in concurrent systems,” in Proc. 5th Int. Conf. Distributed Comput. Syst., Denver, CO, 1985, pp. 184–191.
15. K. H. Kim, “An implementation of a programmer-transparent scheme for coordinating concurrent processes in recovery,” in Proc. COMSAC80, 1980, pp. 615–621.
16. 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.
17. B. H. Liskov, “On linguistic support for distributed programs,” IEEE Trans. Software Eng., vol. SE-8, pp. 203–210, May 1982.
18. B. H. Liskov and R. Scheifler, “Guardians and actions: Linguistic support for robust, distributed programs,” ACM Trans. Program. Lang. Syst., vol. 5, no. 3, pp. 381–404, July 1983.
19. B. H. Liskov and A. Snyder, “Exception handling in CLU,” IEEE Trans. Software Eng., vol. SE-5, pp. 546–558, Nov. 1979.
20. D. B. Lomet, “Process structuring, synchronization, and recovery using atomic actions,” ACM SIGPLAN Notices, vol. 12, no. 2, pp. 128–137, Mar. 1977.
21. P. M. Merlin and B. Randell, “State restoration in distributed systems,” in Dig. Papers FTCS-8: 8th Annu. Int. Symp. Fault-Tolerant Comput., Toulouse, France, 1978, pp. 129–134.
22. B. Randell, “System structure for software fault tolerance,” IEEE Trans. Software Eng., vol. SE-1, pp. 220–232, June 1975.
23. 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.
24. D. P. Reed, “Implementing atomic actions on decentralized data,” ACM Trans. Comput. Syst., vol. 1, no. 1, pp. 3–23, Feb. 1983.
25. D. L. Russell and M. J. Tiedeman, “Multiprocess recovery using conversations,” in Dig. Papers FTCS-9: 9th Annu. Int. Symp. Fault-Tolerant Comput., Madison, WI, 1979, pp. 106–109.
26. S. K. Shrivastava, “Concurrent Pascal with backward error recovery: Implementation,” Software-Practice and Experience, vol. 9, pp. 1021-1033,1979.
27. A. Silberschatz, “Communicating and synchronization in distributed systems,” IEEE Trans. Software Eng., vol. SE-5, pp. 542–546, Nov. 1979.
28. W. G. Wood, “A decentralized recovery protocol,” in Dig. Papers FTCS-11: 11th Annu. Int. Symp. Fault-Tolerant Comput., Portland, OR, 1981, pp. 159–164.