小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2010年
11期
2138-2144
,共7页
黄锃%杨克峤%周曦%杨珉
黃锃%楊剋嶠%週晞%楊珉
황정%양극교%주희%양민
Java%数组越界检查消除%静态编译器%优化%性能
Java%數組越界檢查消除%靜態編譯器%優化%性能
Java%수조월계검사소제%정태편역기%우화%성능
作为一个类型安全的程序语言,Java要求对每次数组访问提供越界检查.这些检查指令减慢了Java程序的运行速度.算法ABCE维护着一张不等式图,并在图中不断更新记录变量的取值信息,然后根据这些信息识另q出那些冗余的数组边界检查,最后删除它们,从而达到提高程序性能的目的.科学计算类测试集SciMark2.0的测试表明ABCE算法平均删除了76%的越界检查指令,其中LU子程序,该算法的加速近似达到理论最大值.
作為一箇類型安全的程序語言,Java要求對每次數組訪問提供越界檢查.這些檢查指令減慢瞭Java程序的運行速度.算法ABCE維護著一張不等式圖,併在圖中不斷更新記錄變量的取值信息,然後根據這些信息識另q齣那些冗餘的數組邊界檢查,最後刪除它們,從而達到提高程序性能的目的.科學計算類測試集SciMark2.0的測試錶明ABCE算法平均刪除瞭76%的越界檢查指令,其中LU子程序,該算法的加速近似達到理論最大值.
작위일개류형안전적정서어언,Java요구대매차수조방문제공월계검사.저사검사지령감만료Java정서적운행속도.산법ABCE유호착일장불등식도,병재도중불단경신기록변량적취치신식,연후근거저사신식식령q출나사용여적수조변계검사,최후산제타문,종이체도제고정서성능적목적.과학계산류측시집SciMark2.0적측시표명ABCE산법평균산제료76%적월계검사지령,기중LU자정서,해산법적가속근사체도이론최대치.
