基于时延Petri网的并行程序的分析

The Analysis of Parallel Program Based on Timed Transition Petri nets

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的。时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割。给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础。

While analyzing the parallel program, there are lots of problems necessary to consider, such as communication, synchronization, data partitioning and distribution, load balancing, tolerance fault, heterogeneity, deadlock, competition etc. It is very difficult to adopt general method to deal with these problems, but timed transition Petri nets （TTPN） can describe well these questions and make analysis on parallel program easily, which is very beneficial to the parallel partitioning. In this paper, the TTPN modeling method of parallel program is presented, a parallel program example analyzed, and the Petri net model of the parallel program got, which pave the way for the analysis and validation of the parallel program.