《向量化理论》

第一章引论1

巨型计算机的兴起1

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

向量计算机的向量机制5

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

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

向量化理论的基本内容9

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

向量化理论的用途14

第二章向量高级语言VFORTRAN17

简单数组对象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