Programming atomic actions in Ada-Reference-Cited by-同舟云学术

Programming atomic actions in Ada

Published:1989-09 Issue:6 Volume:IX Page:67-79
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Burns A.¹,Wellings A. J.²

Affiliation:

1. Department of Computing, University of Bradford, U K

2. Department of Computer Science, University of York, UK

Abstract

Atomic actions are often seen as an important structuring aid in the design and construction of fault tolerant programs. In this paper we consider whether recoverable atomic action can be implemented in Ada using the language's communication and synchronisation mechanisms. Whilst simple atomic actions can be programmed in Ada, recoverable actions cannot because the language does not have an asynchronous exception facility.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/71327.71328

Reference10 articles.

1. 1 . T. Anderson and P.A. Lee Fault Tolerance Principles and Practice Prentice Hall International (1981). 1. T. Anderson and P.A. Lee Fault Tolerance Principles and Practice Prentice Hall International (1981).

2. 2 . A. Burns and A.J. Wellings Real-time Systems and their Programming Languages Addison Wesley (October 1989). 2. A. Burns and A.J. Wellings Real-time Systems and their Programming Languages Addison Wesley (October 1989).

3. 5 . P. Jalote "Atomic Actions in Concurrent Systems" UIUCDCS-R-85-1223 Department of Computer Science University of Illinois (1985). 5. P. Jalote "Atomic Actions in Concurrent Systems" UIUCDCS-R-85-1223 Department of Computer Science University of Illinois (1985).

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Asynchronous transfer of control in Ada 9X;ACM SIGAda Ada Letters;1990-11