ITR: Collaborative Research--Ascertaining Runtime Branch Characteristics through Algebraic Analysis of Programs

本研究的目标是在编译器和硬件中降低成本并提高基于观察的分支表征机制的性能。通常，在执行过程中花费大量时间发现的相关性可以在编译时以简单的代数方式确定。程序结构之间的关系可以从这些代数表达式中推断出来，然后通过本研究开发的适当机制传递给编译器优化和硬件。一旦采用，这些关系可以重新集中基于观察的机制所花费的精力，或者可以完全消除对它们的需求。

The goal of this research is to reduce the cost and improve theperformance of observation-based branch characterization mechanisms inthe compiler and hardware. Often, correlation discovered at great costor missed entirely through execution can be determined in a simplealgebraic fashion at compile time. Relationships between programstructures can be inferred from these algebraic expressions andsubsequently conveyed to compiler optimizations and to the hardwarethrough appropriate mechanisms to be developed by this research. Onceemployed, these relationships can refocus the efforts expended byobservation-based mechanisms, or can eliminate the need for themaltogether.