书籍详情
数据相关性理论及其在并行处理中的应用
作者：范植华著
出版社：科学出版社
出版时间：1999-01-01
ISBN：9787030070869
定价：¥45.00
内容简介
本书是数据相关理论领域的专著，也是作者科研成果的结晶。全书共11章，内容涉及硬件并行设施、语言并行机制、数据相关视图、语句视图和依赖片段、变量视图、元素视图、控制依赖向数据依赖的转换、多岔控制转移的结构化重构、分部并行与循环分布、变序点分割、递归分割与并行划分等方面。本书可供计算机系统研制人员和计算机技术工作者阅读。
作者简介
暂缺《数据相关性理论及其在并行处理中的应用》作者简介
目录
序言
第一章 硬件并行设施
1.1 计算机并行性的发展
1.1.1 流水线方式
1.1.2 多功能部件和多机方式
1.1.3 阵列方式
1.1.4 数据流方式
1.1.5 网络分布式
1.2 巨型计算机
1.3 向量计算机
1.4 小微巨型机
1.5 微量指令系统
1.6 向量汇编语言
1.7 紧耦合多机系统
1.8 桦耦合多机系统
第二章 语言并行机制
2.1 VFORTRAN语言
2.2 三元挑选符与下标对应规则
2.3 向量函数
2.4 向量过程
2.5 流水线处理
2.6 向量链接
2.7 向量屏蔽
2.7.1 屏蔽的作用
2.7.2 屏蔽硬件
2.7.3 低级语言赋值语句
2.8 数组运算
2.8.1 无条件数组运算举例
2.8.2 数组的逻辑片段
2.8.3 条件数组运算举例
2.8.4 压缩与还原
2.9 PFORTRAN语言
2.10 HPE语言
2.11 BXC语言
2.12 时序算子
2.13 控制结构
第三章 显数据相关性的三种视图
3.1 并行处理的三种粒度
3.2 相关依赖等价条件下的并行处理
3.3 单层赋值循环的适应性
3.4 临时变量与归纳变量
3.5 三种赋值与限制条件
3.6 繁衍层次
3.7 结合链与同体链
3.8 元素间的优先关系
3.9 数据相关与输入相关
第四章 语句视图与依赖片断
4.1 语句间的相关依赖
4.2 语句图与并行性判别
4.3 解析判别法与非整除规则
4.4 变序点
4.5 A0型循环的层次片断
4.6 计算实例
4.7 A1型和A型循环的层次片断
4.8 循环体的最简形式
4.9 同态定理
4.10 指令级的并行性
4.11 加权汇编语句图
第五章 变量视图
5.1 坐标方法
5.1.1 研究对象
5.1.2 平面上的次次序与增量
5.1.3 增量集合的计算
5.1.4 退化映射
5.1.5 传递闭包
5.2 超平面方法
5.2.1 坐标变换
5.2.2 可供延伸的并行性
5.2.3 典型例题分析
5.2.4 倾斜分划算法
5.3 相关分析方法
5.3.1 相关点对的依赖关系
5.3.2 相关点对举例
5.3.3 数组出现对的相关性
5.3.4 相关依赖的数学推导
5.3.5 算法步骤
5.4 图论方法
5.4.1 数信纸求解丢番图方程
5.4.2 例题
5.4.3 回路的图论判定
5.5 推广的解析判别法
5.5.1 超限规则
5.5.2 跳跃规则
5.5.3 综合举例
5.6 拓扑排序
5.7 临时数组与暂存语句
5.7.1 逆序的成因
5.7.2 传统的添加办法
5.7.3 元素观点带来的进步
5.8 改写算法
第六章 元素视图
6.1 以元素为结点的困难和片断的概念
6.2 有特跨越的“鸿沟”
6.3 等价变换
6.4 标准形与判别准则
6.5 等价类与R-P逆对所引起的暂存
6.6 时序层次等价类数学抽象
6.7 结点的数学抽象
6.8 循环间包含关系的直观含义
6.9 生存带的胀缩
6.10 包含关系的数学表示
6.11 强化定理
6.12 偏序结构
6.13 比较判别法及其在循环体上的应用
6.14 比较判别法在取值点集合上的应用
6.15 离散层次及其应用
6.16 离散性的应用（续）
第七章 控制依赖向数据依赖的转换
7.1 不定因素与参数集
7.2 10型循环及其闭体
7.3 10型循环的并行处理
7.4 关于10型循环并行的充要条件
7.5 识别改写优化链
7.6 I1型循环及其闭体
7.7 三岔控制转移的完备形式及其(t1,t2,m,t3,n)型组合方式
7.8 <t1,t2,t3,m,n>型组合方式
7.9 <t1,t2,t3,n,m>型组合方式
7.10 条件判别的离散性应用
第八章 多岔控制转移的结构化重构
8.1 简单多岔控制转移
8.2 简单多岔控制转移的并行处理
8.3 多岔控制转移的完备形式
8.4 双阶律
8.5 完备形式多岔控制转移的结构化变换
8.6 GN型计算实例
8.7 结构化的多岔控制转移
8.8 GNS型计算实例
第九章 分部并行与循环分布
9.1 从并行的本质把握分部并行
9.2 分部并行的两种手段
9.3 循环分布与局部并行
9.4 从元素视图考察循环分布
9.5 语句团
9.6 语句团顺序
9.7 语句团的复杂组合
9.8 孤立非线性下标“奇”团
9.9 向控制结构的分布
9.10 向句内成分的分布
9.11 其他“奇”现象举例
第十章 变序点分割
10.1 先分布后分割
10.2 变序点概念的精确描述
10.3 第一类实变序点
10.4 第二类实变序点
10.5 第三类实变序点
10.6 变序点的重叠
10.7 变序点的组合
10.8 变序点的萎缩
10.9 控制结构的变序点分割
10.10 综合实例
第十一章 递归分割与并行划分
11.1 递归关系及其对并行性的否定
11.2 循环中递归的成因
11.3 递归的分割
11.4 等长递归分割算法
11.5 变长的递归分割
11.6 完善的关键边组析取算法
11.7 全程递归分割算法
11.8 片断分割与稳态目标搜索算法
11.9 片断递归分割算法
11.10 片断递归分割举例
11.11 控制结构的递归分割
11.12 并行划分中的次序与迭代视图
11.13 迭代结点与并行划分举例
参考文献
第一章 硬件并行设施
1.1 计算机并行性的发展
1.1.1 流水线方式
1.1.2 多功能部件和多机方式
1.1.3 阵列方式
1.1.4 数据流方式
1.1.5 网络分布式
1.2 巨型计算机
1.3 向量计算机
1.4 小微巨型机
1.5 微量指令系统
1.6 向量汇编语言
1.7 紧耦合多机系统
1.8 桦耦合多机系统
第二章 语言并行机制
2.1 VFORTRAN语言
2.2 三元挑选符与下标对应规则
2.3 向量函数
2.4 向量过程
2.5 流水线处理
2.6 向量链接
2.7 向量屏蔽
2.7.1 屏蔽的作用
2.7.2 屏蔽硬件
2.7.3 低级语言赋值语句
2.8 数组运算
2.8.1 无条件数组运算举例
2.8.2 数组的逻辑片段
2.8.3 条件数组运算举例
2.8.4 压缩与还原
2.9 PFORTRAN语言
2.10 HPE语言
2.11 BXC语言
2.12 时序算子
2.13 控制结构
第三章 显数据相关性的三种视图
3.1 并行处理的三种粒度
3.2 相关依赖等价条件下的并行处理
3.3 单层赋值循环的适应性
3.4 临时变量与归纳变量
3.5 三种赋值与限制条件
3.6 繁衍层次
3.7 结合链与同体链
3.8 元素间的优先关系
3.9 数据相关与输入相关
第四章 语句视图与依赖片断
4.1 语句间的相关依赖
4.2 语句图与并行性判别
4.3 解析判别法与非整除规则
4.4 变序点
4.5 A0型循环的层次片断
4.6 计算实例
4.7 A1型和A型循环的层次片断
4.8 循环体的最简形式
4.9 同态定理
4.10 指令级的并行性
4.11 加权汇编语句图
第五章 变量视图
5.1 坐标方法
5.1.1 研究对象
5.1.2 平面上的次次序与增量
5.1.3 增量集合的计算
5.1.4 退化映射
5.1.5 传递闭包
5.2 超平面方法
5.2.1 坐标变换
5.2.2 可供延伸的并行性
5.2.3 典型例题分析
5.2.4 倾斜分划算法
5.3 相关分析方法
5.3.1 相关点对的依赖关系
5.3.2 相关点对举例
5.3.3 数组出现对的相关性
5.3.4 相关依赖的数学推导
5.3.5 算法步骤
5.4 图论方法
5.4.1 数信纸求解丢番图方程
5.4.2 例题
5.4.3 回路的图论判定
5.5 推广的解析判别法
5.5.1 超限规则
5.5.2 跳跃规则
5.5.3 综合举例
5.6 拓扑排序
5.7 临时数组与暂存语句
5.7.1 逆序的成因
5.7.2 传统的添加办法
5.7.3 元素观点带来的进步
5.8 改写算法
第六章 元素视图
6.1 以元素为结点的困难和片断的概念
6.2 有特跨越的“鸿沟”
6.3 等价变换
6.4 标准形与判别准则
6.5 等价类与R-P逆对所引起的暂存
6.6 时序层次等价类数学抽象
6.7 结点的数学抽象
6.8 循环间包含关系的直观含义
6.9 生存带的胀缩
6.10 包含关系的数学表示
6.11 强化定理
6.12 偏序结构
6.13 比较判别法及其在循环体上的应用
6.14 比较判别法在取值点集合上的应用
6.15 离散层次及其应用
6.16 离散性的应用（续）
第七章 控制依赖向数据依赖的转换
7.1 不定因素与参数集
7.2 10型循环及其闭体
7.3 10型循环的并行处理
7.4 关于10型循环并行的充要条件
7.5 识别改写优化链
7.6 I1型循环及其闭体
7.7 三岔控制转移的完备形式及其(t1,t2,m,t3,n)型组合方式
7.8 <t1,t2,t3,m,n>型组合方式
7.9 <t1,t2,t3,n,m>型组合方式
7.10 条件判别的离散性应用
第八章 多岔控制转移的结构化重构
8.1 简单多岔控制转移
8.2 简单多岔控制转移的并行处理
8.3 多岔控制转移的完备形式
8.4 双阶律
8.5 完备形式多岔控制转移的结构化变换
8.6 GN型计算实例
8.7 结构化的多岔控制转移
8.8 GNS型计算实例
第九章 分部并行与循环分布
9.1 从并行的本质把握分部并行
9.2 分部并行的两种手段
9.3 循环分布与局部并行
9.4 从元素视图考察循环分布
9.5 语句团
9.6 语句团顺序
9.7 语句团的复杂组合
9.8 孤立非线性下标“奇”团
9.9 向控制结构的分布
9.10 向句内成分的分布
9.11 其他“奇”现象举例
第十章 变序点分割
10.1 先分布后分割
10.2 变序点概念的精确描述
10.3 第一类实变序点
10.4 第二类实变序点
10.5 第三类实变序点
10.6 变序点的重叠
10.7 变序点的组合
10.8 变序点的萎缩
10.9 控制结构的变序点分割
10.10 综合实例
第十一章 递归分割与并行划分
11.1 递归关系及其对并行性的否定
11.2 循环中递归的成因
11.3 递归的分割
11.4 等长递归分割算法
11.5 变长的递归分割
11.6 完善的关键边组析取算法
11.7 全程递归分割算法
11.8 片断分割与稳态目标搜索算法
11.9 片断递归分割算法
11.10 片断递归分割举例
11.11 控制结构的递归分割
11.12 并行划分中的次序与迭代视图
11.13 迭代结点与并行划分举例
参考文献
猜您喜欢
