基于數(shù)組私有化的規(guī)約識別方法研究與設(shè)計.pdf

1、串行程序并行化的目標是將串行程序轉(zhuǎn)換為等價的可以在并行環(huán)境下執(zhí)行的程序。等價的含義是指串行程序與轉(zhuǎn)換后并行程序的執(zhí)行結(jié)果完全相同。在整個轉(zhuǎn)換過程中，識別出更多的可以并行執(zhí)行的部分是提升轉(zhuǎn)后并行程序在并行環(huán)境下執(zhí)行效果的關(guān)鍵，而對于循環(huán)的并行識別尤為重要。將不能并行的循環(huán)轉(zhuǎn)換可并行的循環(huán)的技術(shù)一般稱為循環(huán)并行化技術(shù)。數(shù)組私有化是當前重要的并行化技術(shù)，該技術(shù)發(fā)展的較為成熟。而通過規(guī)約操作使循環(huán)并行化的技術(shù)還有較大的發(fā)展?jié)摿Α?br>　　本文

2、在數(shù)組私有化的研究成果基礎(chǔ)上，結(jié)合規(guī)約操作過程的特點，對數(shù)據(jù)處理的規(guī)約操作的各個要素進行了分析，總結(jié)出了可規(guī)約運算、可規(guī)約變量的概念，分析證明了其性質(zhì)并且證明了其判斷準則。然后基于這些結(jié)論，設(shè)計了適用于不同情境的規(guī)約識別算法。
　　本文的主要工作如下：
　　首先，通過對數(shù)組私有化理論的研究與學習以及對規(guī)約操作過程的分析，提出了可規(guī)約運算以及可規(guī)約變量的概念，對其性質(zhì)進行了分析，提出并證明了可規(guī)約運算以及可規(guī)約變量的判斷準則;

3、
　　其次，以可規(guī)約變量以及可規(guī)約變量的相關(guān)理論為基礎(chǔ)，基于數(shù)組私有化的相關(guān)成果，設(shè)計了適用于程序段的局部規(guī)約識別算法。并以其為基礎(chǔ)，設(shè)計了對循環(huán)各迭代規(guī)約變量信息進行處理的循環(huán)規(guī)約識別算法?；诋斍暗囊?guī)約識別策略，設(shè)計了計算量較少的靜態(tài)循環(huán)規(guī)約識別算法?；谙嚓P(guān)-覆蓋方法設(shè)計了數(shù)組私有化、規(guī)約識別統(tǒng)一算法。
　　最后，本文通過實驗測試了局部規(guī)約識別算法、循環(huán)規(guī)約識別算法、靜態(tài)規(guī)約識別算法以及基于相關(guān)-覆蓋方法的數(shù)組私有化及