分布式算法
正版图书保证 可开电子发票
￥ 82.3 6.9折 ￥ 119 全新
库存2件
湖北武汉
认证卖家担保交易快速发货售后保障
作者[美]南希·A. 林奇(Nancy A. Lynch)
出版社机械工业出版社
ISBN9787111724247
出版时间2023-05
装帧平装
开本16开
定价119元
货号9787111724247
上书时间2024-09-02
商品详情
- 品相描述：全新
- 商品描述
-
目录
目 录<br />Distributed Algorithms<br />译者序<br />前言<br />第1章 引言 1<br />1.1 相关主题 1<br />1.2 我们的观点 2<br />1.3 本书内容综述 4<br />1.4 参考文献注释 7<br />1.5 标记 8<br />第一部分 同步网络算法<br />第2章 建模I：同步网络模型 10<br />2.1 同步网络系统 10<br />2.2 故障 11<br />2.3 输入和输出 11<br />2.4 运行 12<br />2.5 证明方法 12<br />2.6 复杂度度量 12<br />2.7 随机化 13<br />2.8 参考文献注释 13<br />第3章 同步环中的领导者选择 14<br />3.1 问题 14<br />3.2 相同进程的不可能性结果 15<br />3.3 基本算法 15<br />3.4 通信复杂度为O (nlogn）的算法 17<br />3.5 非基于比较的算法 20<br />3.5.1 时间片算法 20<br />3.5.2 变速算法 20<br />3.6 基于比较的算法的下界 22<br />3.7 非基于比较的算法的下界* 26<br />3.8 参考文献注释 27<br />3.9 习题 27<br />第4章 一般同步网络中的算法 29<br />4.1 一般网络中的领导者选举 29<br />4.1.1 问题 29<br />4.1.2 简单的洪泛算法 29<br />4.1.3 降低通信复杂度 31<br />4.2 广度优先搜索 32<br />4.2.1 问题 33<br />4.2.2 基本的广度优先搜索算法 33<br />4.2.3 应用 34<br />4.3 最短路径 35<br />4.4 最小生成树 36<br />4.4.1 问题 36<br />4.4.2 基本定理 36<br />4.4.3 算法 38<br />4.5 优选独立集 40<br />4.5.1 问题 40<br />4.5.2 随机化算法 41<br />4.5.3 分析* 42<br />4.6 参考文献注释 44<br />4.7 习题 44<br />第5章 链路故障时的分布式<br />一致性 46<br />5.1 协同攻击问题—确定性版本 46<br />5.2 协同攻击问题—随机化版本 48<br />5.2.1 形式化模型 49<br />5.2.2 算法 49<br />5.2.3 不一致的下限 52<br />5.3 参考文献注释 54<br />5.4 习题 54<br />第6章 进程故障下的分布式<br />一致性 56<br />6.1 问题 57<br />6.2 针对停止故障的算法 58<br />6.2.1 基本算法 58<br />6.2.2 减少通信 60<br />6.2.3 指数信息收集算法 61<br />6.2.4 带鉴别的Byzantine一致性 66<br />6.3 针对Byzantine故障的算法 66<br />6.3.1 举例 67<br />6.3.2 Byzantine一致性问题的EIG<br />算法 68<br />6.3.3 使用二元Byzantine一致性的<br />一般Byzantine一致性问题 71<br />6.3.4 减少通信开销 72<br />6.4 Byzantine一致性问题中进程的<br />个数 75<br />6.5 一般图中的Byzantine一致性<br />问题 78<br />6.6 弱Byzantine一致性 81<br />6.7 有停止故障时的轮数 82<br />6.8 参考文献注释 88<br />6.9 习题 89<br />第7章 更多的一致性问题 93<br />7.1 k一致性问题 93<br />7.1.1 问题 93<br />7.1.2 算法 94<br />7.1.3 下界* 95<br />7.2 近似一致性 103<br />7.3 提交问题 106<br />7.3.1 问题 106<br />7.3.2 两阶段提交 107<br />7.3.3 三阶段提交 108<br />7.3.4 消息数的下界 110<br />7.4 参考文献注释 112<br />7.5 习题 112<br />第二部分 异步算法<br />第8章 建模II：异步系统模型 116<br />8.1 输入/输出自动机 116<br />8.2 自动机的操作 120<br />8.2.1 合成 120<br />8.2.2 隐藏 123<br />8.3 公平性 123<br />8.4 问题的输入和输出 126<br />8.5 属性与证明方法 126<br />8.5.1 不变式断言 126<br />8.5.2 轨迹属性 126<br />8.5.3 安全与活性属性 127<br />8.5.4 合成推理 129<br />8.5.5 层次化证明 131<br />8.6 复杂度衡量 133<br />8.7 不可区分的运行 134<br />8.8 随机化 134<br />8.9 参考文献注释 134<br />8.10 习题 135<br />第二部分A?异步共享存储器算法<br />第9章 建模III：异步共享存储器<br />模型 138<br />9.1 共享存储器系统 138<br />9.2 环境模型 140<br />9.3 不可区分状态 141<br />9.4 共享变量类型 142<br />9.5 复杂度衡量 145<br />9.6 故障 146<br />9.7 随机化 146<br />9.8 参考文献注释 146<br />9.9 习题 146<br />第10章 互斥 148<br />10.1 异步共享存储器模型 148<br />10.2 问题 150<br />10.3 Dijkstra的互斥算法 153<br />10.3.1 算法 153<br />10.3.2 正确性证明 156<br />10.3.3 互斥条件的一个断言式<br />证明 158<br />10.3.4 运行时间 159<br />10.4 互斥算法的更强条件 160<br />10.5 锁定权互斥算法 162<br />10.5.1 双进程算法 162<br />10.5.2 n进程算法 165<br />10.5.3 锦标赛算法 169<br />10.6 使用单写者共享寄存器的算法 172<br />10.7 Bakery算法 174<br />10.8 寄存器数量的下界 176<br />10.8.1 基本事实 177<br />10.8.2 单写者共享变量 177<br />10.8.3 多写者共享变量 178<br />10.9 使用读–改–写共享变量的<br />互斥 182<br />10.9.1 基本问题 182<br />10.9.2 有界绕过次数 183<br />10.9.3 锁定权 188<br />10.9.4 模拟证明 190<br />10.10 参考文献注释 193<br />10.11 习题 193<br />第11章 资源分配 197<br />11.1?问题 197<br />11.1.1 显式资源规格说明和互斥规格说明 197<br />11.1.2 资源分配问题 198<br />11.1.3 哲学家用餐问题 199<br />11.1.4 解法的受限形式 200<br />11.2 对称哲学家用餐算法的<br />不存在性 200<br />11.3 右–左哲学家用餐算法 202<br />11.3.1 等待链 202<br />11.3.2 基本算法 203<br />11.3.3 扩展 205<br />11.4 随机哲学家用餐算法* 208<br />11.4.1 算法* 208<br />11.4.2 正确性* 210<br />11.5 参考文献注释 216<br />11.6 习题 216<br />第12章 一致性 218<br />12.1?问题 218<br />12.2 使用读/写共享存储器的一致性<br />问题 220<br />12.2.1 221<br />12.2.2 术语 221<br />12.2.3 双价初始化 222<br />12.2.4 无等待终止性的不可能性 222<br />12.2.5 单故障终止性的不可能性<br />结果 224<br />12.3 读/改/写共享存储器上的<br />一致性问题 227<br />12.4 其他共享存储器类型 227<br />12.5 异步共享存储器系统中的可<br />计算性* 227<br />12.6 参考文献注释 229<br />12.7 习题 229<br />第13章 原子对象 232<br />13.1 定义和基本结论 232<br />13.1.1 原子对象的定义 233<br />13.1.2 规范无等待原子对象<br />自动机 238<br />13.1.3 原子对象的合成 240<br />13.1.4 原子对象和共享变量 240<br />13.1.5 显示原子性的一个充分<br />条件 245<br />13.2 用读/写变量实现读–改–写<br />原子对象 246<br />13.3 共享存储器的原子快照 247<br />13.3.1 问题
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价