论文部分内容阅读
投机机制通过改善内存操作的效能而提高程序执行性能，但是它需要大量复杂的代码处理投机失败及恢复，增加了程序的理解和代码重建工作的复杂性。文章提出了投机代码消除技术，描述了如何应用该技术消除优化后的IA-64二进制代码中的投机指令，并证明了程序的语义不变，最终使得投机消除后的代码更容易理解，提高了对IA-64代码进行再工程的效率和代码质量。