《多处理机及智能多机系统》求取 ⇩

目录1

前言1

引论1

0-1　计算机及其应用的发展1

0-1-1 电子技术、通讯技术与计算机的发展1

0-1-2　计算机软件的发展2

0-1-3　计算机应用的发展4

0-2　现代科学技术对高性能计算机的需求5

0-2-1　科学／工程计算方面5

0-2-2　非数值信息处理方面6

0-2-3　知识处理与面向人工智能应用方面7

0-3　多机系统结构的开发8

第一章　并行处理与多机系统10

1-1　平行性（parallelism）10

1-1-1　计算平行性10

1-1-2　搜索平行性11

1-1-3　逻辑平行性13

1-2　平行性的开发——并行处理系统13

1-2-1　基于传统计算机系统结构的平行性开发13

1-2-2　流水线多处理机系统17

1-2-3　阵列计算机（Array Computers）19

1-2-4　多计算机系统20

1-3　并行处理系统性能的上限21

1-4　计算机系统结构的分类23

1-4-1　Flynn分类法23

1-4-2　冯氏分类法23

1-4-3　H？ndler分类法26

1-5　计算机逻辑结构的类型28

1-5-1　控制流方式28

1-5-2　数据流方式29

1-5-3　归约方式30

1-5-4　匹配方式31

1-5-5　按控制-通讯机制的不同，对多机系统逻辑结构的分类32

1-6　多机系统结构的开发途径33

第一篇　多处理机系统36

第二章　多处理机系统结构36

2-1　结构分类36

2-1-1　紧耦合系统36

2-1-2　松耦合系统41

2-2-1　分时或公用总线46

2-2　互连方式46

2-2-2　交叉开关和多端口存储器49

2-2-3　多级互连网络52

2-3　多处理机操作系统57

2-3-1　对多处理机操作系统的要求57

2-3-2　多处理机操作系统的类型58

2-3-3　多处理机软件的特殊问题59

第三章　多处理机系统控制61

3-1　多处理机调度61

3-1-1　静态调度62

3-1-2　动态调度70

3-1-3　动态负载平衡74

3-2　进程间通讯75

3-2-1　进程同步机制75

3-2-2　用信号灯同步79

3-2-3　条件临界区84

3-2-4　用管程同步87

3-2-5　消息传送通讯方式90

3-3　系统死锁问题93

3-3-1　资源分配图93

3-3-2　预防死锁95

3-3-3　避免死锁96

3-3-4　死锁检测99

3-3-5　解除死锁100

3-3-6　处理死锁的组合方案102

第四章　并行处理语言及算法103

4-1　并行程序设计语言104

4-1-1 FORK-JOIN语句104

4-1-2　块结构语言105

4-1-3　CSP语言108

4-2　程序并行性检测110

4-2-1　数据相关关系111

4-2-2　程序变换方法116

4-3　并行算法120

4-3-1　基本概念120

4-3-2　同步并行算法121

4-3-3　异步并行算法123

第五章　向量化及多任务处理130

5-1 向量化131

5-1-1　向量处理的基本概念131

5-1-2 向量处理机134

5-1-3　向量化技术144

5-2-1　多任务处理的实现153

5-2　多任务处理153

5-2-2　系统硬件及软件支持154

5-2-3　任务的颗粒性157

5-2-4 多任务程序设计159

第一篇参考文献163

第二篇　非诺依曼程序设计风格与多处理机系统167

第六章　面向客体的程序设计风格与多处理机167

6-1　从结构程序设计到面向客体的程序设计167

6-2　基于客体的程序设计风格168

6-3 Smallta1k-80172

6-4 面向客体的程序设计语言与知识表达177

6-5　面向客体的多机系统结构179

6-5-1 iAPX432的系统结构179

6-5-2 面向客体的程序结构181

6-5-3　面向客体的存储结构182

6-5-4　客体间的通讯和多处理器并行处理183

第七章　函数程序设计风格与多处理机185

7-1 函数程序设计风格185

7-1-1 Backus纯函数程序设计语言186

7-1-2　函数程序设计风格和诺依曼程序设计风格的对比188

7-2 λ-函数程序设计风格及LISP语言190

7-3　函数程序设计风格的特点和问题197

7-4　面向FP的计算机体系结构198

7-4-1　实现Backus纯FP的树结构多处理机200

7-4-2 LISP机201

7-4-3　面向作用式语言的通用多处理机206

第八章　单赋值语言与数据流机208

8-1　数据驱动概念208

8-1-1　数据流图208

8-1-2　操作包和数据令牌209

8-2-1　高层数据流语言210

8-2　数据流程序210

8-2-2　低层数据流语言212

8-2-3　数据流程序的图表示213

8-2-4　活动操作型图215

8-3　数据流机系统结构215

8-3-1　静态系统结构216

8-3-2　动态系统结构217

8-4　数据流机实例217

8-4-1　MIT的数据流机218

8-4-2　曼彻斯特数据流机221

8-4-3 日本电子综合研究所（ETL）的数据流机222

8-5　数据流机的潜在问题226

第九章　逻辑程序设计风格与推理机228

9-1　逻辑程序设计风格228

9-1-1　谓词逻辑语言的语法与语义228

9-1-2　Horn-子句230

9-2　逻辑推理232

9-2-1　逻辑推理规则232

9-2-2　形式证明233

9-2-3　归约-反证推理234

9-3-1　产生式规则知识表达方式235

9-3　一阶谓词逻辑与知识表达235

9-3-2　产生式系统及基于规则的演绎推理236

9-4 PROLOG语言238

9-4-1　PROLOG语法与语义的非形式化说明238

9-4-2　PROLOG与一阶谓词逻辑的Horn-子句表达方式239

9-5　基于Horn-子句的逻辑程序设计风格的基本特点240

9-6　逻辑平行性244

9-6-1　逻辑程序的问题空间表达方式244

9-6-2　AND/OR平行性的定义245

9-7　并行推理机246

9-7-1　DADO246

9-6-3　归一平行性246

9-7-2　PIM248

第二篇参考文献251

第三篇　智能多机系统256

第十章　面向人工智能的多机系统256

10-1　人工智能问题的基本特点256

10-2　传统计算机系统结构的局限性257

10-2-1 传统计算机系统结构的特征257

10-2-2 “Neùmann瓶颈”问题259

10-2-3　“软件危机”259

10-3-1　人工智能问题求解的基本模式263

10-3　智能多机系统的开发263

10-3-2　智能计算机系统设计观念的转变264

10-3-3　从问题空间到多处理机的映射265

10-3-4　智能计算机系统的开发层次266

10-4　面向人工智能的多机系统结构举例267

10-4-1 日本的“第五代计算机”研究计划267

10-4-2　SNAP272

10-4-3 连接机（Connection Machlne）272

10-5　通用MIMD多机系统结构举例274

10-6　面向人工智能多机系统的开发途径277

第三篇参考文献279