《多处理机系统的逻辑分析与设计》

目 录1

第一章概论1

参考文献2

第二章并发程序设计（一）3

2.1基本概念3

2.2并发进程执行的表示6

2.3互斥和关键区7

2.4信号量11

2.5条件关键区14

2.6管程16

2.7支持管程的程序设计语言22

2.8路径表达式29

参考文献31

第三章并发程序设计（二）33

3.1卫式命令33

3.2以消息传递实现进程间的通信34

3.3远方过程调用37

3.4通信的顺序进程39

3.5分布进程44

3.6通信端口48

3.7 Ada中的并发机制52

3.8并发程序设计语言中的不确定性*57

参考文献69

第四章作业分配72

4.1概述72

4.2图论法73

4.3极小极大图匹配算法79

4.4整数规划法85

4.5启发式作业分配89

4.6动态分配93

4.7一种新的启发式作业分配方法—HGMA*96

参考文献103

第五章系统结构104

5.1概述104

5.2互连网络107

5.3总线互连115

5.4紧耦合系统119

5.5处理机间的数据通信121

5.6链路层的通信协议126

5.7操作系统129

参考文献136

第六章造型与分析138

6.1多机系统的排队模型138

6.2 Petri网模型及其分析145

参考文献160

第七章设计方法161

7.1概述161

7.2虚拟机的概念162

7.3要求分析与功能分解164

7.4硬件的选择167

7.5软件设计中的问题172

7.6可靠性182

参考文献184

译名对照表186