寄存器分配,
是通过将程序变量尽可能地分配到寄存器,从而提高程序
执行速度的一种方法。寄存器是编译器优化中最为重要的问题之一
(好
的寄存器分配能够提高程序执行速度超过
250%
);也是编译器理论中
最热点的研究领域之一(研究界已经提出来大量寄存器分配相关的算
法)。
1.
图着色
(graph coloring)
方法是解决寄存器分配问题最常用的
方法。
利用相交图(
interference
graph
)来表示程序变量的生命期
是否相交,将寄存器分配给变量的问题,
可以近似地看成是给相交图着
色:相交图中,相交的节点不能着同一颜色;每一种颜色对应一个寄存
器。
Chaitin
等人最早提出了基于图着色的寄存器分配方法其着色思
路采用了
Kempe
的着色方法,即,任意一个邻居节点数目少于
k
的节
点,都能够被
k
着色。判断一个图是否能够被
k(k>=3)
种颜色着色,
即
k
着色问题,被
Karp
证明是一个
NP-complete
问题。
但是,寄存器分配不仅仅是图着色的问题。当寄存器数目不足以
分配某些变量时,
就必须将这些变量溢出到内存中,
该过程成为
spill
。
最小化溢出代价的问题,
也是一个
NP-complete
问题。
如果简化该问
题
——
假设所有溢出代价相等,那么最小化溢出代价的问题,等价于
k
着色问题,仍然是
NP-complete
问题。
此外,如果两个变量的生命期仅仅因为出现在同一个拷贝指令中
而相邻,那么,通过将这两个变量分配到同一个寄存器,就可以消除该