A Formal Model of Atomicity in Asynchronous Systems

  1. Lookup NU author(s)
  2. Professor Eike Best
  3. Professor Brian Randell
Author(s)Best E, Randell B
Publication type Report
Series TitleComputing Laboratory Technical Report Series
Report Number130
Full text is available for this publication:
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.
InstitutionComputing Laboratory, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication