Acta Informatica

, Volume 16, Issue 1, pp 93–124 | Cite as

A formal model of atomicity in asynchronous systems

  • Eike Best
  • Brian Randell


We propose a generalisation of occurrence graphs as a formal model of computational structure. The model is used to define the “atomic occurrence” of a program, to characterise “interference freeness” between programs, and to model error recovery in a decentralised system.


Information System Operating System Data Structure Communication Network Information Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Best, E.: Proof of a current program finding Euler paths. In: Proceedings of the MFCS'80. Lecture Notes in Computer Science, Vol. 88. Berlin Heidelberg New York: Springer 1980Google Scholar
  2. 2.
    Dijkstra, E.W.: Finding the correctness proof of a concurrent program. Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A, Vol. 81(2), 1978Google Scholar
  3. 3.
    Dijkstra, E.W., Lamport, L., Martin, A.J., Scholten, C.S., Steffens, E.F.M.: On-the-fly garbage collection: an exercise in cooperation. CACM 21, 966–975 (1978)Google Scholar
  4. 4.
    Eswaran, R., Gray, J., Lorie, R., Traiger, I.: On the notions of consistency and predicate locks. CACM 19, 624–633 (1976)Google Scholar
  5. 5.
    Floyd, R.W.: Assigning meanings to programs. Applied Mathematics, Vol. 19, Providence: AMS 1967Google Scholar
  6. 6.
    Genrich, H.J., Stankiewicz-Wiechno, E.: A dictionary of some basic notions of net theory. Proceedings of the Advanced Course on General Net Theory. Lecture Notes in Computer Science, Vol. 84, pp. 519–531. Berlin Heidelberg New York: Springer 1980Google Scholar
  7. 7.
    Gray, J.N.: Notes on data base operating systems. In: Operating systems. Lecture Notes in Computer Science, Vol.60, pp. 394–481. Berlin Heidelberg New York: Springer 1978Google Scholar
  8. 8.
    Holt, A.W.: Final Report of the project on information systems theory. Applied Data Research ADR5606, and USAF — Rome Air Development Centre, RADC-TR-68-305, 1968Google Scholar
  9. 9.
    Lampson, B.W., Sturgis, H.: Crash recovery in a distributed data storage system. Xerox PARC Report, 1978; CACM (in press, 1981)Google Scholar
  10. 10.
    Handbook of mathematical logic (J. Barwise, ed.). Amsterdam: North Holland (1977)Google Scholar
  11. 11.
    Lomet, D.: Process structuring, synchronisation and recovery using atomic actions. Proceedings of the ACM Conference on language design for reliable software. Sigplan Notices 12, 128–137 (1977)Google Scholar
  12. 12.
    Manna, Z.: Mathematical theory of computation. New York: McGraw Hill 1974Google Scholar
  13. 13.
    McDermid, J.A.: Checkpointing and recovery in distributed systems. Second International Conference on distributed computing systems. IEEE Computer Society Press, pp 271–282 (1981)Google Scholar
  14. 14.
    Merlin, P., Randell, B.: State restoration in distributed systems. In: FTCS-8, IEEE Toulouse, pp. 129–137, 1978Google Scholar
  15. 15.
    Ore, O.: Theory of graphs. American Mathematical Society, Colloquium Publ. Vol. XXXVIII, Rhode Island, 1962Google Scholar
  16. 16.
    Owicki, S., Lamport, L.: Proving liveness properties of concurrent programs. Op. 57, Stanford University/SRI, 1980Google Scholar
  17. 17.
    Randell, B.: System structure for software fault tolerance. IEEE Trans. Software Engrg. SE-1, 220–232 (1975)Google Scholar
  18. 18.
    Randell, B., Lee, P.A., Treleaven, P.C.: Reliable computing systems. In: Operating systems. Lecture Notes in Computer Science, Vol. 60, pp. 282–391. Berlin Heidelberg New York: Springer 1978Google Scholar
  19. 19.
    Rothine, J.B., Bernstein, P.A., Fox, S., Goodman, N., Hammer, M., Landers, T.A., Reeve, C., Shipman, D.W., Wong, E.: Introduction to a system for distributed databases (SDD-1). ACM Transactions on Database Systems 5, 1–17 (1980)Google Scholar
  20. 20.
    Silberschatz, A., Kedem, Z.: Consistency in a hierarchical database system. JACM, 27, 72–80 (1980)Google Scholar
  21. 21.
    Wood, W.G.: Recovery control of communicating process in a distributed system. TR/158, Computing Laboratory, University of Newcastle upon Tyne, November 1980Google Scholar

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Eike Best
    • 1
  • Brian Randell
    • 1
  1. 1.Computing LaboratoryUniversity of Newcastle upon TyneEngland

Personalised recommendations