指令级并行程序执行模型

摘要

提出了一种形式化的指令级并行程序执行模型(Instruction-Level Parallel Program Execution Model,ILPPEM).ILPPEM不仅可以描述程序实际执行过程的行为,也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为;同时提出了程序执行的同构概念,并证明了可行程序执行必与一个实际程序执行同构,从而为并行程序编译和验证提供了理论依据.