《并行程序设计方法》

第一章什么是并行程序设计1

1.1 从顺序程序设计到并行程序设计1

1.2 并行程序设计概念5

1.3 并行程序的正确性8

1.4 交错概念9

1.5 操作系统与并行程序设计10

1.6 本书概貌11

1.7 本书中程序的表示方法13

1.8 练习16

第二章并行程序设计的基础知识17

2.1进程的定义及特征18

2.1.1 进程的定义18

2.1.2 进程与程序的区别19

2.2 临界段问题与互斥20

2.3 进程间的同步和互斥关系25

2.4死锁26

2.4.1 产生死锁的条件27

2.4.2 解决死锁问题的方法27

2.5 并行程序正确性的进一步讨论28

2.6 操作原语29

2.7 Pascal-S中描述并行程序的方法30

2.8 小结31

2.9 练习32

第三章解决互斥问题的方法33

3.1 引言33

3.2 最初的解决方法34

3.3 改进的解决方法36

3.4 第三种解决方法38

3.5 Dekker算法40

3.6 Peterson算法41

3.7 N进程互斥问题的解决方法44

3.8 利用硬指令解决互斥问题的方法45

3.9 练习49

第四章信号量及其P.V操作54

4.1 引言54

4.2 利用信号量解决互斥问题的方法55

4.3 “生产者/消费者”问题的解决方法58

4.4 “有界缓冲区”问题的解决方法62

4.5 “嗜眠的理发师”问题的解决方法64

4.6 信号量及其P，V操作的实现68

4.7 “选择性互斥”问题举例70

4.8 练习72

第五章管程方法80

5.1 管程的定义及性质80

5.2 用管程模拟信号量的方法85

5.3 用信号量模拟管程的方法87

5.4 “读者/写者”问题的解决方法92

5.5 管程特性的证明96

5.6 练习99

第六章Ada语言中的“会合”机制104

6.1 accept语句及“会合”的基本特性104

6.2 用“会合”模拟二元信号量108

6.3 select语句及其应用111

6.4 “会合”特性的证明119

6.5 练习120

第七章“哲学家用餐”问题及解决方法125

7.1 “哲学家用餐”问题125

7.2 第一种解决方法126

7.3 第二种解决方法128

7.4 一种正确的解决方法130

7.5 条件临界域133

7.6 条件临界域的实现136

7.7 练习138

第八章消息传递方式140

8.1 消息和消息传递140

8.2远程过程调用144

8.2.1 过程调用与远程过程调用144

8.2.2 RPC的语义144

第九章并行程序设计语言148

9.1 并发Pascal148

9.2 CSP150

9.3 Ada153

9.4 并行程序设计语言模型156

9.5 并行程序设计语言的特征158

第十章一个并发Pascal编译程序160

10.1 概述160

10.2 处理的对象161

10.3 P—code163

10.4 过程调用的处理166

10.5 并发性的实现172

10.6 信号量及其P.V操作175

10.7 随机化175

10.8 完整的源程序清单177

参考文献216