A Formal Model of Atomicity in Asynchronous Systems
- Lookup NU author(s)
- Professor Eike Best
- Professor Brian Randell
|
|
|
|
| Author(s) | | Best E, Randell B |
| Publication type | | Report |
| Series Title | | Computing Laboratory Technical Report Series |
| Year | | 1979 |
| Report Number | | 130 |
| Pages | | 54 |
|
|
|
| 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. |
|
|
|
| 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 |
| Actions | |  |
