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