分布计算技术PDF电子书下载

第1章 基于Kautz图的常量度数高性能覆盖网 1

1.1研究背景 1

1.2静态Kautz图与拥塞特性 4

1.2.1静态Kautz图及其属性 4

1.2.2常量拥塞 5

1.3 FissionE覆盖网设计 10

1.3.1拓扑构造 10

1.3.2资源对象的命名与发布 11

1.3.3消息路由 13

1.4动态维护 14

1.4.1节点加入 14

1.4.2节点退出 15

1.4.3并发加入和退出 17

1.4.4容错路由和动态负载平衡 18

1.5理论分析 18

1.5.1邻居关系不变量 19

1.5.2命名算法有效性 20

1.5.3路由正确性 22

1.5.4性能特征 24

1.6实验评估 25

1.7本章小结 29

参考文献 29

第2章 移动自组网络中的广播技术 31

2.1移动自组网络简介 31

2.1.1基本概念 31

2.1.2应用背景 32

2.1.3研究问题 34

2.2移动自组网络中的广播技术 35

2.2.1基于洪泛的广播技术 35

2.2.2基于簇的广播技术 36

2.2.3基于连通支配集的广播技术 37

2.3移动自组网络中的广播问题 37

2.3.1研究假设 37

2.3.2广播问题分析 38

2.3.3定义 39

2.3.4广播冗余 40

2.4利用冗余信息的广播算法 41

2.4.1算法描述 41

2.4.2算法正确性 42

2.4.3延迟时间的选择 42

2.5消减冗余的广播协议 43

2.5.1数据结构与报文格式 43

2.5.2链路状态监测 44

2.5.3广播过程 44

2.5.4协议实现考虑 45

2.5.5单向链路问题 45

2.6模拟性能评估 46

2.6.1模拟设置 46

2.6.2模拟结果 49

2.7本章小结 53

参考文献 53

第3章 高效的覆盖网拓扑和路由 55

3.1概述 55

3.2相关工作 56

3.2.1基本概念 56

3.2.2线图迭代 57

3.3基本DL迭代 59

3.3.1拓扑图统一描述机制 59

3.3.2 DL迭代与DL图 60

3.3.3 DL图的基本性质 62

3.4逻辑点合并与分裂 68

3.4.1 DL十图 68

3.4.2路由算法 70

3.4.3 DL＋图的基本性质 71

3.5基于DLG变换构建DHT拓扑 73

3.5.1节点加入 73

3.5.2节点退出 74

3.5.3快速处理 75

3.6模拟评估 75

3.6.1路由延迟 76

3.6.2拓扑维护 76

3.7本章小结 78

参考文献 78

第4章 Crossbar的串行轮询调度技术 79

4.1大步调度思想 79

4.1.1多步调度 79

4.1.2串行轮询 81

4.2基于大步调度的高效算法——ISP算法 83

4.2.1 ISP算法定义 83

4.2.2 ISP的性能分析 85

4.3 ISP调度器的实现 93

4.3.1顶层设计 93

4.3.2子模块设计 95

4.3.3相关工作比较 97

4.3.4小结 97

4.4本章小结 98

参考文献 98

第5章 移动自组网络组密钥生成与更新 99

5.1概述 99

5.2问题描述 100

5.2.1应用分类 100

5.2.2设计目标与挑战 100

5.2.3系统模型 101

5.3分布式组密钥管理框架 102

5.3.1设计原理 102

5.3.2基本概念与符号表示 103

5.3.3信任模型 103

5.3.4密钥信息部署 104

5.3.5组密钥的生成 104

5.3.6分组数据源认证 108

5.3.7组密钥的一致性 109

5.4组密钥更新算法 110

5.4.1组密钥更新问题 110

5.4.2分布式组密钥更新算法 114

5.4.3模拟实现与性能评估 118

5.5本章小结 123

参考文献 123

第6章 移动自组网络中的数据复制技术 125

6.1移动自组网络简介 125

6.1.1基本概念 125

6.1.2移动自组网络的应用背景 127

6.1.3移动自组网络的研究领域 127

6.2移动自组网络环境中的数据复制技术简介 129

6.3基于分簇的数据复制协议框架 130

6.3.1问题描述 131

6.3.2 CDRP的设计思路 133

6.3.3 CDRP框架 137

6.4基于α-稳定路径的分簇算法 142

6.4.1问题描述 142

6.4.2基于α-稳定路径的分簇算法 145

6.5模拟与分析 152

6.5.1模拟实验参数 152

6.5.2模拟结果 153

6.6本章小结 155

参考文献 155

第7章 IBGP健壮性拓扑设计问题建模与分析 157

7.1 IBGP拓扑的健壮性问题 157

7.2网络模型和符号定义 158

7.3 IBGP会话失败概率 159

7.3.1基于IGP平均恢复时间的IBGP会话失败概率计算方法 159

7.3.2 IGP路由恢复时间 160

7.3.3 SFPC_AIRRT的缺陷 160

7.3.4一种新的IBGP会话故障概率计算方法 161

7.4一种新的IBGP拓扑设计测度 161

7.4.1已有测度 161

