当前位置:首页 > 工业技术
分布式系统设计原理与应用
分布式系统设计原理与应用

分布式系统设计原理与应用PDF电子书下载

工业技术

  • 电子书积分:11 积分如何计算积分?
  • 作 者:黄光球,陆秋琴,李艳编
  • 出 版 社:西安:西北工业大学出版社
  • 出版年份:2008
  • ISBN:9787561224441
  • 页数:262 页
图书介绍:本书较全面地介绍了分布式系统设计中的一些重要的问题,内容有:形式化设计方法、并行计算、行为分析模型、互斥、死锁处理等。
《分布式系统设计原理与应用》目录

第1章 绪论 1

1.1分布式系统的定义 1

1.2互连网络与特殊网络 4

1.3设计模型 8

1.4习题 11

第2章 DCDL语言 12

2.1引言 12

2.2 DCDL语言用法 12

2.3 Bernstein条件 18

2.4进程通信与同步问题 19

2.5 DCDL语言编程实例 22

2.6习题 28

第3章 分布式环境下的并行计算 29

3.1并行计算模型 29

3.2并行算法设计环境 36

3.3并行算法举例 45

3.4习题 59

第4章 Petri网行为分析模型 61

4.1基本定义 61

4.2库所/变迁系统 66

4.3出现序列和变迁序列 77

4.4进程 81

4.5不变量 85

4.6 Petri网的应用 88

4.7习题 90

第5章 分布式系统的同步 91

5.1因果相关事件 91

5.2全局状态 93

5.3物理时钟 99

5.4逻辑时钟 101

5.5习题 105

第6章 互斥算法和选举算法 106

6.1互斥问题简介 106

6.2非令牌的解决方案 107

6.3基于令牌的解决方案 110

6.4选举算法 114

6.5选举过程的一种特殊实现——投标 120

6.6自稳定算法 121

6.7习题 123

第7章 死锁的预防、避免和检测 125

7.1死锁问题 125

7.2预防死锁 130

7.3预防死锁的例子 131

7.4死锁避免 134

7.5死锁的检测和恢复 139

7.6检测死锁和恢复的例子 141

7.7习题 143

第8章 分布式系统路由算法 146

8.1分布式系统中的通信延迟 146

8.2一般类型网络的最短路径路由 148

8.3特殊类型网络中的单播 151

8.4一些特殊类型网络中的广播 155

8.5一些特殊类型网络中的组播 159

8.6习题 163

第9章 自适应、无死锁和容错路由 164

9.1虚信通和虚网络 164

9.2完全自适应和无死锁路由算法 166

9.3部分自适应和无死锁路由算法 167

9.4容错单播的一般方法 169

9.5特殊网络中的容错单播 169

9.6超立方网络中的容错单播 173

9.7容错广播 176

9.8容错组播 178

9.9习题 183

第10章 分布式系统可靠性设计 184

10.1基本定义 184

10.2容错系统的构件模块设计 185

10.3节点故障的处理方法 186

10.4向后恢复的缺陷 189

10.5拜占庭式故障及其处理 193

10.6通信故障处理 198

10.7软件故障处理 200

10.8习题 202

第11章 静态负载调度 204

11.1静态调度的分类 204

11.2静态负载调度原理 205

11.3基于任务优先图的静态负载分配 208

11.4最优调度算法 210

11.5基于任务交互图的静态负载分配 212

11.6不同处理器能力条件下的任务交互图调度 214

11.7单处理器上速率单调优先调度和期限驱动调度 216

11.8基本故障-安全调度 219

11.9扩展故障-安全调度 221

11.10小结 224

11.11习题 225

第12章 动态负载均衡 227

12.1动态负载均衡原理 227

12.2动态负载均衡策略 228

12.3动态负载均衡算法 230

12.4负载信息的收集 232

12.5负载平衡参数 232

12.6负载平衡的实现 234

12.7小结 241

12.8习题 241

第13章 分布式数据库管理 244

13.1数据库的基本概念 244

13.2可串行的基本原理 244

13.3并发控制方法 247

13.4复制控制管理 250

13.5分布式数据库系统可靠性协议 256

13.6习题 259

参考文献 262

相关图书
作者其它书籍
返回顶部