Istituto di Scienza e Tecnologie dell'Informazione     
Casaglia G., Conti G., Vanneschi M. A model for parallel systems composed of mutually asynchronous models. Internal note IEI-E73-05, 1973.
A model for digital parallel systems composed by mutually asynchronous modules, each of them with processing speed in general variable, is described, by means of which it is possible to realiz e parallel and/or pipeline computers in a systematic and correct way. Each module of a sys tem corresponding to the proposed model has its own control part and its own operation part, and the behaviour of the entire system, called PMC system, depends exclusively on the exchange of messages among the control parts of the modules belonging to the system. Moreover the modules exchange each other data by means of queues: data held in queues and messages are the only resources shared by modules. Three rules of message exchange among modules are defined, obtaining three types of systems called PMC systems with weakly linked modules, with strongly linked modules and with strongly linked modules looking ahead. Some ways of transmitting messages are introduced which give ris e to several schemes of the control stru,cture of the entire system. The activity of a PMC system is described by a graph; by some constraints imposed on this graph it is possible to define a class of systems, called PMC linear systems , into which any PMC system can be transformed. For PMC linear systems, with regard to the rules of message exc hange, general conditions are given under which such systems are determinate and deadlock-free.

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