數(shù)據(jù)相關(guān)性理論及其在并行處理中的應(yīng)用

序言
第一章  硬件并行設(shè)施
1.1  計(jì)算機(jī)并行性的發(fā)展
1.1.1  流水線方式
1.1.2  多功能部件和多機(jī)方式
1.1.3  陣列方式
1.1.4  數(shù)據(jù)流方式
1.1.5  網(wǎng)絡(luò)分布式
1.2  巨型計(jì)算機(jī)
1.3  向量計(jì)算機(jī)
1.4  小微巨型機(jī)
1.5  微量指令系統(tǒng)
1.6  向量匯編語(yǔ)言
1.7  緊耦合多機(jī)系統(tǒng)
1.8  樺耦合多機(jī)系統(tǒng)
第二章  語(yǔ)言并行機(jī)制
2.1  VFORTRAN語(yǔ)言
2.2  三元挑選符與下標(biāo)對(duì)應(yīng)規(guī)則
2.3  向量函數(shù)
2.4  向量過(guò)程
2.5  流水線處理
2.6 向量鏈接
2.7 向量屏蔽
2.7.1  屏蔽的作用
2.7.2  屏蔽硬件
2.7.3  低級(jí)語(yǔ)言賦值語(yǔ)句
2.8  數(shù)組運(yùn)算
2.8.1  無(wú)條件數(shù)組運(yùn)算舉例
2.8.2  數(shù)組的邏輯片段
2.8.3  條件數(shù)組運(yùn)算舉例
2.8.4  壓縮與還原
2.9  PFORTRAN語(yǔ)言
2.10  HPE語(yǔ)言
2.11  BXC語(yǔ)言
2.12  時(shí)序算子
2.13  控制結(jié)構(gòu)
第三章 顯數(shù)據(jù)相關(guān)性的三種視圖
3.1  并行處理的三種粒度
3.2  相關(guān)依賴等價(jià)條件下的并行處理
3.3  單層賦值循環(huán)的適應(yīng)性
3.4  臨時(shí)變量與歸納變量
3.5  三種賦值與限制條件
3.6  繁衍層次
3.7  結(jié)合鏈與同體鏈
3.8  元素間的優(yōu)先關(guān)系
3.9  數(shù)據(jù)相關(guān)與輸入相關(guān)
第四章  語(yǔ)句視圖與依賴片斷
4.1  語(yǔ)句間的相關(guān)依賴
4.2  語(yǔ)句圖與并行性判別
4.3  解析判別法與非整除規(guī)則
4.4  變序點(diǎn)
4.5  A0型循環(huán)的層次片斷
4.6  計(jì)算實(shí)例
4.7  A1型和A型循環(huán)的層次片斷
4.8  循環(huán)體的最簡(jiǎn)形式
4.9  同態(tài)定理
4.10  指令級(jí)的并行性
4.11  加權(quán)匯編語(yǔ)句圖
第五章  變量視圖
5.1  坐標(biāo)方法
5.1.1  研究對(duì)象
5.1.2  平面上的次次序與增量
5.1.3  增量集合的計(jì)算
5.1.4  退化映射
5.1.5  傳遞閉包
5.2  超平面方法
5.2.1  坐標(biāo)變換
5.2.2  可供延伸的并行性
5.2.3  典型例題分析
5.2.4  傾斜分劃算法
5.3  相關(guān)分析方法
5.3.1  相關(guān)點(diǎn)對(duì)的依賴關(guān)系
5.3.2  相關(guān)點(diǎn)對(duì)舉例
5.3.3  數(shù)組出現(xiàn)對(duì)的相關(guān)性
5.3.4  相關(guān)依賴的數(shù)學(xué)推導(dǎo)
5.3.5  算法步驟
5.4  圖論方法
5.4.1  數(shù)信紙求解丟番圖方程
5.4.2  例題
5.4.3  回路的圖論判定
5.5  推廣的解析判別法
5.5.1  超限規(guī)則
5.5.2  跳躍規(guī)則
5.5.3  綜合舉例
5.6  拓?fù)渑判?br />5.7  臨時(shí)數(shù)組與暫存語(yǔ)句
5.7.1  逆序的成因
5.7.2  傳統(tǒng)的添加辦法
5.7.3  元素觀點(diǎn)帶來(lái)的進(jìn)步
5.8  改寫(xiě)算法
第六章 元素視圖
6.1  以元素為結(jié)點(diǎn)的困難和片斷的概念
6.2  有特跨越的“鴻溝”
6.3  等價(jià)變換
6.4  標(biāo)準(zhǔn)形與判別準(zhǔn)則
6.5  等價(jià)類與R-P逆對(duì)所引起的暫存
6.6  時(shí)序?qū)哟蔚葍r(jià)類數(shù)學(xué)抽象
6.7  結(jié)點(diǎn)的數(shù)學(xué)抽象
6.8  循環(huán)間包含關(guān)系的直觀含義
6.9  生存帶的脹縮
6.10  包含關(guān)系的數(shù)學(xué)表示
6.11  強(qiáng)化定理
6.12  偏序結(jié)構(gòu)
6.13  比較判別法及其在循環(huán)體上的應(yīng)用
6.14  比較判別法在取值點(diǎn)集合上的應(yīng)用
6.15  離散層次及其應(yīng)用
6.16  離散性的應(yīng)用（續(xù)）
第七章  控制依賴向數(shù)據(jù)依賴的轉(zhuǎn)換
7.1  不定因素與參數(shù)集
7.2  10型循環(huán)及其閉體
7.3  10型循環(huán)的并行處理
7.4  關(guān)于10型循環(huán)并行的充要條件
7.5  識(shí)別改寫(xiě)優(yōu)化鏈
7.6  I1型循環(huán)及其閉體
7.7  三岔控制轉(zhuǎn)移的完備形式及其(t1,t2,m,t3,n)型組合方式
7.8  <t1,t2,t3,m,n>型組合方式
7.9  <t1,t2,t3,n,m>型組合方式
7.10  條件判別的離散性應(yīng)用
第八章  多岔控制轉(zhuǎn)移的結(jié)構(gòu)化重構(gòu)
8.1  簡(jiǎn)單多岔控制轉(zhuǎn)移
8.2  簡(jiǎn)單多岔控制轉(zhuǎn)移的并行處理
8.3  多岔控制轉(zhuǎn)移的完備形式
8.4  雙階律
8.5  完備形式多岔控制轉(zhuǎn)移的結(jié)構(gòu)化變換
8.6  GN型計(jì)算實(shí)例
8.7  結(jié)構(gòu)化的多岔控制轉(zhuǎn)移
8.8  GNS型計(jì)算實(shí)例
第九章  分部并行與循環(huán)分布
9.1  從并行的本質(zhì)把握分部并行
9.2  分部并行的兩種手段
9.3  循環(huán)分布與局部并行
9.4  從元素視圖考察循環(huán)分布
9.5  語(yǔ)句團(tuán)
9.6  語(yǔ)句團(tuán)順序
9.7  語(yǔ)句團(tuán)的復(fù)雜組合
9.8  孤立非線性下標(biāo)“奇”團(tuán)
9.9  向控制結(jié)構(gòu)的分布
9.10  向句內(nèi)成分的分布
9.11  其他“奇”現(xiàn)象舉例
第十章  變序點(diǎn)分割
10.1  先分布后分割
10.2  變序點(diǎn)概念的精確描述
10.3  第一類實(shí)變序點(diǎn)
10.4  第二類實(shí)變序點(diǎn)
10.5  第三類實(shí)變序點(diǎn)
10.6  變序點(diǎn)的重疊
10.7  變序點(diǎn)的組合
10.8  變序點(diǎn)的萎縮
10.9  控制結(jié)構(gòu)的變序點(diǎn)分割
10.10  綜合實(shí)例
第十一章  遞歸分割與并行劃分
11.1  遞歸關(guān)系及其對(duì)并行性的否定
11.2  循環(huán)中遞歸的成因
11.3  遞歸的分割
11.4  等長(zhǎng)遞歸分割算法
11.5  變長(zhǎng)的遞歸分割
11.6  完善的關(guān)鍵邊組析取算法
11.7  全程遞歸分割算法
11.8  片斷分割與穩(wěn)態(tài)目標(biāo)搜索算法
11.9  片斷遞歸分割算法
11.10  片斷遞歸分割舉例
11.11  控制結(jié)構(gòu)的遞歸分割
11.12  并行劃分中的次序與迭代視圖
11.13  迭代結(jié)點(diǎn)與并行劃分舉例
參考文獻(xiàn)