《数据相关性理论及其在并行处理中的应用》求取 ⇩

目 录1

序言1

第一章硬件并行设施1

1.1计算机并行性的发展1

1.1.1流水线方式2

1.1.2多功能部件和多机方式3

1.1.3阵列方式3

1.1.4数据流方式6

1.1.5网络分布式7

1.2巨型计算机8

1.3向量计算机14

1.4小微巨型机19

1.5向量指令系统23

1.6向量汇编语言25

1.7紧耦合多机系统26

1.8松耦合多机系统28

第二章语言并行机制34

2.1 VFORTRAN语言34

2.2三元挑选符与下标对应规则36

2.3 向量函数37

2.4 向量过程40

2.5流水线处理41

2.6 向量链接44

2.7 向量屏蔽47

2.7.1屏蔽的作用47

2.7.2屏蔽硬件48

2.7.3低级语言中的屏蔽机制49

2.7.4条件向量赋值语句52

2.8数组运算54

2.8.1无条件数组运算举例54

2.8.2数组的逻辑片断55

2.8.3条件数组运算举例56

2.8.4压缩与还原57

2.9 PFORTRAN语言58

2.10 HPF 语言61

2.11 BXC语言63

2.12时序算子66

2.13控制结构69

第三章显数据相关性的三种视图71

3.1并行处理的三种粒度71

3.2相关依赖等价条件下的并行处理73

3.3单层赋值循环的适应性77

3.4临时变量与归纳变量78

3.5三种赋值与限制条件80

3.6繁衍层次83

3.7结合链与同体链86

3.8元素间的优先关系87

3.9数据相关与输入相关90

第四章语句视图与依赖片断94

4.1语句间的相关依赖94

4.2语句图与并行性判别97

6.11 强化定理 199

4.3解析判别法与非整除规则99

4.4变序点102

4.5 A0型循环的层次片断106

4.6计算实例108

4.7 A1型和A型循环的层次片断111

4.8循环体的最简形式114

4.9同态定理116

4.10指令级的并行性119

4.11加权汇编语句图122

5.1.1研究对象125

5.1坐标方法125

第五章变量视图125

5.1.2平面上的次序与增量127

5.1.3增量集合的计算129

5.1.4退化映射131

5.1.5传递闭包134

5.2超平面方法136

5.2.1坐标变换137

5.2.2可供延伸的并行性138

5.2.3典型例题分析141

5.2.4倾斜分划算法142

5.3.1相关点对的依赖关系145

5.3相关分析方法145

5.3.2相关点对举例146

5.3.3数组出现对的相关性147

5.3.4相关依赖的数学推导149

5.3.5算法步骤150

5.4图论方法153

5.4.1数论求解丢番图方程153

5.4.2例题155

5.4.3回路的图论判定158

5.5.1超限规则160

5.5推广的解析判别法160

5.5.2跳跃规则161

5.5.3综合举例163

5.6拓扑排序165

5.7临时数组与暂存语句167

5.7.1逆序的成因168

5.7.2传统的添加办法169

5.7.3元素观点带来的进步170

5.8改写算法172

6.1 以元素为结点的困难和片断的概念180

第六章元素视图180

6.2有待跨越的“鸿沟”181

6.3等价变换183

6.4标准形与判别准则184

6.5等价类与R-P逆对所引起的暂存187

6.6时序层次等价类的数学抽象189

6.7结点的数学抽象191

6.8循环间包含关系的直观含义192

6.9生存带的胀缩194

6.10包含关系的数学表示196

6.12偏序结构201

6.13 比较判别法及其在循环体上的应用204

6.14 比较判别法在取值点集合上的应用209

6.15离散层次及其应用211

6.16离散性的应用（续）215

第七章控制依赖向数据依赖的转换222

7.1 不定因素与参数集222

7.2I0型循环及其闭体224

7.3I0型循环的并行处理228

7.4关于I0型循环并行的充要条件231

7.5识别改写优化链232

7.6I1型循环及其闭体239

7.7三岔控制转移的完备形式及其〈t1,t2,m,t3,n〉型组合方式241

7.8 〈t1,t2,t3,m,n〉型组合方式245

7.9〈t1,t2,t3,n,m〉型组合方式247

7.10条件判别的离散性应用250

第八章多岔控制转移的结构化重构255

8.1 简单多岔控制转移255

8.2简单多岔控制转移的并行处理257

8.3多岔控制转移的完备形式260

8.4双阶律262

8.5 完备形式多岔控制转移的结构化变换264

8.6 GN型计算实例267

8.7结构化的多岔控制转移272

8.8 GNS型计算实例274

第九章分部并行与循环分布278

9.1从并行的本质把握分部并行278

9.2分部并行的两种手段280

9.3循环分布与局部并行282

9.4从元素视图考察循环分布285

9.5语句团287

9.6语句团顺序290

9.7语句团的复杂组合293

9.8孤立非线性下标“奇异”团297

9.9 向控制结构的分布300

9.10向句内成分的分布305

9.11其他“奇异”现象举例310

第十章变序点分割316

10.1先分布后分割316

10.2变序点概念的精确描述322

1 0.3第一类实变序点325

10.4第二类实变序点327

10.5第三类实变序点330

10.6变序点的重叠334

10.7变序点的组合339

10.8变序点的萎缩349

10.9控制结构的变序点分割352

10.10综合实例357

第十一章递归分割与并行划分364

11.1 递归关系及其对并行性的否定364

11.2循环中递归的成因366

11.3递归的分割369

11.4等长递归分割算法373

11.5变长的递归分割378

11.6完善的关键边组析取算法382

11.7全程递归分割算法385

11.8片断分割与稳态目标搜索算法389

11.9片断递归分割算法392

11.10片断递归分割举例395

11.11控制结构的递归分割400

11.12并行划分中的次序与迭代视图409

11.13迭代结点与并行划分举例411

参考文献414