本文關鍵詞：基于數(shù)組私有化的規(guī)約識別方法研究與設計，由筆耕文化傳播整理發(fā)布。

【摘要】：串行程序并行化的目標是將串行程序轉換為等價的可以在并行環(huán)境下執(zhí)行的程序。等價的含義是指串行程序與轉換后并行程序的執(zhí)行結果完全相同。在整個轉換過程中,識別出更多的可以并行執(zhí)行的部分是提升轉后并行程序在并行環(huán)境下執(zhí)行效果的關鍵,而對于循環(huán)的并行識別尤為重要。將不能并行的循環(huán)轉換可并行的循環(huán)的技術一般稱為循環(huán)并行化技術。數(shù)組私有化是當前重要的并行化技術,該技術發(fā)展的較為成熟。而通過規(guī)約操作使循環(huán)并行化的技術還有較大的發(fā)展?jié)摿�。本文在�?shù)組私有化的研究成果基礎上,結合規(guī)約操作過程的特點,對數(shù)據(jù)處理的規(guī)約操作的各個要素進行了分析,總結出了可規(guī)約運算、可規(guī)約變量的概念,分析證明了其性質并且證明了其判斷準則。然后基于這些結論,設計了適用于不同情境的規(guī)約識別算法。本文的主要工作如下：首先,通過對數(shù)組私有化理論的研究與學習以及對規(guī)約操作過程的分析,提出了可規(guī)約運算以及可規(guī)約變量的概念,對其性質進行了分析,提出并證明了可規(guī)約運算以及可規(guī)約變量的判斷準則；其次,以可規(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ù)組私有化及規(guī)約識別統(tǒng)一算法的正確性,并將其與現(xiàn)有算法進行對比,說明了這些算法能識別出更多類型的存在規(guī)約變量的循環(huán),本文中的算法優(yōu)于現(xiàn)有算法。
【關鍵詞】：并行計算 串行程序并行化 循環(huán)并行識別 規(guī)約識別
【學位授予單位】：東北大學
【學位級別】：碩士
【學位授予年份】：2014
【分類號】：TP338.6
【目錄】：

• 摘要5-6
• Abstract6-10
• 第1章 緒論10-14
• 1.1 研究背景和意義10-11
• 1.2 當前國內(nèi)外研究現(xiàn)狀11-12
• 1.3 本文主要內(nèi)容12-13
• 1.4 本文組織結構13-14
• 第2章 相關研究介紹14-28
• 2.1 依賴關系14-16
• 2.1.1 控制依賴概念14
• 2.1.2 數(shù)據(jù)依賴概念14-16
• 2.2 數(shù)組私有化16-23
• 2.2.1 數(shù)組私有化概念17-19
• 2.2.2 基于定義點的數(shù)組私有化判定準則19-20
• 2.2.3 數(shù)據(jù)相關數(shù)組私有化方法20-21
• 2.2.4 數(shù)據(jù)流依賴分析方法21
• 2.2.5 相關-覆蓋方法21-23
• 2.3 當前規(guī)約識別研究現(xiàn)狀23-24
• 2.4 全部私有化以及選擇私有化操作介紹24-26
• 2.4.1 全部私有化(Array Privatization)24-25
• 2.4.2 選擇私有化(Selective Privatization)25-26
• 2.5 本章小結26-28
• 第3章 可規(guī)約變量識別研究28-46
• 3.1 循環(huán)可并行準則研究28-30
• 3.2 可歸約準則30-43
• 3.2.1 可歸約運算分析32-36
• 3.2.2 對于可規(guī)約運算的識別的討論36-38
• 3.2.3 可歸約變量分析38-40
• 3.2.4 初值復制40-43
• 3.3 基于規(guī)約以及數(shù)組私有化的循環(huán)并行化準則43-44
• 3.4 本章小結44-46
• 第4章 相關算法設計46-58
• 4.1 規(guī)約識別算法設計46-54
• 4.1.1 局部規(guī)約變量的判斷算法46-49
• 4.1.2 已獲得循環(huán)迭代可歸約變量信息的循環(huán)規(guī)約判斷算法設計49-53
• 4.1.3 靜態(tài)循環(huán)規(guī)約識別算法設計53-54
• 4.2 基于相關-覆蓋的包含規(guī)約識別、數(shù)組私有化識別的循環(huán)并行識別算法54-56
• 4.3 本章小結56-58
• 第5章 實驗58-62
• 5.1 實驗設計58
• 5.2 局部規(guī)約判斷正確性判斷以及與其它方法對比58-60
• 5.3 已知各迭代歸約信息的循環(huán)規(guī)判斷算法正確性檢測60-61
• 5.4 靜態(tài)識別算法、基于相關-覆蓋的數(shù)組私有化及規(guī)約統(tǒng)一識別算法的正確性分析正確性判斷以及與Cetus原方法對比61
• 5.5 本章小結61-62
• 第6章 總結與展望62-64
• 參考文獻64-68
• 致謝68

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 江文毅,龐麗萍,高蘭,韓宗芬;串行程序的并行劃分算法研究[J];華中科技大學學報;2000年12期

