Issue No. 01 - Jan. (1986 vol. 12)
David J. Taylor , Department of Computer Science, University of Waterloo, Waterloo, Ont. N2L 3GI, Canada
Some difficulties and complexities in atomic actions occur only when the concept of atomic actions is extended to allow concurrency within atomic actions and to allow a single atomic action to execute at a number of different sites. Also, providing facilities for both forward and backward recovery presents problems not found in the more usual case of allowing only backward recovery. This paper presents an analysis of these problems and proposes a general structure for a solution. A syntax which might be used to specify this structure is also given and illustrated with examples. The practicality of the scheme is justified by sketching one possible implementation.
Concurrent computing, Context, Computer languages, Synchronization, Proposals, Syntactics, Educational institutions, software reliability, Atomic actions, backward recovery, concurrency, exception handling, forward recovery
D. J. Taylor, "Concurrency and forward recovery in atomic actions," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 69-78, 1986.