-
题名MPI程序的Petri网模型及其验证
被引量：1
- 1
-
-
作者
眭聃
王力生
叶青
-
机构
同济大学计算机科学与技术系
-
出处
《计算机应用与软件》
CSCD
北大核心
2007年第10期205-206,209,共3页
-
文摘
利用PVM程序中抽取Petri网的方法实现了MPI程序的部分功能语句的Petri网抽象,并分别针对MPI-1和MPI-2在通信方式上的新特性给出对应的Petri网模型抽象方法,使利用Pertri网模型对MPI程序正确性进行理论验证成为可能。
-
关键词
mpi
并行程序
petri网
验证
-
Keywords
mpi parallel program petri net validation
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网共享合成及其在并行系统中的应用
被引量：2
- 2
-
-
作者
刘之家
李文敬
王汝凉
-
机构
广西师范学院计算机与信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第3期968-971,983,共5页
-
基金
国家自然科学基金项目(60864001)
广西自然科学基金项目(0731028)
广西教育厅科研基金项目(200911MS144)
-
文摘
为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明。提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例。实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法。
-
关键词
petri网
共享合成
mpi并行程序
顺序合成
进程合成
合成算法
-
Keywords
petri net
shared composition
mpi parallel program
sequence composition
process composition
composition algorithm
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于三层混合编程模型的Petri网并行算法研究
被引量：2
- 3
-
-
作者
周杰
李文敬
-
机构
广西师范学院计算机与信息工程学院
广西师范学院科学计算与智能信息处理高校重点实验室
广西师范学院物流管理与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第B11期586-591,595,共7页
-
基金
国家自然科学基金(61363037
61363074
+2 种基金
61163012)
广西自然科学基金(2016GXNSFAA380243)
广西自然科学基金重点项目(2014GXNSFDA118037)资助
-
文摘
为解决多核机群Petri网并行化过程中,运用MPI+OPenMP混合编程实现同步会出现死锁的问题,提出了基于三层混合编程模型的Petri网并行算法。首先,根据事务内存的同步优势,在多核机群环境下构建MPI+OPenMP+STM的三层编程模型;然后,对Petri网的几何模型与代数模型的并行化进行分析,建立MPI+OPenMP+STM三层结构的Petri网并行模型,并对三层混合编程模型的Petri网并行算法进行设计与分析;最后,通过示例进行编程验证,该算法的运行效率明显优于其他编程模式,而且Petri网的规模越大,其并行计算的效果就越明显。因此,该算法是多核机群环境下模拟Petri网并行运行的一种高效且可行的算法。
-
关键词
petri网
mpi+OPenMP+STM编程
petri网并行化
petri网并行模型
并行算法
-
Keywords
petri net, mpi＋OPenMP＋STM programming, petri net parallelization, petri net parallel model, parallel algorithm
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
