A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Hi-index | 0.00 |
We address the problem of how to handle exceptions in distributed object-oriented systems. In a distributed computing environment exceptions may be raised simultaneously and thus need to be treated in a co-ordinated manner. We propose a new distributed algorithm 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 (nmax x N2) 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.