Java指向分析性能優(yōu)化.pdf

1、基于包含的指向分析由于在分析精度上和時間開銷上具有良好的平衡，得到了最為深入的研究，但是它的時間復雜度為O(n3)，n為指向分析的變量總數(shù)。本文利用投機并行優(yōu)化了約束求解過程，利用基于工作集的等價變量合并策略優(yōu)化了約束簡化過程，在保證分析精度的同時有效地降低了時間開銷。具體來說，論文包含以下內(nèi)容:
　　(1)對約束求解過程實現(xiàn)了并行化。多核的出現(xiàn)為程序分析問題提供了并行化的解決思路，然而指向分析由于約束求解過程存在高度的數(shù)據(jù)依賴性

2、，在并行實現(xiàn)上進展緩慢。本文把基于包含的Java指向分析形式化為圖問題，把約束求解過程轉(zhuǎn)換為圖改寫操作，結(jié)合并行計算中對非規(guī)整程序投機執(zhí)行的思想，利用Galois系統(tǒng)實現(xiàn)了并行化。
　　(2)為約束簡化過程設(shè)計了新的等價變量合并策略。本文對Java指向分析的約束簡化過程進行了細粒度的分析和測試，發(fā)現(xiàn)已有的等價變量合并算法效率低下，用于并行化的指向分析會制約整體性能的提高。因此，針對Copy約束構(gòu)成的強連通分量引起的等價變量，本文設(shè)