Browse by author
Lookup NU author(s): Emeritus 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.
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
URL: http://dx.doi.org/10.1016/S0096-0551(97)00006-4
DOI: 10.1016/S0096-0551(97)00006-4
Altmetrics provided by Altmetric
