| 指令级并行程序执行模型 |
| |
| 引用本文： | 乔林,汤志忠,容红波,张赤红.指令级并行程序执行模型[J].计算机学报,1999,22(5):476-480. |
| |
| 作者姓名： | 乔林 汤志忠 容红波 张赤红 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084 |
| |
| 摘 要： | 提出了一种形式化的指令级并行程序执行模型，ＩＬＰＰＥＭ不仅可以描述程序实际执行过程的行为，也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为；同时提出了程序执行的同构概念，并证明了可行程序执行必与一个实际程序执行同构，从而为并行程序编译和验证提供了理论依据。
|
| 关 键 词： | 指令级并行性 超长指令字 程序执行 可行程序执行 程序执行的同构 |
| 修稿时间： | 1998年5月11日 |
THE MODEL OF INSTRUCTION-LEVEL PARALLEL PROGRAM EXECUTION |
| |
| QIAO Lin,TANG Zhi-zhong,RONG Hong-bo,ZHANG Chi-hong.THE MODEL OF INSTRUCTION-LEVEL PARALLEL PROGRAM EXECUTION[J].Chinese Journal of Computers,1999,22(5):476-480. |
| |
| Authors: | QIAO Lin TANG Zhi-zhong RONG Hong-bo ZHANG Chi-hong |
| |
| Abstract: | This paper presents a formal instruction level parallel program execution model, ILPPEM. ILPPEM can describe not only behaviors of actual program executions, but also behaviors of feasible program executions resulted from compiling or nondeterministic timing variations during run time. This paper introduces a new concept, isomorphism of program executions, and proves that a feasible program execution is isomorphic with an actual program execution, which provides theoretical foundations for compiling and verifying parallel programs. |
| |
| Keywords: | Instruction level parallelism very long instruction word program execution feasible program execution isomorphism of program executions |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
