摘要
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。
It is very important to verify parallel programs to assure the correctness, but they are more complicated than the sequential ones, so it is necessary to model the program. MPI is one of the most popular standards used to program parallel applications based on message passing. Based on characteristics of MPI program, the Petri net model of MPI parallel program MPINet was presented, and the basic Petri net models of MPI functions and basic steps to build the program＇s model were given. The concepts of statically executable and concurrent correct parallel program were discussed, and dynamic properties including safeness, reachability, reversibility and liveness were studied. All these methods can easily be used to the other parallel programming standards.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2006年第9期2455-2460,共6页
Journal of System Simulation
