MPI集群通信函数的Petri网模型

摘要：

研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础.

关键词：Petri网、MPI、集群通信、建模

所属期刊栏目：17

分类号：TP302.7(计算技术、计算机技术)

在线出版日期：2005-12-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：52-54,58