| PVM并行程序验证系统的原理与实现 |
| |
| 引用本文： | 张兆庆,蒋昌俊,乔如良,叶志宝,周杰. PVM并行程序验证系统的原理与实现[J]. 计算机学报, 1999, 22(4): 409-414 |
| |
| 作者姓名： | 张兆庆 蒋昌俊 乔如良 叶志宝 周杰 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所,北京,100080
2. 山东矿业学院计算机模型与算法研究所,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金，国家博士后基金 |
| |
| 摘 要： | 本文主要介绍ＰＶＭ并行程序验证系统的基本原理和实现技术。首先，我们扼要分析ＰＶＭ程序的构成与特点，然后阐述验证系统的理论模型和验证算法；最后，讨论开发过程中的若干关键技术，本系统的研制可为产行程序的自动转换和分析验证提供了一个可视化的运行环境。
|
| 关 键 词： | PVM程序 Petri网 通信流图 并行程序验证 |
| 修稿时间： | 1998-03-24 |
THE VERIFICATION SYSTEM FOR PVM PARALLEL PROGRAM |
| |
| ZHANG Zhao-qing,JIANG Chang-Jun,QIAO Ru-liang,YE Zhi-Bao,ZHOU Jie. THE VERIFICATION SYSTEM FOR PVM PARALLEL PROGRAM[J]. Chinese Journal of Computers, 1999, 22(4): 409-414 |
| |
| Authors: | ZHANG Zhao-qing JIANG Chang-Jun QIAO Ru-liang YE Zhi-Bao ZHOU Jie |
| |
| Abstract: | This paper mainly intr0duces the basic theory and 1mplementat1on technology of the verification system for PVM parallel program. Firstly, it analyzes PVM program's structure and feature in brief; then elaborates on the system's theory model and veriflcati0n alg0rithm; and finally some key technology met durlng developing process are discussed- Thls system can provlde for parallel prograrn's automatic transformation, analysls and verlf1cat1on w1th a visual1z1ng running environment. |
| |
| Keywords: | PVM program Petri net communication graph parallel program verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
