向量化理论PDF电子书下载

第一章 引论 1

巨型计算机的兴起 1

巨型计算机与向量计算机 3

向量计算机的向量机制 5

在程序设计语言中的体现 6

向计算机科学理论提出的新课题 7

向量化理论的基本内容 9

显数据依赖关系识别能力概览 10

向量化理论的用途 14

第二章 向量高级语言VFORTRAN 17

简单数组对象 17

数组表达式 19

数组赋值 21

标量扩张与置界语句 23

数组片断 26

含有数组片断的数组表达式 29

条件数组赋值 32

数组用作过程参数与数组结构询问函数 35

第三章 下标追踪法的基本理论 39

可向量化的精确描述 39

限制条件 41

时序层次 44

年长顺序定理 47

可向量化判别准则 51

第四章 下标追踪法的工程化 56

循环体的最简形式 56

层次片断定理 59

计算实例 62

A1型赋值语句循环 67

A型赋值语句循环 71

一般的赋值语句循环 75

实现算法 80

第五章 强化定理 88

数据依赖关系的不确定因素 88

时序层次的抽象表示 91

不确定性引起的数据依赖关系的变化 94

循环中的偏序 99

强化定理 103

在赋值语句循环中的应用 106

在赋值语句循环中的应用（续） 111

第六章 IF语句的向量化 116

I0型循环 116

闭合定理和判别定理 120

再识别技术 125

再改写技术 137

向量化目标程序的优化 145

I1型循环 152

第七章 三叉控制转移的程序变换 159

三叉控制转移的表达形式 159

程序变换应满足的集合方程 162

〈t1，t2，m，t3，n〉型组合方式的嵌入载体 165

〈t1，t2，t3，m，n〉型组合方式的嵌入载体 170

〈t1，t2，t3，n，m〉型组合方式的嵌入载体 175

程序变换目标程序的优化 180

退化情形 190

G型循环 194

实现算法 202

一个综合性实例 213

第八章 离散层次 217

离散层次的概念 217

具有离散层次的A型循环的可向量化性质 222

向I0型循环的拓广 223

时序层次离散性的判别方法 226

一个简单的具有离散层次的循环类 232

下标表达式单调变化的循环类 235

反原形与拟离散性 241

第九章 简洁循环与冗余循环 249

简洁循环与冗余循环的概念 249

A型简洁循环与A型冗余循环 251

同态定理 253

向I0型循环的拓广 258

向I1型和G型循环的拓广 263

第十章 向多重循环的拓广 265

多重循环的最内层循环 265

多重A型循环 268

多重层次片断定理 272

多重I0型循环 275

多重I1型和G型循环 282

多重循环的数组化 285

参考文献 290