2 蔣作;高毅;;關于串行程序并行化[J];云南民族大學學報(自然科學版);2007年03期

3 羅昕，王慶超，李蓮治;串行程序的并行劃分算法及其正確性證明[J];宇航學報;1994年04期

4 C.V.Ramamoorthy;W.H.Leung;查良鈿;;一個串行程序的并行執(zhí)行方案[J];電子計算機動態(tài);1979年03期

5 吳悅;雷超付;楊洪斌;;選擇性循環(huán)的并行方法[J];計算機工程;2010年09期

6 曾揚;串行程序的依賴關系分析和向量化[J];計算機學報;1993年02期

7 羅昕，于月芬，羅靜敏;串行程序在大粒度級的并行分解及可并行執(zhí)行包的形成[J];小型微型計算機系統(tǒng);1996年08期

8 孫立斌;鄧蓉;陳閎中;;串行程序的任務DAG圖構造算法[J];計算機系統(tǒng)應用;2012年09期

9 王義和,王振宇,郭福順;面向分布式系統(tǒng)的串行程序的并行分解與運行[J];哈爾濱工業(yè)大學學報;1991年03期

10 樂曉波,黃敏;用Petri網(wǎng)分析串行程序的并行性[J];小型微型計算機系統(tǒng);2001年11期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 張曉霞;;SGI對MPI的優(yōu)化與調(diào)整[A];中國工程物理研究院科技年報（2002）[C];2002年

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 林英;多核軟件形式化建模、驗證及性能評價方法研究[D];云南大學;2013年

中國碩士學位論文全文數(shù)據(jù)庫 前9條

1 武慧冬;基于GPU的激光與等離子體互作用PIC/MCC模擬并行研究[D];電子科技大學;2015年

2 張朋;多核平臺下串行程序的并行化改造[D];電子科技大學;2015年

3 陳劍;基于數(shù)組私有化的規(guī)約識別方法研究與設計[D];東北大學;2014年

4 曹婷婷;基于多核處理器串行程序并行化改造和性能優(yōu)化[D];西南交通大學;2009年

5 姚輝萍;串行程序并行化及其在桌面網(wǎng)格中的應用[D];蘇州大學;2010年

6 孫巖;片上多核處理器體系結構下的串行程序加速方法[D];內(nèi)蒙古大學;2011年

7 王磊;基于MPI的串行程序自動并行化的應用研究[D];安徽理工大學;2013年

8 閆玉忠;串行程序并行化技術研究與一種新實現(xiàn)構想[D];西南交通大學;2003年

9 盧風順;海洋資料變分同化系統(tǒng)優(yōu)化及并行實現(xiàn)[D];國防科學技術大學;2007年

  本文關鍵詞：基于數(shù)組私有化的規(guī)約識別方法研究與設計，由筆耕文化傳播整理發(fā)布。

，

本文編號：338188