.png){kind=icon}
Return
Implementing atomic actions in Ada 95
.png){kind=icon}
OA
AI
DOI：10.1109/32.585500.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
software fault tolerance
atomic actions
Ada 95
exception handling
recovery blocks
conversations
Journal
IF:
5.6
Papers:
2.9K
Citations:
1.1W
Organization
No organization information available
Cited Papers
Approximative derivation of the extinction efficiency for a two and threefold stratified cylinder
.png){kind=icon}
PREAI
ShareSaveShareSaveShareSaveShareSave
ShareSaveShareSave
View more