理解分布式一致性:Paxos协议之Generalized Paxos Byzantine Paxos

2024-02-24 17:18

本文主要是介绍理解分布式一致性:Paxos协议之Generalized Paxos Byzantine Paxos,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

理解分布式一致性:Paxos协议之Generalized Paxos & Byzantine Paxos

  • Generalized Paxos
  • Byzantine Paxos
    • Byzantine Multi-Paxos
    • Fast Byzantine Multi-Paxos

在前面一篇文章我们讲到了理解分布式一致性:Paxos协议之Cheap Paxos & Fast Paxos,本篇文章我会讲解Paxos协议的另外两个变种:Generalized Paxos和Byzantine Paxos。

Generalized Paxos

我们大家都知道,分布式一致性的最大问题就是数据同步的问题,而产生问题的原因就是冲突,按照之前讲到的各种Paxos协议方案,发生了冲突之后就必须解决冲突然后重新发送请求,这样就会提高数据同步的成本和时间,那么有没有更好的方式来解决这个问题呢?

答案肯定是有。在分布式系统中,冲突是不可避免的,遇到冲突的时候是不是每次都解决冲突然后重新发送请求呢?我们举个例子:

如果Client1发送请求ReadA,Client2 发送请求ReadB,系统4个Acceptors,有2个接收ReadA,有2个接收ReadB,在共识层面来说,因为没有达到最大的共识个数,达不成共识,需要重新发送。但是如果我们仔细观察一下两个请求,ReadA,ReadB这两个命令是没有任何联系的,无论先执行哪一个都是同样的效果。那么我们可以认为这种情况是没有冲突的,我们在执行层面自行安排两个请求的顺序,而不用再次共识。 这就叫做Generalized Paxos。

这种共识的前提就是不同命令的先后顺序无关。下面以序列图的形式更加详细的介绍:

Client1 Client2 Leader Acceptor1 Acceptor2 Acceptor3 Learner Accept!(ReadA) Accept!(ReadA) Accept!(ReadA) Accept!(ReadA) Accept!(ReadB) Accept!(ReadB) Accept!(ReadB) Accept!(ReadB) Leader and Acceptor1 Accepted(N,<ReadA,ReadB>), Acceptor2 and Acceptor3 Accepted(N,<ReadB,ReadA>), 顺序无关,不冲突,最终值 Accepted(N,<ReadA,ReadB>) Accepted(N,<ReadA,ReadB>) Accepted(N,<ReadA,ReadB>) Accepted(N,<ReadA,ReadB>) Accepted(N,<ReadA,ReadB>) 下面是冲突的情况 ,WriteA和 ReadA同时发 生,产生冲突时, Leader自行 解决冲突,需要重 发请求 Accept!(ReadA) Accept!(ReadA) Accept!(ReadA) Accept!(ReadA) Accept!(WriteA) Accept!(WriteA) Accept!(WriteA) Accept!(WriteA) Accepted(N,<ReadA,WriteA>) Accepted(N,<ReadA,WriteA>) Accepted(N,<WriteA,ReadA>) Accepted(N,<WriteA,ReadA>) 冲突产生, Leader根据协议自行决定执行顺序,这里是<ReadA,WriteA>,N+1 Accept!(N+1,<ReadA,WriteA>) Accept!(N+1,<ReadA,WriteA>) Accept!(N+1,<ReadA,WriteA>) Accepted(N+1,<ReadA,WriteA>) Accepted(N+1,<ReadA,WriteA>) Accepted(N+1,<ReadA,WriteA>) Client1 Client2 Leader Acceptor1 Acceptor2 Acceptor3 Learner

Byzantine Paxos

最后一个我们要讲的Paxos协议是Byzantine Paxos。熟悉虚拟货币的人应该对拜占庭协议并不陌生,这里我们也不多讲拜占庭协议,后面我会用单独的文章来详细介绍拜占庭协议。

上面我们讲到的所有的Paxos协议,只讲到了服务出错的情况,并没有考虑服务伪造篡改信息的情况,即并没有考虑到恶意节点。而拜占庭协议就是为了解决这个问题而产生的。

Byzantine Paxos比正常的Paxos协议多了一个消息验证的过程,这个验证使用了拜占庭协议。

Byzantine Multi-Paxos

下面是个Byzantine Multi-Paxos的序列图:

Client Proposer Acceptor1 Acceptor2 Acceptor3 Learner Request Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) 验证消息 Verify(N,I,V) - BROADCAST Verify(N,I,V) - BROADCAST Verify(N,I,V) - BROADCAST Verify(N,I,V) - BROADCAST Accepted(N,V) Accepted(N,V) Accepted(N,V) Accepted(N,V) Accepted(N,V) Accepted(N,V) Response(V) Client Proposer Acceptor1 Acceptor2 Acceptor3 Learner

Fast Byzantine Multi-Paxos

