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

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

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

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