《计算机学报》文章摘要 全文下载 | |
文章题目 | 指令级并行程序执行模型 |
作者 | 乔 林 汤志忠 容红波 张赤红 |
作者单位 | (清华大学计算机科学与技术系 北京 100084) |
发表年份 | 1999 |
发表月份 | 5期 (页码:476—480) |
文章摘要 | 提出了一种形式化的指令级并行程序执行模型(Instruction-Level Parallel Program Execution Model, ILPPEM).ILPPEM不仅可以描述程序实际执行过程的行为,也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为;同时提出了程序执行的同构 概念,并证明了可行程序执行必与一个实际程序执行同构,从而为并行程序编译和验证提供了理论依据. 关键词 指令级并行性,超长指令字,程序执行,可行程序执行,程序执行的同构. |