多处理机系统的逻辑分析与设计PDF电子书下载

目 录 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