Toggle Main Menu Toggle Search

Open Access padlockePrints

Practical exception handling and resolution in concurrent programs

Lookup NU author(s): Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


The paper discusses how atomic actions based on forward error recovery in the form of concurrent exception handling and resolution can be programmed within standard conventional languages (Ada and Ada 95). We express the main characteristics of the general atomic action scheme in terms of these languages and discuss a set of templates and programmers' conventions which would allow the programming of atomic actions within Ada and Ada 95. We offer an approach to implementing a resolution procedure (function) and outline other approaches. The scheme is very flexible in that it gives an opportunity for programmers to use any sort of the resolution procedure. We introduce a general concept of self-checking programming, which allows the kind of failure assumption necessary for simplifying the atomic action support, and discuss how it can be applied (to Ada, in particular). It is shown how this approach helps to solve the deserter process problem. We outline the main improvements which can be made in the scheme when Ada 95 is used. We believe that this paper discusses important practical questions because it seems unlikely that an existing practical language will have concurrent exception handling of the level sufficient for supporting atomic actions based on forward error recovery. © 1997 Elsevier Science Ltd.

Publication metadata

Author(s): Romanovsky A

Publication type: Article

Publication status: Published

Journal: Computer Languages

Year: 1997

Volume: 23

Issue: 1

Pages: 43-58

Print publication date: 01/04/1997

ISSN (print): 0096-0551

ISSN (electronic): 1873-6866

Publisher: Pergamon


DOI: 10.1016/S0096-0551(97)00006-4


Altmetrics provided by Altmetric