Implementing Synchronous Co-ordinated Atomic Actions Based on Forward ErrorRecovery

摘要

Co-ordinated atomic action concept is proposed as a means for providing faulttolerance in complex object oriented systems which incorporate both co-operative and competitive concurrency. This paper has two purposes: to discuss a particular implementation of this concept and to address many implementation issues which are common for any experiments with this concept. Our implementation relies on a thoroughly designed set of programming conventions for the standard Ada (Ada95) language and uses forward error recovery which incorporates asynchronous exception handling and concurrent exception resolution. We utilize the peculiarities of Ada as much as possible, which makes our approach practical and useful for many critical applications with high dependability requirements. This scheme offers a basic framework for using co-ordinated atomic actions and allows us to continue experimenting with them. (Copyright (c) 1997 University of Newcastle upon Tyne.)