Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

A Formal Model of Atomicity in Asynchronous Systems

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

Downloads

Abstract

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

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/130.pdf

Share