`

《区块链底层设计Java实战》之第五章分布式一致性与共识算法

阅读更多

第5 章  分布式一致性与共识算法

愿得一人心 白首不相离

 

 

第5 章 分布式一致性与共识算法 ........................................................................ 97

5.1 区块链的分布式 ....................................................................................... 98

5.2 Paxos 算法 ................................................................................................ 99

5.3 ZooKeeper 中的分布式一致算法实现 .................................................. 100

5.4 二、三阶段提交协议 ............................................................................. 103

5.4.1 二阶段提交协议 ......................................................................... 104

5.4.2 三阶段提交协议 ......................................................................... 105

5.5 区块链中的分布式一致性 ..................................................................... 106

5.5.1 PoW 算法 ................................................................................... 107

5.5.2 PoW 算法在比特币系统的源码实现 ........................................ 107

5.5.3 以太坊的PoW 实现 ................................................................... 109

5.6 联盟链中PBFT 的实现 .......................................................................... 111

5.6.1 什么是PBFT ............................................................................... 112

5.6.2 PBFT 基于WebSocket 的实现 ................................................... 114

5.6.3 PBFT 基于t-io 的实现 .............................................................. 128

5.7 小结 ......................................................................................................... 147

 

前面讲述了区块链系统中的两大基石——密码学的应用和P2P 网络的构建,本

章将介绍区块链系统的另一个基石——共识算法。

什么是共识呢?通常的理解是共同的认识、一致的看法。在区块链系统中,共

识指的是区块链系统中各个节点账本数据同步的实现。

 

共识算法并非凭空而生,而是基于分布式系统中为众人所知的分布式一致算法

得来的。因此,本章将从简单的分布式一致算法开始,一步步引导读者学习共识算

法。只要能掌握分布式一致算法的“美人心”,各类共识算法都会有似曾相识之感。

 

5.1 区块链的分布式

区块链系统本质上是分布式网络系统,而在分布式系统中,最核心的问题就是

“一致性(Consistency)的问题”,即在分布式网络的各个节点中如何保持节点数据的

一致性。如果在分布式系统中,一致性无法保证,那么分布式系统就变成了不可用

的系统,因此保证一致性是分布式系统中最为重要的内容。

 

熟悉分布式网络的读者,看到一致性时,往往会自然联想到分布式领域的CAP

理论。CAP 理论中论述了在任何一个分布式系统都无法同时满足Consistency(一致

性)、Availability(可用性)和Partition tolerance(分区容错性)这三个基本需求。最

多只能满足其中两项,而一致性是不能丢弃的。

 

当然,分布式系统中的分布式的一致性问题主要还是用来保证数据的一致性。

目前,各类分布式系统中使用的分布式一致性算法比较多,但基本都是源于

Paxos 分布式一致算法。正如Google Chubby 的作者Mike Burrows 所言:

“there is only one consensus protocol, and that’s Paxos – all other approaches are just

broken versions of Paxos. ”

中文可翻译为:世上只有一种一致性算法,那就是Paxos,所有其他一致性算法

都是Paxos 算法的不完整版。

 

因此分布式系统的一致性算法讲解将从Paxos 算法开始。

 

5.2 Paxos 算法

 

Paxos 算法是莱斯利·兰伯特(Leslie Lamport,现就职于微软研究院)于1990

年提出的,是一种基于消息传递的一致性算法。莱斯利·兰伯特于2013 年获得了图

灵奖。他的分布式计算理论奠定了这门学科的基础。

 

莱斯利·兰伯特在1978 年发表了论文《分布式系统内的时间、时钟事件顺序》

(Time, Clocks, and the Ordering of Events in a Distributed System),这篇论文成为目前

计算机科学史上被引用最多的文献。他的论文为并发系统的规范与验证课题的研究

贡献了核心原理。

 

Paxos 算法是在莱斯利·兰伯特的论文The Part-Time Parliament 中提出的。在论

文中,他以故事的方式讲述了Paxos 算法。

 

这个故事的主要内容如下:

古希腊有一个叫Paxos 的岛屿,是爱琴海上的一个小岛,Paxos 是一个兴盛

的商业贸易中心。在这个岛屿上,法律的制定与修订通过议会表决的形式

进行,而非传统的神权统治。

 

所有法律都必须经由议会成员投票表决后才能生效实施,而且已通过的律

法必须被记录在案。

 

在岛上,商业繁荣,做生意赚钱才是头等大事,因此没有人愿意始终在议

会大厅里从头到尾参与每一个法律表决的会议。为此,每一个议员都来维

护一个法律律簿,用来记录一系列已通过的法令,每个法令带有一个唯一

编号。为了保持各个议员法律律簿内容的一致性,法律律簿是用擦不掉的

墨水书写而成的,所以内容一旦书写就不能改变。

 

在议会中有多个角色的成员:议员和服务员。服务员的工作是在比较嘈杂

的议会厅里传递信息,议员的工作是发起法律提案或将通过的法律记录在

自己的法律律簿上。

 

由于议员和服务员有可能并不可靠,他们可能随时会因为各种事情临时甚

至是彻底离开议会大厅,服务员也有可能重复传递消息,当然也可能有新

的议员在临时事务处理完毕后再回到议会大厅进行法律表决,因此议会的

协议要求保证在上述情况下能够正确地修订法律并且不会产生冲突。

在法律表决时,议员的角色分为proposers 和acceptors。

 

通过一个法律决议时,分为两个阶段:

 

阶段1:prepare 阶段

proposer 选择一个提案编号n,并将prepare 请求发送给acceptors 群体。

acceptor 收到prepare 消息后,如果提案的编号大于它已经回复的所有

prepare 消息,则acceptor 将自己上次接受的提案回复给proposer,并承诺不

再回复小于n 的提案;如果提案的编号小于等于它已经回复的所有prepare

消息,则说明是重复消息,不再重复处理。

 

阶段2:批准阶段

当proposer 收到多数acceptors 对prepare 的回复后,就进入批准阶段。它要

向回复prepare 请求的acceptors 发送accept 请求。acceptor 收到accept 请求

后,则立即接受这个请求。

 

除经典的分布式一致性算法Paxos 外,还有一些算法也隐藏于我们常用的中间件

中,如ZooKeeper,二、三阶段提交协议等。下面将分别介绍分布式一致性算法在

Zookeeper 和二、三阶段提交协议中的应用。

 

5.3 ZooKeeper 中的分布式一致算法实现

ZooKeeper 是一个开源的分布式协调服务,分布式应用程序可以基于它实现诸如

数据发布/发布、负载均衡、命名服务、分布式协调/通知、集群管理、Master 选举、

分布式锁和分布式队列等功能。ZooKeeper 的设计思想源于Google 的Chubby,目前

是Hadoop 和Hbase 中的重要组件。

 

 更多详细内容详见:



《区块链底层设计Java实战》二维码


 
 
 
 
 

  • 大小: 1.5 KB
分享到:
评论

相关推荐

    C2000系列DSP芯片串口读写方案与FlashPro2000编程器应用详解

    内容概要:本文详细介绍了基于TMS320F系列芯片的C2000串口读写方案及其编程器——FlashPro2000的功能特点和支持的接口模式。文中不仅涵盖了硬件连接的具体步骤,还提供了代码实例来展示Flash擦除操作,并对比了JTAG和SCI-BOOT两种模式的优缺点。此外,针对不同型号的C2000系列芯片,给出了详细的适配指导以及避免烧录过程中可能出现的问题的方法。 适合人群:从事DSP开发的技术人员,尤其是对TI公司C2000系列芯片有一定了解并希望深入了解其编程和烧录细节的人群。 使用场景及目标:适用于实验室环境下的程序调试阶段,以及生产线上的批量烧录任务。主要目的是帮助开发者选择合适的编程工具和技术手段,提高工作效率,减少因误操作导致设备损坏的风险。 其他说明:文中提供的代码片段和命令行指令可以直接用于实际项目中,同时附带了一些实用技巧,如防止芯片变砖的小贴士和自动化重试脚本,有助于解决常见的烧录难题。

    汉字字库存储芯片扩展实验通常是为了学习和理解如何在嵌入式系统或计算机硬件中增加或管理存储资源,特别是针对需要处理中文字符的应用 这类实验对于想要深入了解计算机体系结构、嵌入式开发以及汉字编码的学生和工

    汉字字库存储芯片扩展实验 # 汉字字库存储芯片扩展实验 ## 实验目的 1. 了解汉字字库的存储原理和结构 2. 掌握存储芯片扩展技术 3. 学习如何通过硬件扩展实现大容量汉字字库存储 ## 实验原理 ### 汉字字库存储基础 - 汉字通常采用点阵方式存储(如16×16、24×24、32×32点阵) - 每个汉字需要占用32字节(16×16)到128字节(32×32)不等的存储空间 - 国标GB2312-80包含6763个汉字,需要较大存储容量 ### 存储芯片扩展方法 1. **位扩展**:增加数据总线宽度 2. **字扩展**:增加存储单元数量 3. **混合扩展**:同时进行位扩展和字扩展 ## 实验设备 - 单片机开发板(如STC89C52) - 存储芯片(如27C256、29C040等) - 逻辑门电路芯片(如74HC138、74HC373等) - 示波器、万用表等测试设备 - 连接线若干 ## 实验步骤 ### 1. 单芯片汉字存储实验 1. 连接27C256 EPROM芯片到单片机系统 2. 将16×16点阵汉字字库写入芯片 3. 编写程序读取并显示汉字 ### 2. 存储芯片字扩展实验 1. 使用地址译码器(如74HC138)扩展多片27C256 2. 将完整GB2312字库分布到各芯片中 3. 编写程序实现跨芯片汉字读取 ### 3. 存储芯片位扩展实验 1. 连接两片27C256实现16位数据总线扩展 2. 优化字库存储结构,提高读取速度 3. 测试并比较扩展前后的性能差异 ## 实验代码示例(单片机部分) ```c #include <reg52.h> #include <intrins.h> // 定义存储芯片控制引脚 sbit CE = P2^7; // 片选 sbit OE = P2^6; // 输出使能 sbit

    测控装备干扰源快速侦测系统设计研究.pdf

    测控装备干扰源快速侦测系统设计研究.pdf

    嵌入式八股文面试题库资料知识宝典-【开发】嵌入式开源项目&库&资料.zip

    嵌入式八股文面试题库资料知识宝典-【开发】嵌入式开源项目&库&资料.zip

    嵌入式八股文面试题库资料知识宝典-百度2022年嵌入式面试题.zip

    嵌入式八股文面试题库资料知识宝典-百度2022年嵌入式面试题.zip

    少儿编程scratch项目源代码文件案例素材-空间站.zip

    少儿编程scratch项目源代码文件案例素材-空间站.zip

    基于关联规则的商业银行个性化产品推荐.pdf

    基于关联规则的商业银行个性化产品推荐.pdf

    嵌入式八股文面试题库资料知识宝典-Linux基础使用.zip

    嵌入式八股文面试题库资料知识宝典-Linux基础使用.zip

    MATLAB仿真轴棱锥生成贝塞尔高斯光束及环形光束光强图像分析

    内容概要:本文详细介绍了利用MATLAB进行轴棱锥生成贝塞尔高斯光束及环形光束光强图像的仿真研究。首先阐述了实验的背景与目标,强调了MATLAB在光学和计算科学领域的广泛应用。接着,具体描述了实验的方法与步骤,包括材料准备、仿真过程中的参数设定和光束生成代码编写。最后,对实验结果进行了深入分析,展示了贝塞尔高斯光束和环形光束的光强分布特点,验证了其光学性能的预期表现。文章还对未来的研究方向和技术改进提出了展望。 适合人群:从事光学、物理学及相关领域研究的专业人士,特别是对光束生成和光学性能分析感兴趣的科研工作者。 使用场景及目标:适用于需要进行光束生成和性能分析的实验室环境,旨在帮助研究人员更好地理解和优化光束特性和传播行为。 其他说明:本文不仅提供了详细的实验方法和步骤,还附有丰富的实验结果和数据分析,为后续研究提供了宝贵的参考资料。

    三电平NPC型APF模型预测控制中滞环控制模块的应用与开关频率优化研究

    内容概要:本文探讨了三电平NPC型有源电力滤波器(APF)的模型预测控制(MPC)中存在的开关频率过高问题及其解决方案。传统MPC方法会导致极高的开关频率,增加了系统的能耗和热量。通过引入滞环控制模块,可以在不大幅牺牲性能的情况下有效降低开关频率。具体来说,滞环控制通过在价值函数计算后增加一个判断条件,对状态切换进行惩罚,从而减少不必要的开关动作。实验结果显示,开关频率从4392Hz降至3242Hz,降幅达26.2%,虽然电流总谐波畸变率(THD)略有上升,但仍符合国家标准。此外,文中还提出了动态调整滞环宽度的方法,以进一步优化不同负载条件下的表现。 适合人群:从事电力电子、电力系统控制领域的研究人员和技术人员,特别是关注APF和MPC技术的人群。 使用场景及目标:适用于需要优化APF系统开关频率的研究和工程项目,旨在提高系统效率并降低成本。目标是在不影响系统性能的前提下,显著降低开关频率,减少能量损失和热管理难度。 其他说明:文章不仅提供了理论分析,还包括具体的实现代码片段,有助于读者理解和实践。同时,强调了在实际应用中需要注意的问题,如中点电位漂移等。

    计算流体力学中三维POD DMD程序的原网格处理方法及应用

    内容概要:本文介绍了三维POD DMD程序在处理原网格数据方面的独特优势和技术细节。首先阐述了该程序能读取结构化和非结构化网格数据及其拓扑关系,在生成模态数据过程中保持原始网格形态而不需要进行网格插值操作。接着展示了简化版本的Python代码片段,揭示了读取网格数据和生成模态数据的核心逻辑。最后提到提供的辅助学习资料如代码、视频教程、Word教程和实例数据,帮助用户深入理解并掌握该程序的应用。 适合人群:从事计算流体力学领域的研究人员和技术爱好者,尤其是那些希望提高数据处理效率的人群。 使用场景及目标:适用于需要处理复杂网格数据的研究项目,旨在简化数据处理流程,提升工作效率,同时保持数据的原始特性。 其他说明:文中不仅提供了理论性的讲解,还有具体的代码示例和丰富的学习资源,使读者可以边学边练,快速上手。

    融合双向路由注意力的多尺度X光违禁品检测.pdf

    融合双向路由注意力的多尺度X光违禁品检测.pdf

    嵌入式八股文面试题库资料知识宝典-Linux_Shell基础使用.zip

    嵌入式八股文面试题库资料知识宝典-Linux_Shell基础使用.zip

    嵌入式八股文面试题库资料知识宝典-联发科2021武汉嵌入式软件开发.zip

    嵌入式八股文面试题库资料知识宝典-联发科2021武汉嵌入式软件开发.zip

    基于有限体积法Godunov格式的管道泄漏检测模型研究.pdf

    基于有限体积法Godunov格式的管道泄漏检测模型研究.pdf

    嵌入式八股文面试题库资料知识宝典-ARM常见面试题目.zip

    嵌入式八股文面试题库资料知识宝典-ARM常见面试题目.zip

    基于LWR问题的无证书全同态加密方案.pdf

    基于LWR问题的无证书全同态加密方案.pdf

    嵌入式八股文面试题库资料知识宝典-符坤面试经验.zip

    嵌入式八股文面试题库资料知识宝典-符坤面试经验.zip

    三电平逆变器带不平衡负载的DSC与双闭环PI控制策略仿真研究

    内容概要:本文详细探讨了三电平逆变器在带不平衡负载条件下的仿真研究。主要内容包括仿真环境的搭建、不同拓扑结构的选择(如T型、I型NPC和ANPC)、延时相消法(DSC)和双二阶广义积分器(DSOGI)的正负序分离控制策略、SVPWM或SPWM调制技术的应用、双闭环PI控制以及直流均压控制。文中通过具体的参数设置(交流电压220V,直流侧电压750V)进行了详细的仿真实验,并展示了各个控制策略的效果。最终,通过仿真实验验证了所提出方法的有效性,确保了交流侧三相电压波形的对称性和电流波形的自适应调节。 适合人群:从事电力电子、电机驱动、新能源发电等领域研究的技术人员和研究人员。 使用场景及目标:适用于需要理解和掌握三电平逆变器在复杂负载条件下控制策略的研究人员和技术人员。目标是提高对三电平逆变器及其控制策略的理解,优化实际应用中的性能。 其他说明:本文不仅提供了理论分析,还包含了具体的仿真步骤和代码实现,有助于读者更好地理解和应用相关技术。

    汽车工程中4WID-4WIS 14自由度整车动力学模型的Matlab/Simulink建模及应用

    内容概要:本文介绍了如何使用Matlab/Simulink软件构建一个14自由度的四轮驱动-四轮转向(4WID-4WIS)整车动力学模型。该模型涵盖了整车纵向、横向、横摆、车身俯仰、侧倾、垂向跳动及四轮旋转和垂向自由度等多个方面,旨在全面反映车辆在不同工况下的动态行为。文中详细描述了各子系统的建模方法,包括转向系统、整车系统、悬架系统、魔术轮胎pac2002、车轮系统和PI驾驶员模块。同时,提供了Simulink源码文件、建模说明文档及相关参考资料,便于用户理解和应用。 适用人群:主要面向汽车工程师、研究人员以及对汽车动力学和Simulink建模感兴趣的学习者。 使用场景及目标:①帮助用户深入了解车辆在各种工况下的动态行为;②为车辆控制策略的制定提供理论支持和技术手段;③作为学习和研究整车动力学建模的有效工具。 其他说明:该模型采用模块化建模方法,提高了模型的清晰度和可维护性,同时也提升了建模效率。

Global site tag (gtag.js) - Google Analytics