.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
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.
Keyword:
software fault tolerance
atomic actions
Ada 95
exception handling
recovery blocks
conversations
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
引用论文
Approximative derivation of the extinction efficiency for a two and threefold stratified cylinder.png)
.png){kind=icon}
PREAI
.png){kind=icon}
分享.png){kind=icon}
收藏
分享收藏
查看更多内容