| 基于时延Petri网的并行程序的分析 |
| |
| 引用本文： | 方贤文,洪永发.基于时延Petri网的并行程序的分析[J].安徽理工大学学报(自然科学版),2006,26(1):70-74. |
| |
| 作者姓名： | 方贤文 洪永发 |
| |
| 作者单位： | 1. 安徽理工大学数理系,安徽,淮南,232001
2. 同济大学电子与信息工程学院,上海,200092 |
| |
| 基金项目： | 中国科学院资助项目
,
安徽理工大学校科研和教改项目 |
| |
| 摘 要： | 在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的.时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割.给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础.
|
| 关 键 词： | 时延变迁Petri网 并行程序 分割 逻辑进程 |
| 文章编号： | 1672-1098(2006)01-0070-05 |
| 收稿时间： | 2005-04-05 |
| 修稿时间： | 2005年4月5日 |
The Analysis of Parallel Program Based on Timed Transition Petri nets |
| |
| FANG Xian-wen,HONG Yong-fa.The Analysis of Parallel Program Based on Timed Transition Petri nets[J].Journal of Anhui University of Science and Technology:Natural Science,2006,26(1):70-74. |
| |
| Authors: | FANG Xian-wen HONG Yong-fa |
| |
| Institution: | 1. Dept. of Mathematics and Physics, Anhui University of Science and Technology, Huainan Anhui 232001, China; 2. Institute of Electronic and Information Engineering, Tongji University, Shanghai 200092, China |
| |
| Abstract: | While analyzing the parallel program,there are lots of problems necessary to consider,such as communication,synchronization,data partitioning and distribution,load balancing,tolerance fault,heterogeneity,deadlock,competition etc.It is very difficult to adopt general method to deal with these problems,but timed transition Petri nets(TTPN) can describe well these questions and make analysis on parallel program easily,which is very beneficial to the parallel partitioning.In this paper,the TTPN modeling method of parallel program is presented,a parallel program example analyzed,and the Petri net model of the parallel program got,which pave the way for the analysis and validation of the parallel program. |
| |
| Keywords: | timed transition Petri nets(TTPN) parallel program partitioning logical process |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
