Abstract
Protocols return often to a particular state — no matter what happens. We call such a state a ground state. Each action which occurs in the ground state starts a so called round. A round ends when the ground state is reached again.
In distributed protocols without global control, rounds are hard to identify. Ground states might be only virtual snapshots and not necessarily observable. When partial order semantics are considered a round can be clearly identified even in a distributed system. We will discuss the use of rounds for structuring and verifying a system's behavior. As an example a Petri net model for the asynchronous stack is introduced.
This work was partially supported by the DFG (Project ‘Distributed Algorithms’).
Preview
Unable to display preview. Download preview PDF.
References
Eike Best and César Fernández. Nonsequential Processes, volume 13 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1988.
Frederick C. Furtek. Asynchronous push-down stacks. Computation structures group memo 86, project mac, Massachussets Institute of Technologie, 1973.
Hartmann Genrich. Net models of dynamically evolving data structures. In K. Voss, H.J. Genrich, and G. Rozenberg, editors, Concurrency and Nets, pages 201–216. Springer-Verlag, 1987.
Leo J. Guibas and Frank M. Liang. Systolic stacks, queues, and counters. In 1982 Conference on Advanced Research in VLSI, M.I.T., pages 155–164, January 1982.
Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms, to appear in Petri Net Newsletter 51, 1996/97.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125–143, 1977.
Wolfgang Reisig. Petrinetze: Grundfragen, Konzepte, Konsequenzen. Arbeitspapiere der GMD 497, GMD, 1990.
R. Walter, H. Völzer, T. Vesper, W. Reisig, E. Kindler, J. Freiheit, and J. Desel. Memorandum: Petrinetzmodelle zur Verifikation verteilter Algorithmen. Informatik-Bericht 67, Humboldt-Universität zu Berlin, July 1996.
Rolf Walter. Petrinetzmodelle verteilter Algorithmen — Intuition und Beweistechnik. Band 2 aus Edition VERSAL. Bertz Verlag. PhD thesis, Humboldt-Universität zu Berlin, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Walter, R. (1997). The asynchronous stack revisited: Rounds set the twilight reeling. In: Freksa, C., Jantzen, M., Valk, R. (eds) Foundations of Computer Science. Lecture Notes in Computer Science, vol 1337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052099
Download citation
DOI: https://doi.org/10.1007/BFb0052099
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63746-2
Online ISBN: 978-3-540-69640-7
eBook Packages: Springer Book Archive