編譯器後端，暫存器分配演算法
阿新 • • 發佈：2019-01-23
暫存器分配，是通過將程式變數儘可能地分配到暫存器，從而提高程式執行速度的一種方法。暫存器是編譯器優化中最為重要的問題之一（好的暫存器分配能夠提高程式執行速度超過250%）；也是編譯器理論中最熱點的研究領域之一（研究界已經提出來大量暫存器分配相關的演算法）。
1. 圖著色(graph coloring)方法是解決暫存器分配問題最常用的方法。
利用相交圖（interference graph）來表示程式變數的生命期是否相交，將暫存器分配給變數的問題，可以近似地看成是給相交圖著色：相交圖中，相交的節點不能著同一顏色；每一種顏色對應一個暫存器。Chaitin等人最早提出了基於圖著色的暫存器分配方法其著色思路採用了Kempe的著色方法，即，任意一個鄰居節點數目少於k的節點，都能夠被k著色。判斷一個圖是否能夠被k(k>=3)種顏色著色，即k著色問題，被Karp證明是一個NP-complete問題。