White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Implementing atomic actions in Ada 95

Wellings, A (orcid.org/0000-0002-3338-0623) and Burns, A (orcid.org/0000-0001-5621-8816) (1997) Implementing atomic actions in Ada 95. IEEE Transactions on Software Engineering. pp. 107-123. ISSN 0098-5589

Text (burnsa5.pdf)

Download (319Kb)


Atomic actions are an important dynamic structuring technique that aid the construction of fault-tolerant concurrent systems. Although they were developed some years ago, none of the well-known commercially-available programming languages directly support their use. This paper summarizes software fault tolerance techniques for concurrent systems, evaluates the Ada 95 programming language from the perspective of its support for software fault tolerance, and shows how Ada 95 can be used to implement software fault tolerance techniques. In particular, it shows how packages, protected objects, requeue, exceptions, asynchronous transfer of control, tagged types, and controlled types can be used as building blocks from which to construct atomic actions with forward and backward error recovery, which are resilient to deserter tasks and task abortion.

Item Type: Article
Copyright, Publisher and Additional Information: Copyright © 1997 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Keywords: software fault tolerance,atomic actions,Ada 95,exception handling,recovery blocks,conversations,CONVERSATION SCHEME,MONITORS,SYSTEM
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Repository Officer
Date Deposited: 19 Jul 2006
Last Modified: 05 May 2016 06:20
Published Version: http://dx.doi.org/10.1109/32.585500
Status: Published
Refereed: Yes
URI: http://eprints.whiterose.ac.uk/id/eprint/1454

Actions (repository staff only: login required)