程序優(yōu)化與程序變換方法的研究.pdf

1、程序優(yōu)化與變換是編譯器領域一個熱門的研究問題。本文分別在源代碼層次、編譯器的抽象語法樹層次和編譯器的中間表示層次進行研究，為程序優(yōu)化與變換提供工具和支撐。本文在這三個層次分別提出了:一個C到C/CUDA的程序變換工具DPOET;一個結構體數組分拆工具structTrans;一個針對于堆內存對象的結構分析算法。它們分別能:對程序進行并行化;提高程序的數據局部性;為程序存儲優(yōu)化提供支撐。
　　1、實現一種C到CUDA的程序變換工具

2、r>　　程序并行化是程序優(yōu)化中提高性能的一個重要途徑，本文基于程序變換工具POET實現一個腳本驅動的、C程序到C/CUDA程序的變換工具DPOET。使用DPOET對程序進行變換時，用戶只需要在DPOET的腳本中貼出模板代碼以及其參數化和目的代碼。DPOET就可以自動為用戶生產POET腳本，調用POET對待變換的程序進行解析，識別出其中可以變換的代碼片段，進行變換。使用DPOET進行C到C/CUDA的程序變換非常簡單。
　　2、實現

3、結構體數組分拆的工具
　　程序中結構體（特別是結構體數組）的大量使用會降低數據局部性，影響程序的性能。為了提高程序的數據局部性，本文基于編譯器LLVM的抽象語法樹Clang AST實現了一個結構體數組分拆工具，它能夠在保持程序語義不變的情況下，把結構體數組按域進行分拆，分拆成其各個域的數組。
　　3、提出針對堆內存對象的結構分析算法
　　如果對多個堆內存對象進行分離進行存儲優(yōu)化，需要獲取它們的結構信息從而判斷它們是否相