| MPI程序的Petri网模型及其动态性质 |
| |
| 引用本文： | 崔焕庆,吴哲辉. MPI程序的Petri网模型及其动态性质[J]. 系统仿真学报, 2006, 18(9): 2455-2460 |
| |
| 作者姓名： | 崔焕庆 吴哲辉 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,山东,青岛,266510 |
| |
| 摘 要： | 对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。
|
| 关 键 词： | petri网 动态性质 |
| 文章编号： | 1004-731X（2006）09-2455-06 |
| 收稿时间： | 2005-07-12 |
| 修稿时间： | 2005-10-28 |
MPI Programs'''' Petri Net Model and Its Dynamic Properties |
| |
| CUI Huan-qing,WU Zhe-hui. MPI Programs'''' Petri Net Model and Its Dynamic Properties[J]. Journal of System Simulation, 2006, 18(9): 2455-2460 |
| |
| Authors: | CUI Huan-qing WU Zhe-hui |
| |
| Affiliation: | College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266510, China |
| |
| Abstract: | 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. |
| |
| Keywords: | MPI MPINet MPI Petri net MPINet dynamic property |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
