《并行程序的设计方法》求取 ⇩

1.并行计算机系统模型1

第一章 基本概念1

2.并行程序模型3

3.映射和体系结构8

4.数学工具——归纳法12

第二章 并行程序的逻辑系统16

1.程序的计算模型16

2.安全性逻辑关系19

3.进展性逻辑关系28

4.不动点(FIXED-POINT)39

5.逻辑关系DETECTS40

1.程序的结构43

第三章 并行程序设计语言43

2.DECLARE部45

3.赋值语句46

4.ASSIGN部和INITIALLY部51

5.DEFINITION部55

6.并行程序之例55

第四章 程序的映射63

1.距离问题63

2.距离程序的映射67

3.分类问题74

4.分类程序的映射78

1.联合运算83

第五章 并行程序的构造83

2.条件性质87

3.叠置运算90

4.并行程序的构造方法93

5.废品收集问题95

第六章 进程互斥107

1.程序mutex的规格说明107

2.两个进程的互斥112

3.n个进程的互斥116

4.哲学家就餐问题122

5.喝饮料问题135

1.通讯模型142

第七章 进程通讯142

2.异步通讯146

3.同步通讯153

4.进程网155

5.Conway问题158

第八章 程序的检测163

1.检测问题的提法163

2.终止的检测166

3.记录程序计算状态178

4.图的可达性183

5.死锁的检测186

参考文献190