Toggle Main Menu Toggle Search

ePrints

A Formal Model of Atomicity in Asynchronous Systems

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

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

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