《通信顺序进程》求取 ⇩

目录1

前言1

序言1

符号表1

第一章　进程1

1.1　引言1

1.1.1　前缀3

1.1.2 递归5

1.1.3 选择8

1.1.4　联立递归11

1.2　示意图13

1.3　法则14

1.4　进程的实施17

1.5　迹20

1.6　迹的运算22

1.6.1　连接22

1.6.2　局限23

1.6.3　首部与尾部24

1.6.5　次序25

1.6.4　星号25

1.6.6　长度26

1.7　迹的实施27

1.8　进程的迹28

1.8.1 法则29

1.8.2　实施32

1.8.3　后继33

1.9　迹的其它运算35

1.9.1　符号变换35

1.9.3　穿插36

1.9.2　连接36

1.9.4　下标37

1.9.5　逆置37

1.9.6　挑选37

1.9.7　组合38

1.10　描述39

1.10.1　满足40

1.10.2　证明42

2.2　交互作用45

第二章　并发性45

2.1 引言45

2.2.1 法则47

2.2.2　实施48

2.2.3　迹48

2.3　并发性48

2.3.1　法则51

2.3.2　实施52

2.3.3　迹53

2.4　示意图54

2.5　举例：哲学家就餐问题56

2.5.1　字母表56

2.5.2　行为58

2.5.3　死锁59

2.5.4　死锁不存在的证明60

2.5.5　无限抢先61

2.6　符号变换62

2.6.1　法则65

2.6.2　进程标记66

2.6.3　实施69

2.6.4　多重标记70

2.7　功能描述71

2.8　确定性进程的数学理论73

2.8.1　基本定义73

2.8.2　不动点理论75

2.8.3　唯一解78

3.1　引言82

第三章　非确定性82

3.2　非确定的或算子83

3.2.1　法则84

3.2.2　实施86

3.2.3　迹87

3.3　一般选择88

3.3.1　法则88

3.3.2　实施89

3.3.3　迹90

3.4　拒绝集90

3.4.1　法则91

3.5　屏蔽93

3.5.1　法则94

3.5.2　实施98

3.5.3　迹99

3.5.4　示意图100

3.6　穿插102

3.6.1　法则103

3.6.2　迹和拒绝集104

3.7　描述105

3.7.1　证明107

3.8　发散性109

3.8.1　法则111

3.8.2　发散集111

3.9　非确定性进程的数学理论113

第四章　通信119

4.1　引言119

4.2　输入和输出119

4.2.1　实施125

4.2.2　描述126

4.3　通信129

4.4　导管138

4.4.1　法则141

4.4.2　实施143

4.4.3　活锁143

4.4.4　描述145

4.4.5　缓存和协议146

4.5　附庸150

4.5.1　法则154

4.5.2　连接图156

第五章　顺序进程160

5.1　引言160

5.2 法则164

5.3　数学处理166

5.3.1　确定性进程166

5.3.2　非确定性进程167

5.3.3　实施169

5.4　中断169

5.4.1　灾难170

5.4.2　重新启动171

5.4.3　交替172

5.4.4　备查点172

5.4.5　多重备查点173

5.4.6　实施174

5.5　赋值175

5.5.1　法则177

5.5.2　描述179

5.5.3　实施185

第六章　资源共享187

6.1　引言187

6.2　穿插式共享188

6.3　存储共享193

6.4　多重资源195

6.5　操作系统205

6.6　调度210

7.1　引言213

7.2　共享存储213

第七章　讨论213

7.2.1　多流化214

7.2.2　cobegin…coend215

7.2.3　条件临界区216

7.2.4　管程218

7.2.5　管程嵌套220

7.2.6　AdaTM222

7.3　通信225

7.3.1　导管225

7.3.2　多重缓冲通道226

7.3.3　函数式多道处理227

7.3.4　无缓冲通信228

7.3.5　通信顺序进程229

7.3.6　Occam230

7.4　数学模型234

7.4.1　通信系统演算CCS234

练习240

解答255

文献精选276

英汉名词索引278