多线程程序的部分冗余消除
Partial Redundancy Elimination for Multi-threaded Programs
摘要：
多线程程序有许多广泛使用的应用，如操作系统。分析多线程程序不同于顺序程序;其主要特征是多个线程同时执行。必须考虑所有其他正在运行的线程的影响。部分冗余消除是最强大的编译器优化之一：它执行循环不变代码运动和公共子表达式消除。我们提出了一个类型系统与优化组件，执行部分冗余消除多线程程序。
英文摘要：
Multi-threaded programs have many applications which are widely used such as operating systems. Analyzing multi-threaded programs differs from sequential ones; the main feature is that many threads execute at the same time. The effect of all other running threads must be taken in account. Partial redundancy elimination is among the most powerful compiler optimizations: it performs loop-invariant code motion and common subexpression elimination. We present a type system with optimization component which performs partial redundancy elimination for multi-threaded programs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
