Programming atomic actions in Ada

Authors:
A. Burns;A. J. Wellings
Affiliations:
Department of Computing, University of Bradford, U K;Department of Computer Science, University of York, UK
Venue:
ACM SIGAda Ada Letters
Year:
1989

Citing 8
Cited 2

Atomic actions in concurrent systems

Atomic actions in concurrent systems
Mechanisms for reliable distributed real-time operating systems: The Alpha Kernel

Mechanisms for reliable distributed real-time operating systems: The Alpha Kernel
Real-time systems and their programming languages

Real-time systems and their programming languages
Fault Tolerance: Principles and Practice

Fault Tolerance: Principles and Practice
Reliable Computing Systems

Operating Systems, An Advanced Course
The Argus Language and System

Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
Process structuring, synchronization, and recovery using atomic actions

Proceedings of an ACM conference on Language design for reliable software
A problem with Ada and resource allocation

ACM SIGAda Ada Letters

Asynchronous transfer of control in Ada 9X

IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Implementing Atomic Actions in Ada 95

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.