Formal Approach for Performance Analysis Oriented Parallel System Design

The performance analysis of parallel system is critical for tuning, optimizing and algorithm modifying of parallel program. A formal modeling method based on TCPN is proposed in this paper, which makes it possible to organize a complicated parallel system as a set of hierarchical modules and includes a time concept to represent the time taken to execute events and further analyze the performance of the system. In view of the fact that the performance of parallel systems is not only determined by the performance of the hardware itself, but also by the structure of the parallel program and the assignment of program parts to resources, TCPN describes the parallel program and the resources respectively and brings less effect to modify the program structure because of running environment changes.