Implementation of blocking coordinated atomic actions based on forward error recovery

Journal of Systems Architecture

Volumn 43, Issue 10, 1997, Pages 687-699

  Romanovsky, Alexander ^a   Randell, Brian ^a   Stroud, Robert ^a   Xu, Jie ^a   Zorzo, Avelino F ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Atomicity; Concurrent systems; Conversations; Coordinated error recovery; Fault tolerant software structuring; Transactions

Indexed keywords

ADA (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; ERROR CORRECTION; FAULT TOLERANT COMPUTER SYSTEMS; LARGE SCALE SYSTEMS;

CONCURRENT SYSTEMS; CONVERSATIONS; COORDINATED ATOMIC ACTIONS; COORDINATED ERROR RECOVERY; FAULT TOLERANT SOFTWARE STRUCTURING; FORWARD ERROR RECOVERY;

COMPUTER SYSTEM RECOVERY;

EID: 0031233036     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(97)00029-5     Document Type: Article

References (20)

1. J. Gray, A. Reuter, Transaction Processing: Concepts, Techniques, Kaufman, San Mateo, CA, USA, 1993.
2. C.A.R. Hoare, Parallel programming: An axiomatic approach, in: G. Goos, J. Hartmaur (Eds.), Languages Hierarchies, Interfaces, Lecture Notes in Computer Science, LNCS-46, Springer, Berlin, 1976, pp. 11-39.
3. B. Randell, System structure for software fault tolerance, IEEE Trans. Software Engrg. SE-1 2 (1975) 220-232.
4. P.A. Lee, T. Anderson, Fault Tolerance: Principles and Practice, Springer, Berlin, 1990.
5. R.H. Campbell, B. Randell, Error recovery in asynchronous systems, IEEE Trans. Software Engrg. SE-12 8 (1986) 811-826.
6. J. Xu. B. Randell, A. Romanovsky, C. Rubira, R. Stroud, Z. Wu, Fault tolerance in concurrent object-oriented software through coordinated error recovery. Proceedings of the 25th International Symposium on Fault-Tolerant Computing, IEEE Computer Soc. Press, Pasadena, CA, USA, 1995, pp. 499-508.
7. A.J. Wellings, A. Burns, Implementing atomic actions in Ada 95, Technical Report YCS-263, Department of Computer Science, University of York, 1996.
8. Ada 95, Information technology - Programming languages - Ada Language, Standard Libraries, ISO/IEC 8652:1995(E), Intermetrics Inc., 1995.
9. A. Romanovsky, Atomic actions based on distributed/ concurrent exception resolution. Technical Report 560, Computing Department, University of Newcastle upon Tyne, 1996.
10. A. Romanovsky, J. Xu, B. Randell, Exception handling, resolution in distributed object-oriented systems. Proceedings of the 16th International Conference on Distributed Computing Systems, IEEE Computer Soc. Press, Hong Kong, 1996. pp. 545-553.
11. B. Randell, Approaches to Software Fault Tolerance, Proceedings of the 25th Annual LAAS Conference, LAAS, Toulouse,France, 1993, pp. 33-42.
12. D. Caromel, F. Belloncle, Y. Roudier, The C++// Language, in: G. Wilson, P. Lu (Eds.), Parallel Programming Using C++, MIT Press, Cambridge, MA, 1996.
13. V. Issarny, An exception handling mechanism for parallel object-oriented programming: Towards reusable, robust distributed software, J. Object-Oriented Programming 6, 6 (1993) 29-40.
14. P. Jalote, R.H. Campbell, Atomic actions for fault-tolerance using CSP, IEEE Trans. Software Engrg. SE-12 1 (1986) 59-68.
15. K.H. Kim, Approaches to mechanization of the conversation scheme based on monitors, IEEE Trans. Software Engrg. SE-8 3 (1982) 189-197.
16. A.B. Romanovsky, Practical exception handling, resolution in concurrent programs, Technical Report 545, Computing Department, University of Newcastle upon Tyne, 1996.
17. A. Burns, A. Wellings, Concurrency in Ada, Cambridge University Press, London, 1995.
18. C. Hoare, Monitors - an operating system structuring concept, Comm. ACM 17 10 (1974) 549-557.
19. F. Cristian, Exception handling, tolerance of software faults, in: M. Liu (Ed.), Software Fault Tolerance, Wiley, New York, 1994, pp. 81-107.
20. A. Coccoli, Implementing local objects in Ada 95, M.Sc. Thesis, Department of Computer Science, University of Pisa, Italy, 1996.