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

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

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