【并行程序的设计方法】杨宗源上海科学技术文献.pdf
并行程序的设计方法 李玉茜杨宗源 编著
前言 计算机系统已在科学计算、决策支持活动、金融活动等领域中 得到广泛的应用。反过来,这种应用也促使计算系统,特别是并行 计算机系统的发展。至此,并行软件设计方法的研究已提到议事 日程上来.早在三十年前,为了管理计算机系统的各种资源,提出设计操 作系统的任务,操作系统是典型的在顺序计算机上实现并行计算 的实例,O.A.R.Hoare等著名计算机专家提出进程和进程通讯 等并行程序的基本概念和理论,实现了在顺序计算机上的并行计 算。其次,对于顺序程序,,和大 量的软件支撑工具,环境,使得顺序程序的设计变得方便得多。用 顾序方式设计并行程序,风险小且成本低.
本书从方法学的角度讨论并行程序的设计和构造方 法。本书建立并行计算机系统和并行程序的模型.基于 此模型,建立逻辑系统,用于描述程序的规格说明、程序、的性质和验证其正确性.给出并行,用于描 述实现规格说明的抽象程序.讨论抽象程序到各种体系 结构的映射.以并行系统中的进程互斥、进程通讯、程序 检测、废品收集等为例,说明程序的设计、构造、验证和映 射的方法,最后给出相应的并行程序.本书可作为计算机科学理论、软件专业的大学本科 高年级学生和研究生的教科书和参考书,也可供从事于 计算机科学理论、并行处理和软件研究工作的科技人员 及教师阅读和参考之用: