Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P. A model of process coordination in distributed computer systems. In: GI-6 Jahrestsgung (Stuttgart, 1976). Proceedings, pp. 398 - 411. (Lecture Notes in Computer Science). Springer, Berlin, 1976.
In this paper a formal model of process coordination is distributed computer system is introduced. Properties of a message-transfer mechanism are analyzed from a agraph 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.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional