检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]广西师范学院计算机与信息工程学院,南宁530023 [2]广西师范学院科学计算与智能信息处理高校重点实验室,南宁530023 [3]广西师范学院物流管理与工程学院,南宁530299
出 处:《计算机科学》2017年第B11期586-591,595,共7页Computer Science
基 金:国家自然科学基金(61363037;61363074;61163012);广西自然科学基金(2016GXNSFAA380243);广西自然科学基金重点项目(2014GXNSFDA118037)资助
摘 要:为解决多核机群Petri网并行化过程中,运用MPI+OPenMP混合编程实现同步会出现死锁的问题,提出了基于三层混合编程模型的Petri网并行算法。首先,根据事务内存的同步优势,在多核机群环境下构建MPI+OPenMP+STM的三层编程模型;然后,对Petri网的几何模型与代数模型的并行化进行分析,建立MPI+OPenMP+STM三层结构的Petri网并行模型,并对三层混合编程模型的Petri网并行算法进行设计与分析;最后,通过示例进行编程验证,该算法的运行效率明显优于其他编程模式,而且Petri网的规模越大,其并行计算的效果就越明显。因此,该算法是多核机群环境下模拟Petri网并行运行的一种高效且可行的算法。In order to solve the deadlocks in the synchronization realized by using the MPI+OPenMP mixed program-ming during the parallelization of Petri nets based on the multi core cluster,the paper proposed the Petri net parallel al-gorithm based on a three layer mixed programming model. First ly, it builds a three layer programming model of MPI+ OPenMP + STM in the multi-core cluster environment according to the synchronous advantage of the transactions^ memory. Then,it analyzes the parallelization of the geometric model and the algebraic model of the Petri net. It also builds the Petri net parallel model with a three-layer structure of MPI+OPenMP+STM as well as designing and analy-zing the Petri net parallel algorithm of the three-layer programming model. Finally, the paper validates the programming through examples and proves that the operating efficiency of this algorithm is much better than those of other program-ming modes. In addition,the larger the size of the Petri net is, the better effect of the parallel computing it has. There-fore, the algorithm is an efficient and applicable algorithm for the simulated parallel operation of the Petri net in the multi-core cluster environment.
关 键 词:PETRI网 MPI+OPenMP+STM编程 Petri网并行化 Petri网并行模型 并行算法
分 类 号:TP301.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222