7.4.2流量损移率：一种新的IBGP拓扑设计测度 163

7.5冗余路由反射拓扑设计问题 165

7.5.1问题描述 165

7.5.2可解条件 165

7.5.3复杂性分析 166

7.6路由反射器可冗余及会话约束的IBGP拓扑设计问题 169

7.6.1路由反射器冗余度和流量损移率关系 169

7.6.2 RR-TS优化的下界 170

7.7实验分析 170

7.7.1数据来源 170

7.7.2搜寻最优的IBGP拓扑 172

7.7.3模拟实验 173

7.8本章小结 176

参考文献 176

第8章 域间路由系统动态演化模型研究 177

8.1相关研究 177

8.1.1拓扑生成模型 178

8.1.2动态演化模型 181

8.2域间路由系统动态演化模型 183

8.2.1域间路由系统层次分析 184

8.2.2 CMV-HOT定义 185

8.2.3模型建立 186

8.3 CMV-HOT分析 188

8.3.1一般情况 190

8.3.2幂律特性的产生分析 192

8.4模拟比较 192

8.4.1评价参数定义 193

8.4.2结果比较 194

8.4.3模型总结 199

8.5利用CMV-HOT分析域间路由系统 201

8.5.1多宿主 201

8.5.2 AS间的商业关系 203

8.6本章小结 205

参考文献 205

第9章 虚拟计算环境的内存资源共享技术 207

9.1概述 207

9.2相关工作 208

9.2.1网络内存 208

9.2.2分布式共享主存 210

9.2.3异同点分析 211

9.3系统结构和基本机制 211

9.3.1研究动机 211

9.3.2系统结构 214

9.3.3基本机制 217

9.4内存资源的按需聚合 220

9.4.1研究思路 220

9.4.2聚合模型 221

9.4.3聚合算法 224

9.5内存资源的自主协同预取 227

9.5.1研究思路 227

9.5.2预取机制 229

9.5.3预取算法 231

9.6模拟评估 233

9.6.1内存密集型应用 233

9.6.2 I/O密集型应用 235

9.7本章小结 238

参考文献 239

第10章 基于服务质量感知的副本放置 240

10.1个体服务质量约束 240

10.2基于服务质量感知的副本放置问题 242

10.2.1副本放置基本概念 242

10.2.2符号与基本定义 242

10.2.3 Griden-CM简化模型 243

10.3优化创建开销的服务质量感知副本放置方法 244

10.3.1研究动机 244

10.3.2矩阵操作 245

10.3.3矩阵表示 246

10.3.4基于矩阵操作的副本放置算法MAPA 247

10.3.5分布式三阶段算法CPI-MAPA 249

10.3.6模拟评估 251

10.4访问代价优化的副本环方法 255

10.4.1概述 255

10.4.2 副本环结构 256

10.4.3基于副本环的qGREP算法 259

10.4.4 qGREP算法模拟评估 261

10.5本章小结 266

参考文献 266

第11章 基于动态测试用例生成的二进制软件缺陷自动发掘 268

11.1概述 268

11.2相关工作 269

11.2.1动态测试用例生成技术 269

11.2.2其他软件预发布阶段的相关测试技术 271

11.3支持测试系统可重定向的元指令集体系结构 273

11.4基于动态测试用例生成的精确可达路径覆盖方法 275

11.4.1路径可达性的完备判定理论 276

11.4.2 DBAPC-F方法 281

11.4.3面向软件可攻击面的DBAPC方法 282

11.5线性时空复杂度的DBAPC优化方法 286

11.5.1单赋值污点变换方法 287

11.5.2 TSADAG及其构建 287

11.5.3目标分支入口条件相干性的路径约束简化方法与理论 292

11.6 Hunter系统与实验分析 293

11.6.1 Hunter系统的体系结构与实现 294

11.6.2测试目标的选择与缺陷发掘结果 295

11.6.3 Hunter系统中各个功能组件评估 297

11.7本章小结 298

参考文献 298

第12章 面向NUMA体系结构的事务内存冲突规避方法 300

12.1简介 300

12.2相关研究 301

12.2.1事务内存 301

12.2.2 CC-NUMA体系结构 302

12.3已有事务内存机制在CC-NUMA机器上的实验分析 303

12.4 NUMA敏感的冲突规避方法PBC 305

12.5实验结果与分析 308

12.6本章小结 310

参考文献 310

第13章 图相似性检测的量子算法 312

13.1最大公共子图检测的量子算法 312

13.1.1问题重述与相关工作 313

13.1.2离散量子漫步在图中的特性 315

13.1.3基于量子漫步的对称性检测 318

13.1.4算法流程 321

13.1.5复杂度分析 323

13.1.6失效性分析 323

13.1.7算法评测 325

13.2量子图核函数设计 331

13.2.1图核定义 331

13.2.2基于随机漫步的R-convolution图核研究 332

13.2.3基于量子漫步的图核设计 333

13.2.4快速迭代计算方法设计与证明 336

13.2.5改进的量子图核设计 337

13.2.6复杂度分析 338

13.2.7性能评测 338

13.3本章小结 343

参考文献 344