|
|
（华章）计算机科学丛书中文系列
分布式算法导论（原书第2版）Introduction to Distributed Algorithms,Second Edition  |
|
|
|
| 原价:
￥39.00(以下报价瞬息万变,建议您点击全部站点比对) | | |通过以下方式购买,或许更便宜: |
|
|
| |
【作 者】 Gerard Tel
【开 本】16 【版 次】0次
【分 类】 计算机书店>>程序设计
【页 数】
385
【字 数】
0
【日 期】
2004年9月
【装 帧】
简装
【出版社】
机械工业出版社
【ISBN】
0
【关注程度】已有519人关注该图书
【版本状态】『全图版』
|
|
|
|
|
|
我要购书网的承诺：本网上购书中心所出售的"分布式算法导论（原书第2版）Introduction to Distributed Algorithms,Second Edition"图书保证正版，您在本购书中心享有收到图书七天内无条件退货！收到商品15日之内换货的待遇！
|
| |
退货规定：从本网上书店所购买的图书如有质量问题(字迹模糊/缺页/倒装/开线/开胶/折页/封皮破损/缺少随书赠品),可在收到商品7日之内可退货 |
| |
换货规定：从本购书中心所购买"分布式算法导论（原书第2版）Introduction to Distributed Algorithms,Second Edition"图书如有质量问题(字迹模糊/缺页/倒装/开线/开胶/折页/封皮破损/缺少随书赠品),可在收到商品15日之内换货
|
|
| |
| 本书详细介绍了分布式算法及其理论，结合大量定理、引理、命题等的证明，讨论了点到点消息传递模型上的算法、计算机通信网络中实现的算法，重点是分布式应用的控制算法(如波动算法、广播算法、选举算法、同步系统算法等)，还涉及了利用分布式算法实现容错计算、方向侦听和故障检测器等方面的内容。本书条理清晰、深入浅出，适合作为大学本科高年级和研究生的分布式算法课程的教材和参考书，对于具有实践经验的专业人员也大有帮助。 |
| |
| 第1章导论：分布式系统1.1分布式系统的定义1.1.1动机1.2计算机网络1.1.3广域网络1.1.4局域网1.1.5多处理器计算机1.1.6协同操作进程1.2体系结构和语言1.2.1结构1.2.20SI参考模型1.2.3局域网络OSI模型：IEEE标准1.2.4语言支持1.3分布式算法1.3.1分布式算法与集中式算法1.3.2一个例子：单消息通信1.3.3研究领域1.4本书概要第一部分协议第2章模型2.1转移系统和算法2.1.1转移系统2.1.2异步消息传递系统2.1.3同步消息传递系统2.1.4公平性2.2转移系统性质的证明2.2.1安全性2.2.2活动性2.3事件的因果序和逻辑时钟2.3.1事件的独立性和相关性2.3.2执行的等价性：计算2.3.3逻辑时钟2.4附加假设,复杂度2.4.1网络拓扑结构2.4.2信道性质2.4.3实时性假设2.4.4进程知识2.4.5分布式算法的复杂度习题第3章通信协议3.1平衡滑动窗口协议3.1.1协议表示3.1.2协议的正确性证明3.1.3协议讨论3.2基于计时器的协议3.2.1协议表示3.2.2协议的正确性证明3.2.3协议讨论习题第4章路由算法4.1基于目的节点的路由4.2所有点对之间的最短路径问题4.2.1Floyd-Warshall算法4.2.2Toueg最短路径算法4.2.3讨论以及更多算法4.3变更算法4.3.1算法描述4.3.2变更算法的正确性4.3.3算法讨论4.4带有压缩路由表的路由4.4.1树标号模式4.4.2区间路由4.4.3前缀路由4.5分级路由习题第5章无死锁的包交换5.1引言5.2有结构的方法5.2.1缓冲图5.2.2图G的定向5.3无结构的方法5.3.1前向计数控制器和后向计数控制器5.3.2前向状态控制器和后向状态控制器5.4需进一步研究的问题5.4.1拓扑变化5.4.2其他类型的死锁5.4.3活锁习题第二部分基本算法第6章波动算法与遍历算法6.1波动算法的定义和使用6.1.1波动算法定义6.1.2波动算法的一些基本结果6.1.3具有反馈的信息传播6.1.4同步6.1.5计算下确界函数6.2波动算法集6.2.1环网算法6.2.2树算法6.2.3回波算法6.2.4轮询算法6.2.5相位算法6.2.6Finn算法6.3遍历算法6.3.1遍历团6.3.2遍历圆环6.3.3遍历超立方体6.3.4遍历连通网络6.4深度优先搜索的时间复杂度6.4.1分布式深度优先搜索6.4.2线性时间的深度优先搜索算法6.4.3具有近邻知识的深度优先搜索6.5遗留问题6.5.1波动算法综述6.5.2计算和6.5.3时间复杂度的另一种定义习题第7章选举算法7.1引言7.1.1本章所做假设7.1.2选举和波动7.2环网7.2.1LeLann和Chang-Roberts算法7.2.2Peterson／Dolev-Klawe-Rodeh算法7.2.3一个下界7.3任意网7.3.1废止和快速算法7.3.2Gallager-Humblet-Spira算法7.3.3GHS算法的全局描述7.3.4GHS算法的详细描述7.3.5GHS算法的讨论和变化7.4Korach-Kutten-Moran算法7.4.1模块构造7.4.2KKM算法的应用习题第8章终止检测8.1预备知识8.1.1定义8.1.2两个下界8.1.3终止进程8.2计算树和森林8.2.1Dijkstra-Scholten算法8.2.2Shavit-Francez算法8.3基于波动的方法8.3.1Dijkstra-Feijen-VanGasteren算法8.3.2基本消息的计数：Safra算法8.3.3利用确认8.3.4带波动的终止检测8.4其他方法8.4.1信用-恢复算法8.4.2基于时戳的终止检测方法习题第9章匿名网络9.1预备知识9.1.1定义9.1.2概率算法的分类9.1.3本章考虑的问题9.1.4同步消息传递与异步消息传递9.2确定算法9.2.1确定性的选举：否定性的结果9.2.2环上函数计算9.3概率选举算法9.4网络规模计算9.4.1否定性结果9.4.2计算环规模的算法习题第10章快照10.1预备知识10.2两个快照算法10.2.1Chandy-Lamport算法10.2.2Lai-Yang算法10.3使用快照算法10.3.1计算信道状态10.3.2快照的适时性10.3.3稳定性检测10.4应用：死锁检测10.4.1基本计算模型和问题阐述10.4.2全局-标记算法10.4.3受限模型的死锁检测习题第11章方向侦听与定向11.1引言和定义11.1.1方向侦听的定义和特性11.1.2利用方向侦听11.1.3具有方向侦听的广播11.2环和弦环的选举算法11.2.1Franklin算法11.2.2Attiya改进11.2.3最小化弦数11.2.41-弦线性算法11.3超立方体上的计算11.3.1基线：没有拓扑知识11.3.2进行比赛的算法11.3.3多路径流量算法11.3.4使用掩码的有效超立方体算法11.3.5无标号超立方体上的选举算法11.4与复杂度有关的问题11.4.1团或任意图的定向11.4.2位复杂度和多路径流量算法11.4.3Verweij随机漫步算法11.5结论和未解决的问题11.5.1利用方向侦听11.5.2复杂度归约11.5.3当前研究习题第12章网络中的同步12.1预备知识12.1.1同步网络12.1.2通过同步提高效率12.1.3异步有限延迟网络12.2同步网络中的选举12.2.1网络规模已知12.2.2网络规模未知12.2.3补充结果12.3同步器算法12.3.1简单同步器12.3.2a.B和r同步器12.4应用：广度优先搜索12.4.1同步BFS算法12.4.2与同步器组合12.4.3异步BFS算法12.5Archimedean假设习题第三部分容错第13章分布式系统中的容错13.1利用容错算法的原因13.2健壮算法13.2.1故障模型13.2.2判定问题13.2.3第14章到第16章综述13.2.4本书中没有涉及的主题13.3稳定算法第14章异步系统中的容错14.1一致性的不可能性14.1.1表示.定义及基本结果14.1.2不可能性证明14.1.3讨论14.2初始死进程14.3确定可实现实例14.3.1可解问题：重命名14.3.2扩展的不可能性结果14.4概率一致性算法14.4.1损毁-健壮一致协议14.4.2Byzantine-健壮一致性协议14.5弱终止性习题第15章同步系统中的容错15.1同步判定协议15.1.1弹性界限15.1.2Byzantine广播算法15.1.3多项式级的广播算法15.2鉴别协议15.2.1高度弹性的协议15.2.2数字签名的实现15.2.3ElGamal签名模式15.2.4RSA签名模式15.2.5Fiat-Shamir签名模式15.2.6概述和讨论15.3时钟同步15.3.1读取远程时钟15.3.2分布式时钟同步15.3.3轮模型的实现习题第16章故障检测16.1模型和定义16.1.1四种基本检测器类型16.1.2故障检测器的用途和缺陷16.2用弱精确检测器解一致性问题16.3最终弱精确检测器16.3.1弹性上界16.3.2一致算法16.4故障检测器的实现16.4.1同步系统：完美检测16.4.2部分同步系统：最终完美检测16.4.3小结习题第17章稳定性17.1引言17.1.1定义17.1.2稳定系统中的通信17.1.3例子：Dijjstra令牌环17.2图论算法17.2.1环定向17.2.2最大匹配17.2.3选举和生成树构造17.3稳定方法学17.3.1协议组合17.3.2计算最小路径17.3.3结论和讨论习题第四部分附录附录A伪代码使用约定附录B图和网络参考文献主题词索引 |
|
|
