Modeling the software architecture of a prototype parallel machine
- 1 May 1987
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 15 (1) , 175-185
- https://doi.org/10.1145/29903.29924
Abstract
A high-level Petri net model of the software architecture of an experimental MIMD multiprocessor system for Artificial Intelligence applications is derived by direct translation of the code corresponding to the assumed workload. Hardware architectural constraints are then easily added, and formal reduction rules are used to simplify the model, which is then further approximated to obtain a performance model of the system based on generalized stochastic Petri nets. From the latter model it is possible to estimate the optimal multiprogramming level of each processor so as to achieve the maximum performance in terms of overall throughput (number of tasks completed per unit time).Keywords
This publication has 6 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Performance of Processor-Memory Interconnections for MultiprocessorsIEEE Transactions on Computers, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Communicating sequential processesCommunications of the ACM, 1978