Toggle Main Menu Toggle Search

Open Access padlockePrints

A Formal Model of Atomicity in Asynchronous Systems

Lookup NU author(s): Professor Eike Best, Professor Brian RandellORCiD



A formal definition is given for an activity to ""appear atomic at some level of abstraction"". This definition is intended to make precise such concepts as ""uninterruptibility of actions"". It is particularly stressed that the notion of atomicity relates intimately to process structure. these definitions from a general framework for applications. We consider two important applications: (a) transaction-orientated database management, (b) error recovery techniques for distributed systems. A miscellany of results is included throughout the text.

Publication metadata

Author(s): Best E, Randell B

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1979

Pages: 54

Report Number: 130

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne