PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P. Properties of an interprocesses communication mechanism for distributed computer systems. In: Proceedings of the 2nd Hungarian Computer Science Conference (Budapest, 1977). Proceedings, vol. 1 pp. 16 - 32. 1977.
 
 
Abstract
(English)
Properties and characteristics of the control of a set of interacting processes are analized in this paper. A formal model of process interactions in distributed operating system, is introduced. Here by distributed systems we mean not .only systems .geographically spread but also functionally scattered. In this context properties of a general process interaction mechanism are analized, from a graph theoretical viewpoint, with respect to deadlock conditions. For a particular class of system, necessary and sufficient conditions for deadlock prevention are given and a method is described that allows the statical detection of deadlock conditions.
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