| 串行程序的并行划分算法及其正确性证明 |
| |
| 引用本文： | 罗昕,王庆超.串行程序的并行划分算法及其正确性证明[J].宇航学报,1994,15(4):35-40. |
| |
| 作者姓名： | 罗昕 王庆超 |
| |
| 作者单位： | 哈尔滨工业大学 |
| |
| 基金项目： | 航天基金，国家教委博士点基金 |
| |
| 摘 要： | 针对多机系统结构，本文提出了在大粒度级并行划分串行程序的算示。该算法通过识别并行循环任务以及通过确定调用上下文关系识别过程任务，来划分串行程序中的并行成份。该算法是对串行程序实施并行分解的基础。本文还给出了该算法的正确性证明。
|
| 关 键 词： | 并行划分 并行分解 多机系统 并行处理 |
AN ALGORITHM FOR PARTITIONING PARALLELISM IN A SEQUENTIAL PROGRAM AND ITS CORRECTNESS PROOF |
| |
| Luo Xin, Wang Qingchao, Li Lianzhi.AN ALGORITHM FOR PARTITIONING PARALLELISM IN A SEQUENTIAL PROGRAM AND ITS CORRECTNESS PROOF[J].Journal of Astronautics,1994,15(4):35-40. |
| |
| Authors: | Luo Xin Wang Qingchao Li Lianzhi |
| |
| Institution: | Harbin Institute of Technology |
| |
| Abstract: | In accordance with architecture of the multi-processor systems, this paper puts forward an algorithm which partitions parallelism in a sequential program at largegrained level. This algorithm is the basis for decomposing parallelism in a sequential program and is implemented with recognizing parallel loop tasks and parallel procedural tasks by determining the call context. The correctness proof of the algorithm is also given in this paper. |
| |
| Keywords: | Parallel partitioning Parallel decomposing Multiprocessor system Parallel processing |
| 本文献已被 CNKI 维普 等数据库收录！ |
