《国外计算机科学教材系列•分布式计算(第2版)》涵盖了分布式计算理论的主要内容,强调不同模型之间的相似点,同时也解释了它们之间的内在差异。《国外计算机科学教材系列•分布式计算(第2版)》简要介绍分布式计算的数学基础和理论,揭示设计分布式系统的底层问题(通信、协调、同步及不确定)和基本的算法概念及下界技术。所涉及模型的问题领域包括领导者选举、互斥、一致性、时钟同步等,以及最新的快速互斥算法、对列锁、分布式共享存储器、无等待层级和故障检测器等。
第1章 引言
1.1 分布式系统
1.2 分布式计算理论
1.3 内容概要
1.4 理论和实践的关系
本章注释
第一部分
第2章 消息传递系统中的基本算法
2.1 消息传递系统的形式化模型
2.2 生成树上的广播和敛播
2.3 洪泛算法及构造生成树
2.4 构造指定根的深度—优先搜索生成树
2.5 构造不指定根的深度—优先搜索生成树
练习
本章注释
第3章 环中领导者选举算法
3.1 领导者选举问题
3.2 匿名环
3.3 异步环
练习
本章注释
第4章 共享存储器中的互斥
4.1 共享存储器系统的形式化模型
4.2 互斥问题
4.3 使用强原语的互斥
4.4 使用强原语的互斥
练习
本章注释
第5章 容错一致性
5.1 有损毁故障的同步系统
5.2 有Byzantine故障的同步系统
5.3 异步系统中的不可能性
练习
本章注释
第6章 因果关系和时间
6.1 捕获因果关系
6.2 应用因果关系的例子
6.3 时钟同步
练习
本章注释
第二部分
第7章 模拟的形式化模型
第8章 广播与多播
第9章 分布式共享存储器
第10章 读/写对象的容错模拟
第11章 模拟同步
第12章 改进算法的容错性
第13章 容错的时钟同步
第三部分
第14章 随机化
第15章 任意对象的无等待模拟
第16章 异步系统中的可解问题
第17章 解决最终稳定系统的一致性问题
参考文献
BookDescription*Beinspiredby10webdesignlessonsfrom10oftheworldsbestwebdesigners*...
五笔字型速查速学宝典-双色版-(含指法训练卡) 本书特色 《五笔字型速查速学宝典(双色版)》:新华字典的查询方式部首检字配有86版编码兼顾86/98版编码与拆分...
Thiswell-respectedtextoffersanaccessibleintroductiontofunctionalprogrammingconce...
《自得其乐 随遇而安(汪曾祺经典散文)》内容简介:文坛上最可爱的老头儿莫过于汪曾祺,他给读者带来温暖、快乐和不凡的趣味。时至
《在人间:肿瘤科女医生亲历记录》内容简介:本书是一本医学人文图书,集合了奋斗在中国肿瘤临床一线的17位女医生在行医生涯中的见
AntonA.Chuvakin博士是日志管理、SIEM和PCIDSS依从性领域公认的安全专家,他参与撰写了《SecurityWarrior》(ISBN:978-...
YoramOrzach毕业于色列技术学院(IsraelInstituteofTechnology),持有该校科学学士学位。1991-1995年,以系统工程师的身...
《程序与民主》是意大利著名政治学家、法学家皮罗·克拉玛德雷(Pierocalamandrei)(1889-1956)讨论现代诉讼程序的著作。该书篇
不可知的未来正向我们涌来,在IT技术变革比人们换手机还勤的时代里,一切更新都显得那么平常而频繁。这一切的策源地――硅谷,也
玩玩打打学五笔 内容简介 《玩玩打打学五笔》的出现彻底改变了这一切,这是一套原创的、快速掌握五笔字型的新方法,无须背口诀,无须刻苦,更不需要有多大的毅力,只要你...
《教琴日记》内容简介:继我社已出版的《学琴日记》之后的延续产品《教琴日记》。当年的学琴少女许雪青已经成为了一名专业的钢琴教
《Visual C++程序开发参考手册》内容简介:本书是一本VisualC 综合参考手册,介绍了VisualC 程序开发中涉及的各种函数、类及方法。
《阳明学·鱼梁讲会(创刊号)》内容简介:本刊是贵阳学院阳明学与黔学研究院主办的阳明文化讲会集刊。“鱼梁讲会”是研究院的学术
硬件缺陷和软件错误是“技术侦探”的劲敌,它们负隅顽抗,见缝插针。本书提出的九条简单实用的规则,适用于任何软件应用程序和硬
Thisbookisaboutimplementations,notlanguages,itwillmakenoattempttoextolthevirtues...
《知道点世界哲学》内容简介:是谁提出“人不能两次踏进同一条河流”?为什么斯宾诺莎是被骂名包围的哲学家?俄罗斯的飞翔的双头鹰
这本书全方位地介绍了如何建立和最终交付一个具有很高商业价值的成功网站,讲解从项目管理的角度入手,撇开烦琐的技术细节,更加
《源流说:内容生产与分发的44条法则》内容简介:本书以源流两字概括内容的生产与分发(源指内容生产之源头,流指内容分发之流向)
《简约之美:软件设计之道》将软件设计作为一门严谨的科学,阐述了开发出优雅简洁的代码所应该遵循的基本原则。作者从为什么以前软
《乐高创意机器人教程(中级·下册:10~16岁)》内容简介:本书为青少年机器人创新教育课程,以乐高机器人套件为教具,围绕机械结构