On programming atomic actions in Ada 95

A Romanovsky; S E Mitchell; A J Wellings

On programming atomic actions in Ada 95

A Romanovsky, S E Mitchell, A J Wellings

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and what choices, e.g. between synchronous and asynchronous actions, are appropriate for Ada 95. We then present two implementations of actions; first using Ada 95 packages to create asynchronous actions and secondly, as sets of tasks for synchronous actions. For each action type, we present code fragments illustrating their development and use. Finally, we discuss some related issues (exception resolution, action nesting, state restoration, software re-use and extension, preventing information smuggling, distributed execution) which have been addressed in our work and show some of the problems encountered (the deserter problem, using different sorts of interparticipant communications and resources).

Original language	English
Title of host publication	RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97
Editors	K Hardy, J Briggs
Place of Publication	BERLIN 33
Publisher	Springer
Pages	254-265
Number of pages	12
ISBN (Print)	3-540-63114-3
Publication status	Published - 1997
Event	1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97) - LONDON Duration: 2 Jun 1997 → 6 Jun 1997

Conference

Conference	1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97)
City	LONDON
Period	2/06/97 → 6/06/97

Keywords

ERROR RECOVERY

Cite this

@inproceedings{dd8f42dd6d3f4ffa94feeb1f50b656fe,

title = "On programming atomic actions in Ada 95",

abstract = "This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and what choices, e.g. between synchronous and asynchronous actions, are appropriate for Ada 95. We then present two implementations of actions; first using Ada 95 packages to create asynchronous actions and secondly, as sets of tasks for synchronous actions. For each action type, we present code fragments illustrating their development and use. Finally, we discuss some related issues (exception resolution, action nesting, state restoration, software re-use and extension, preventing information smuggling, distributed execution) which have been addressed in our work and show some of the problems encountered (the deserter problem, using different sorts of interparticipant communications and resources).",

keywords = "ERROR RECOVERY",

author = "A Romanovsky and Mitchell, {S E} and Wellings, {A J}",

year = "1997",

language = "English",

isbn = "3-540-63114-3",

pages = "254--265",

editor = "K Hardy and J Briggs",

booktitle = "RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97",

publisher = "Springer",

address = "Germany",

note = "1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97) ; Conference date: 02-06-1997 Through 06-06-1997",

}

TY - GEN

T1 - On programming atomic actions in Ada 95

AU - Romanovsky, A

AU - Mitchell, S E

AU - Wellings, A J

PY - 1997

Y1 - 1997

N2 - This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and what choices, e.g. between synchronous and asynchronous actions, are appropriate for Ada 95. We then present two implementations of actions; first using Ada 95 packages to create asynchronous actions and secondly, as sets of tasks for synchronous actions. For each action type, we present code fragments illustrating their development and use. Finally, we discuss some related issues (exception resolution, action nesting, state restoration, software re-use and extension, preventing information smuggling, distributed execution) which have been addressed in our work and show some of the problems encountered (the deserter problem, using different sorts of interparticipant communications and resources).

AB - This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and what choices, e.g. between synchronous and asynchronous actions, are appropriate for Ada 95. We then present two implementations of actions; first using Ada 95 packages to create asynchronous actions and secondly, as sets of tasks for synchronous actions. For each action type, we present code fragments illustrating their development and use. Finally, we discuss some related issues (exception resolution, action nesting, state restoration, software re-use and extension, preventing information smuggling, distributed execution) which have been addressed in our work and show some of the problems encountered (the deserter problem, using different sorts of interparticipant communications and resources).

KW - ERROR RECOVERY

M3 - Conference contribution

SN - 3-540-63114-3

SP - 254

EP - 265

BT - RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97

A2 - Hardy, K

A2 - Briggs, J

PB - Springer

CY - BERLIN 33

T2 - 1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97)

Y2 - 2 June 1997 through 6 June 1997

ER -