Co-ordinated Exception Handling in Distributed Object-Oriented Systems: ImprovedAlgorithm, Correctness and Implementation

摘要

We address the problem of how to handle exceptions is distributed object-orientedsystems. We propose a new distributed algorithms for resolving concurrent exceptions and prove that the algorithm works correctly even in complex nested situations, and is an improvement over previous proposals in that it requires only O n(sub max) X N(sup 2) messages, and is fully object-oriented. We introduce a prototype implementation of the proposed resolution mechanism (including the related action supporting system) in Ada95 and present a brief analysis of implementation and performance-related issues.