PUMA
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.
 
 
Abstract
(English)
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.
Subject


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