Implementing atomic actions in ada 95

IEEE Transactions on Software Engineering

Volumn 23, Issue 2, 1997, Pages 107-123

  Wellings, Andy ^a,b   Burns, Alan ^a,b  

^a IEEE   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Ada 95; Atomic actions; Conversations; Exception handling; Recovery blocks; Software fault tolerance

Indexed keywords

EID: 0000096431     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.585500     Document Type: Article

References (27)

1. T. Anderson and P.A. Lee, Fault Tolerance Principles and Practice, second edition. Prentice Hall Int'l, 1990.
2. J.B. Goodenough, Exception Handling: Issues and a Proposed Notation, Comm. ACM, vol. 18, no. 12, pp. 683-696,1975.
3. J.J. Horning, H.C. Lauer, P.M. Melliar-Smith, and B. Randell, A Program Structure for Error Detection and Recovery, Lecture Notes in Computer Science 16, E. Gelenbe and C. Kaiser, eds., pp. 171-187. Springer-Verlag, 1974.
4. R.H. Campbell and B. Randell, Error Recovery in Asynchronous Systems, JEEE Trans. Software Eng., vol. 1, no. 8, pp. 811-826, 1986.
5. D.B. Lomet, Process Structuring, Synchronisation and Recovery Using Atomic Actions, Proc. ACM Trans. Language Design for Reliable Software, SIGPLAN, pp. 128-137,1977.
6. A. Burns and A.J. Wellings, Real-Time Systems and Their Programming Languages. Addison-Wesley, 1990.
7. K.H. Kim, Approaches to Mechanization of the Conversation Scheme Based on Monitors, JEEE Trans. Software Eng., vol. 8, no. 3, pp. 189-197,1982.
8. S.K. Shrivastava, G.N. Dixon, and G.D. Parrington, An Overview of the Arjuna Distributed Programming System, JEEE Software, vol. 8, no. 1, pp. 66-73,1991.
9. A. Burns and A.J. Wellings, Programming Atomic Actions in Ada, Ada Letters, vol. 9, no. 6, pp. 67-79,1989.
10. A. Clematis and V. Gianuzzi, Structuring Conversations in Operation/Procedure Oriented Programming Languages, Computer Languages, vol. 18, no. 3, pp. 153-168,1993.
11. A. Romanovsky and L. Strigini, Backward Error Recovery via Conversations in Ada, Software Eng. J., vol. 10, no. 6, pp. 219-232, 1995.
12. Ada 95 Reference Manual, ANSI/ISO/IEC-8652:1995, Intermetrics, 1995.
13. B. Randell, P.A. Lee, and P.C. Treleaven, Reliability Issues in Computing System Design, ACM Computing Surveys, vol. 10, no. 2, pp. 123-165,1978.
14. P. Jalote, Atomic Actions in Concurrent Systems, UIUCDCS-R-85-1223, Dept. of Computer Science, Univ. of Illinois, 1985.
15. B. Randell, System Structure for Software Fault Tolerance, IEEE Trans. Software Eng., vol. 1, no. 2, pp. 220-232,1975.
16. S.T. Gregory and J.C. Knight, A New Linguistic Approach to Backward Error Recovery, Proc. 15th Ann. Int'l Symp. FaultTolerant Computing Digest of Papers, pp. 404-409,1985.
17. A.M. Tyrrell and D.J. Holding, Design of Reliable Software in Distributed Systems Using the Conversation Scheme, IEEE Trans. Software Eng., vol. 12, no. 9, pp. 921-928,1986.
18. P. Jalote and R.H. Campbell, Fault Tolerance Using Communicating Sequential Processes, 14th Ann. Int'l Symp. Fault-Tolerant Computing Digest of Papers, pp. 347-352,1984.
19. P. Jalote and R.H. Campbell, Atomic Actions for Fault-Tolerance Using CSP, JEEE Trans. Software Eng., vol. 12, no. 1, pp. 59-68, 1986.
20. A. Burns and A J. Wellings, Concurrency in Ada. Cambridge Univ. Press, 1995.
21. C.A.R. Hoare, Towards a Theory of Parallel Programming, Operating Systems Techniques, pp. 61-71. Academic Press, 1972.
22. P. Brinch-Hansen, Structured Multiprogramming, Comm. ACM, vol. 15, no. 7, pp. 574-578,1972.
23. C.A.R. Hoare, Monitors-An Operating System Structuring Concept, Comm. ACM, vol. 17, no. 10, pp. 549-557,1974.
24. P. Brinch-Hansen, Operating System Principles. Englewood Cliffs, N.J.: Prentice Hall, 1973.
25. B. Randell et al., From Recovery Blocks to Concurrent Atomic Actions, Predictable Dependable Computing Systems, B. Randell et al., eds. Springer-Verlag, 1995.
26. Xu et al., Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery, Digest of Papers, 25th Int'l Symp. Fault-Tolerant Computing, pp. 499-508,1995.
27. A. Romanovsky, S. Mitchell, and A.J. Wellings, On Programming Atomic Actions in Ada 95, Proc. Ada Europe Conf., SpringerVerlag, 1997.