Abstract
In this paper a formal model of process coordination in distributed computer systems is introduced. Properties of a message-transfer mechanism are analized from a graph theoretical viewpoint. In particular deadlock conditions, that can arise owing to message-transfer activity, are analized and a procedure for statically detect if a system is deadlock free is given. Optimal message-buffer dimensions are determined with respect to the system computational speed and to the message-buffer cost.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Ancilotti, M. Fusani, N. Lijtraaer — Deadlock conditions in well structured modular systems — G.I. 4 Jaherstagung, Berlin 9–12 October 1974 — Lectures Note Science — Vol. n.26, pp. 289–298, Springer Verlag.
P. Ancilotti, M. Fusani, N. Lijtmaer — Interprocess Communications: Deadlock Conditions — Interetnal Report B75–11 Istituto di Elabora-zione della Informazione, Pisa — August 1975.
P. Ancilotti, M. Fusani, N. Lijtmaer — Systems of Asynchronous Sequential Processes: The Balance Property in the Analysis of Deadlock Conditions — Internal report B76–3 Istituto di Elaborazio-ne della Informazione, Pisa — March 1976.
P. Ancilotti, M. Fusani, N. Lijtmaer — Systems of Asynchronous Sequential Processes: The Balance Property in the Analysis of Deadlock Conditions (Also in proceedings of the AICA congress 1975, 30–31 October 1975 Genova Italy).
P. Ancilotti — Control Properties of a set of asynchronous sequential processes — Internnal Report Istituto di Elaborazione della Informazione, Pisa — (in preparation).
F. Commoner, A.W. Holt, S. Even, A. Pnueli — Marked Directed Graphs-JCSS 5,1971 pp. 511–523.
C. Ramchandani — Analysis of Asynchronous Concurrent Systems by Petri Nets — MAC TR 120 MIT — February 1874
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Ancilotti, P. (1976). A Model of Process Coordination in Distributed Computer Systems. In: Neuhold, E.J. (eds) GI — 6. Jahrestagung. Informatik — Fachberichte, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95289-0_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-95289-0_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07912-5
Online ISBN: 978-3-642-95289-0
eBook Packages: Springer Book Archive