1432.分布式计算：原理、算法与系统.pdf

分布式计算：原理、算法与系统 猛点这里下载全部内容 目录： 第一章引言 1.1定义 1.2与计算机系统部件的关系 1.3动机 1.4与并行多处理器／多计算机系统的关系 1.4.1并行系统的特性 1.4.2nynn的分类法 1.4.3耦合、并行、并发及粒度 1.5消息传递系统与共享内存系统的对比 1.5.1在共享内存的系统上仿真消息传递 1.5.2在消息传递系统上仿真共享内存 1.6分布式通信的原语 1.6.1阻塞／非阻塞，同步／异步原语 1.6.2处理器同步性 1.6.3库与标准 1.7同步与异步执行 1.7.1通过同步系统仿真异步系统 1.7.2通过异步系统仿真同步系统 1.7.3仿真 1.8设计主题与挑战 1.8.1从系统角度看分布式系统的挑战 1.8.2分布式计算中的算法挑战 1.8.3分布式计算的应用以及更新的挑战 1.9关于主题的选择与覆盖 1.10本章小结 1.11习题 1.12参考文献说明 参考文献 第二章分布式计算模型 2.1分布式程序 2.2分布式运行模型 2.3通信网络模型 2.4分布式系统的全局状态 2.4.1全局状态 2.5分布式计算的运行分割 2.6事件的过去和未来锥面 2.7进程通信模型 2.8本章小结 2.9习题 2.10参考文献说明 参考文献 第三章逻辑时间 3.1引言 3.2逻辑时钟框架 3.2.1定义 3.2.2实现逻辑时钟 3.3标量时间 3.3.1定义 3.3.2基本性质 3.4向量时间 3.4.1定义 3.4.2基本性质 3.4.3有关向量时钟的大小 3.5向量时钟的有效实现 3.5.1Singhal-Kshemkalyani的差量技术 3.5.2Fowler-Zwaenepoel的直接依赖技术 3.6Jard-jourdan的自适应技术 3.7矩阵时间 3.7.1定义 …… 第四章记录全局状态与快照算法 第五章术语和基本算法 第六章消息序与组通信 第七章终止检测 第八章知识推理 第九章分布式互斥算法 第十章死锁检测 第十一章全局谓词的检测 第十二章分布式共享内存 第十三章检查点和卷回恢复 第十四章共识和协定算法 第十五章失效检测 第十六章分布式系统中的验证 第十七章自稳定 第十八章对等计算及覆盖网络 索引 猛点这里下载全部内容