分布计算技术PDF|Epub|txt|kindle电子书版本网盘下载

分布计算技术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基于矩阵操作的副本放置算法MAPA247

10.3.5分布式三阶段算法CPI-MAPA249

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敏感的冲突规避方法PBC305

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