数据相关性理论及其在并行处理中的应用PDF电子书下载

目 录 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 强化定理 1 99

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