基于Petri网的点到点通信并行程序验证  

Verification of Parallel Programs of Point-To-Point Communication Based on Petri Net

作　　者：印玉兰[1] 崔焕庆[2] 

机构地区：[1]安徽理工大学数理系,安徽淮南232001 [2]山东科技大学信息科学与工程学院,山东青岛266510

出　　处：《安徽理工大学学报（自然科学版）》2007年第1期35-38,共4页Journal of Anhui University of Science and Technology:Natural Science

摘　　要：基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性。It is the message-passing mode that is the mainstream implementing high-performance applications, and point-to-point communication procedures are the basic. The differences between all kinds of point-to-point communication are illustrated with control places in simulating the peformance of the procedures by Petri net based on their characteristics. Furthermore, the steps to model and verify a program based on point-to-point communication are presented, and an example is provided to validate the method.

关 键 词：点到点通信 建模 PETRI网 控制库所 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]