同样的也会有Fast Byzantine Multi-Paxos,为了更加Fast,本协议将Verify和Accepted进行融合,放在一步完成。

Client Acceptor1 Acceptor2 Acceptor3 Learner Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) 验证消息,同时 Accepted Accepted(N,I,V) - BROADCAST Accepted(N,I,V) - BROADCAST Accepted(N,I,V) - BROADCAST Accepted(N,I,V) - BROADCAST Accepted(N,I,V) - BROADCAST Accepted(N,I,V) - BROADCAST Accepted(N,I,V) - BROADCAST Response(V) Client Acceptor1 Acceptor2 Acceptor3 Learner

更多精彩内容且看:

  • 区块链从入门到放弃系列教程-涵盖密码学,超级账本,以太坊,Libra,比特币等持续更新
  • Spring Boot 2.X系列教程:七天从无到有掌握Spring Boot-持续更新
  • Spring 5.X系列教程:满足你对Spring5的一切想象-持续更新
  • java程序员从小工到专家成神之路(2020版)-持续更新中,附详细文章教程

更多教程请参考flydean的博客

这篇关于理解分布式一致性:Paxos协议之Generalized Paxos Byzantine Paxos的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/742783

相关文章

从原理到实战深入理解Java 断言assert

《从原理到实战深入理解Java断言assert》本文深入解析Java断言机制,涵盖语法、工作原理、启用方式及与异常的区别,推荐用于开发阶段的条件检查与状态验证,并强调生产环境应使用参数验证工具类替代... 目录深入理解 Java 断言(assert):从原理到实战引言:为什么需要断言?一、断言基础1.1 语

如何在Spring Boot项目中集成MQTT协议

《如何在SpringBoot项目中集成MQTT协议》本文介绍在SpringBoot中集成MQTT的步骤,包括安装Broker、添加EclipsePaho依赖、配置连接参数、实现消息发布订阅、测试接口... 目录1. 准备工作2. 引入依赖3. 配置MQTT连接4. 创建MQTT配置类5. 实现消息发布与订阅

使用Python进行GRPC和Dubbo协议的高级测试

《使用Python进行GRPC和Dubbo协议的高级测试》GRPC(GoogleRemoteProcedureCall)是一种高性能、开源的远程过程调用(RPC)框架,Dubbo是一种高性能的分布式服... 目录01 GRPC测试安装gRPC编写.proto文件实现服务02 Dubbo测试1. 安装Dubb

浅析如何保证MySQL与Redis数据一致性

《浅析如何保证MySQL与Redis数据一致性》在互联网应用中,MySQL作为持久化存储引擎,Redis作为高性能缓存层,两者的组合能有效提升系统性能,下面我们来看看如何保证两者的数据一致性吧... 目录一、数据不一致性的根源1.1 典型不一致场景1.2 关键矛盾点二、一致性保障策略2.1 基础策略:更新数

Golang实现Redis分布式锁(Lua脚本+可重入+自动续期)

《Golang实现Redis分布式锁(Lua脚本+可重入+自动续期)》本文主要介绍了Golang分布式锁实现,采用Redis+Lua脚本确保原子性,持可重入和自动续期,用于防止超卖及重复下单,具有一定... 目录1 概念应用场景分布式锁必备特性2 思路分析宕机与过期防止误删keyLua保证原子性可重入锁自动

基于MongoDB实现文件的分布式存储

《基于MongoDB实现文件的分布式存储》分布式文件存储的方案有很多,今天分享一个基于mongodb数据库来实现文件的存储,mongodb支持分布式部署,以此来实现文件的分布式存储,需要的朋友可以参考... 目录一、引言二、GridFS 原理剖析三、Spring Boot 集成 GridFS3.1 添加依赖

Redis中的数据一致性问题以及解决方案

《Redis中的数据一致性问题以及解决方案》:本文主要介绍Redis中的数据一致性问题以及解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、Redis 数据一致性问题的产生1. 单节点环境的一致性问题2. 网络分区和宕机3. 并发写入导致的脏数据4. 持

spring IOC的理解之原理和实现过程

《springIOC的理解之原理和实现过程》:本文主要介绍springIOC的理解之原理和实现过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、IoC 核心概念二、核心原理1. 容器架构2. 核心组件3. 工作流程三、关键实现机制1. Bean生命周期2.

Redis实现分布式锁全解析之从原理到实践过程

《Redis实现分布式锁全解析之从原理到实践过程》:本文主要介绍Redis实现分布式锁全解析之从原理到实践过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、背景介绍二、解决方案(一)使用 SETNX 命令(二)设置锁的过期时间(三)解决锁的误删问题(四)Re

Gradle下如何搭建SpringCloud分布式环境

《Gradle下如何搭建SpringCloud分布式环境》:本文主要介绍Gradle下如何搭建SpringCloud分布式环境问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录Gradle下搭建SpringCloud分布式环境1.idea配置好gradle2.创建一个空的gr