文摘
英文文摘
第一章绪论
1.1.引言
1.2.前期研究工作
1.2.1顺序程序的开发方法研究
1.2.2软件重用的研究
1.3.并行程序开发方法研究概述
1.3.1面向问题的并行程序开发
1.3.2面向算法的并行程序开发
1.3.3面向语言的并行程序开发
1.3.4三类研究的比较
1.4.与本文相关的研究领域
1.4.1顺序程序的自动并行化
1.4.2并行程序开发模型
1.4.3并行领域中的设计模式
1.4.4软件重用
1.4.5并行算法设计
1.4.6形式化的软件开发方法
1.5其他方法和模型
1.6本文的结构
第二章基于设计模式的并行程序开发模型DPaPD概述
2.1引言
2.2程序开发的三级结构
2.2.1规范级
2.2.2设计级
2.2.3实现级
2.2.4三级结构的优点
2.3 DPaPD模型
2.3.1 PaZ语言
2.3.2 Arb模型
2.3.3并行程序
2.3.4从功能规范到并行设计
2.3.5从PaZ到arb程序
2.3.6从arb程序到并行程序
2.4小结
第三章PaZ语言
3.1 Z语言的基本结构
3.1.1基本类型定义
3.1.2公理描述
3.1.3约束
3.1.4模式定义
3.1.5全局常量定义
3.1.6类属式定义
3.1.7自由类型定义
3.2 Z的基本数学库
3.3 PaZ语言的语法
3.4 PaZ语言扩充运算符的语义定义
3.4.1函数并行兼容运算符
3.4.2函数并行组合运算符
3.4.3模式的并行兼容运算符
3.4.4模式的并行组合运算符
3.4.5并行函数作用符
第四章设计模式
4.1设计模式的概念
4.1.1设计模式的思想
4.1.2 Alexander的设计模式概念
4.1.3 Gamma的设计模式概念
4.1.4我们的设计模式概念
4.2设计模式的有关问题
4.2.1设计模式的描述
4.2.2设计模式的分类
4.2.3设计模式的选择
4.2.4设计模式的使用
4.3 DPaPD系统中的设计模式实例
4.3.1并行分而治之
4.3.2单步分而治之
4.3.3并行分枝限界设计模式
4.3.4设计模式的使用实例
4.4小结
第五章PaZ到arb程序的精化
5.1基本类型定义
5.2数据结构
5.2.1集合
5.2.2序列
5.2.3关系
5.2.4函数
5.3状态模式
5.4运算的精化
5.4.1一般表达式
5.4.2集合运算
5.4.3函数作用
5.4.4赋值
5.4.5合取运算
5.4.6析取运算
5.4.7新变量的引入
5.4.8量词
5.5操作模式
5.6公理描述
5.7模式表达式
5.8程序的结构
5.9一个例子
第六章DPaPD模型下并行程序开发的完整实例
6.1 DPaPD模型下并行程序开发过程
6.2傅立叶变换
6.2.1 DFT问题的规范描述
6.2.2 FFT并行设计
6.2.3设计的验证
6.2.4 arb程序的产生
6.2.5并行程序
6.3快速排序
6.3.1排序问题的规范描述
6.3.2快速排序的并行设计
6.3.3设计的验证
6.3.4 arb程序的产生
6.3.5并行程序
6.4 0-1背包问题
6.4.1背包问题的规范描述
6.4.2背包问题的并行求解
6.4.3设计的验证
6.4.4 arb程序的产生
6.4.5并行程序
6.5小结
第七章DPaPD系统的实现
7.1DPaPD系统实现的总体目标
7.2系统的基本结构
7.3系统运行平台
7.4系统的实现技术
7.4.1系统实现的主要功能
7.4.2主要实现技术
7.4.3系统实现的主要特点
7.5运行实例及结果
7.6存在的问题和系统的局限
第八章结束语
8.1本文工作总结
8.2进一步的工作展望
附录PaZ语言的语法
参考文献
致谢
攻读博士期间的研究工作