Programming Atomic Actions in Ada 95

摘要

The paper describes the development of two kinds of atomic action schemes for Ada95. The authors 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. They 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, the authors present code fragments illustrating their development and use. Finally, the authors 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 the work and show some of the problems encountered (the deserter problem, using different sorts of inter-participant communications and resources).