不規(guī)則問題自動并行化技術(shù)研究.pdf

1、該文首先在前人工作的基礎(chǔ)上,對循環(huán)并行和程序變換,尤其是數(shù)組私有化作出嚴(yán)格的形式化定義,使其涵概各種迭代間數(shù)據(jù)相關(guān)類型,同時排除與循環(huán)直接并行化重復(fù)的冗余情形.和LRPD、SPNT和EPLD中的并行性判據(jù)相比,該文給出的定義比較直觀,而且準(zhǔn)確性更高、適用范圍更廣,從而為動態(tài)測試的優(yōu)化實現(xiàn)奠定了基礎(chǔ).其次,該文在規(guī)范化公式指導(dǎo)下,簡化傳統(tǒng)動態(tài)測試的數(shù)據(jù)結(jié)構(gòu)和實現(xiàn)算法,擴(kuò)充它的識別功能,充分利用數(shù)組私有化技術(shù)發(fā)掘程序中潛在的并行性.我們把這

2、種新的動態(tài)測試簡稱為增強(qiáng)的運行時循環(huán)并行化技術(shù)ERLP(enhanced run-time loop parallelization).該文為此采用了一系列手段,如串/并協(xié)同、分段優(yōu)化、相鄰數(shù)組段合并以及測試結(jié)論重用等技術(shù)提高ERLP的實用性.此外,還實現(xiàn)了內(nèi)層循環(huán)訪存信息的向外傳播和動態(tài)測試代碼自身的并行化工作.該文針對間接數(shù)組訪問的情形,采用過程間數(shù)組數(shù)據(jù)流分析技術(shù),通過從數(shù)組引用點反向查詢中間數(shù)組的特征獲取相關(guān)性信息;同時利用寫集