分布式系统架构理论 - CAP、BASE

简介: 1. CAP 理论 任何分布式架构设计的系统,只能同时满足 CAP 中的任意两种,无法同时三种并存。 CAP(Consistency、Availability、Partition tolerance) 是三个单词的缩写,分别代表一致性,可用性,分区容错性。

1. CAP 理论

distribute-cap

任何分布式架构设计的系统,只能同时满足 CAP 中的任意两种,无法同时三种并存。
CAP(Consistency、Availability、Partition tolerance) 是三个单词的缩写,分别代表一致性,可用性,分区容错性。
这个理论到目前为止都适用于分布式架构系统。

1.1 Consistency 一致性

我们知道ACID中事务的一致性是指事务的执行不能破坏数据库数据的完整性和一致性,一个事务在执行前后,数据库都必须处于一致性状态。
也就是说,事务的执行结果必须是使数据库从一个一致性状态转变到另一个一致性状态。

举个例子:
A 转账 B ,A 扣款一百,B增加一百,这个是业务层级的一致性,连个业务都执行,才能保证最终一致性状态。

这种从刚开始的不变的状态,转变为另一种最终一致的状态,就是一致性。
分布式环境中的一致性是指数据在多个副本之间是否能够保持一致。这点应该不难理解,分布式集群架构中,有可能服务节点是多个,
这个时候我们就要考虑多个服务的情况下,读取的数据是否都能够一致,或者数据库集群中的数据是否都能够保证一致。

  1. 强一致性

要求所有系统中的数据必须一致,不管谁先执行操作,都要等到其他系统数据更新完成才能继续执行下一步。
这点就会对性能有一部分影响,因为要确保所有节点的完全一致。

数据库为例,单库的数据肯定是一致的。多库情况下,其他节点的数据必须等到日志更新所有数据库完全后才能读取,这样才会保证数据的一致性。

  1. 弱一致性 & 最终一致性

弱一致指数据更新后,不会立即要求所有的节点必须先同步,允许在一定时间后达到同步,这里面还有一种情况就是可能数据同步会失败,怎么办?
重试机制,失败了就再次尝试,直到最终达到一致性。

1.2 Availability 可用性

用户访问的服务会处在一种一直可用的集群状态,也就是服务高可用。能够保证一个请求在规定的有限时间返回结果。这里面还要考虑到服务
熔断、异常返回、服务降级(容错性)。这些都是微服务里面的重要概念。

1.3 Partition tolerance 分区容错性

容错性,那就是网络节点之间无法通信的情况下,节点被隔离,产生了网络分区, 整个系统仍然是可以工作的.
随着网络节点出现问题,产生了分区, 这时候其他节点和出错节点的数据必然会不一致,这时候就要面临选择,
是选择停掉所有的服务,等网络节点修复后恢复数据,以此来保证一致性(PC),
还是选择继续提供服务,放弃强一致性的要求,以此来保证整体的可用性(PA)。

2 BASE 理论

eBay的架构师Dan Pritchett源于对大规模分布式系统的实践总结,在ACM上发表文章提出BASE理论,BASE理论是对CAP理论的延伸,

核心思想是即使无法做到强一致性(Strong Consistency,CAP的一致性就是强一致性),但应用可以采用适合的方式达到最终一致性
(Eventual Consitency)

BASE是Basically Available(基本可用)、Soft state(软状态)和Eventually consistent(最终一致性)三个短语的缩写。
BASE理论是对CAP中一致性和可用性权衡的结果,是对大规模互联网系统分布式实践的总结。
BASE理论的核心思想是:即使无法做到强一致性,可以通过一些软状态和最终一致性的方式,来尽量达到一致性的要求。

2.1 基本可用

指分布式系统在出现故障的时候,允许损失部分可用性,保证核心可用。那些情况属于这种基本可用呢?

  1. 损失部分响应时间换取:

如果一个系统原本应该 10ms 内响应,但是现在可以允许出错后重试,可以规定重试N次,可能导致的结果就是时间变为 10*N,
或者通过网关转向可用的服务,这种情况比较乐观,可能不需要N次。

  1. 损失部分非核心系统功能:

正常的,我们访问一个网站服务会返回我们想要的结果,但是如果后台服务发生了雪崩或者服务降级,我们也会有降级页面返回的处理结果,
当然对于客户可能不知道后台发生了什么,只是被引导到了降级页面并看到了立即返回结果,虽然结果不是我们想要的,但是保证了
基本响应。

2.2 软状态

软状态是指允许系统存在中间状态,而该中间状态不会影响系统整体可用性。分布式存储中一般一份数据至少会有三个副本,允许不同节点间副本同步的延时就是软状态的体现。
mysql replication的异步复制也是一种体现。

2.3 最终一致性

最终一致性:各个节点的数据不一致,可以通过一系列的措施来进行更新补偿,最终达到一致性的要求。这个过程就是最终一致性。
强调的是要求最终一致,不需要实时保证系统数据的强一致。

求关注

程序领域

目录
相关文章
|
10天前
|
存储 Prometheus Cloud Native
分布式系统架构6:链路追踪
本文深入探讨了分布式系统中的链路追踪理论,涵盖追踪与跨度的概念、追踪系统的模块划分及数据收集的三种方式。链路追踪旨在解决复杂分布式系统中请求流转路径不清晰的问题,帮助快速定位故障和性能瓶颈。文中介绍了基于日志、服务探针和边车代理的数据收集方法,并简述了OpenTracing、OpenCensus和OpenTelemetry等链路追踪协议的发展历程及其特点。通过理解这些概念,可以更好地掌握开源链路追踪框架的使用。
65 41
|
20天前
|
设计模式 存储 算法
分布式系统架构5:限流设计模式
本文是小卷关于分布式系统架构学习的第5篇,重点介绍限流器及4种常见的限流设计模式:流量计数器、滑动窗口、漏桶和令牌桶。限流旨在保护系统免受超额流量冲击,确保资源合理分配。流量计数器简单但存在边界问题;滑动窗口更精细地控制流量;漏桶平滑流量但配置复杂;令牌桶允许突发流量。此外,还简要介绍了分布式限流的概念及实现方式,强调了限流的代价与收益权衡。
60 11
|
22天前
|
设计模式 监控 Java
分布式系统架构4:容错设计模式
这是小卷对分布式系统架构学习的第4篇文章,重点介绍了三种常见的容错设计模式:断路器模式、舱壁隔离模式和重试模式。断路器模式防止服务故障蔓延,舱壁隔离模式通过资源隔离避免全局影响,重试模式提升短期故障下的调用成功率。文章还对比了这些模式的优缺点及适用场景,并解释了服务熔断与服务降级的区别。尽管技术文章阅读量不高,但小卷坚持每日更新以促进个人成长。
45 11
|
23天前
|
消息中间件 存储 安全
分布式系统架构3:服务容错
分布式系统因其复杂性,故障几乎是必然的。那么如何让系统在不可避免的故障中依然保持稳定?本文详细介绍了分布式架构中7种核心的服务容错策略,包括故障转移、快速失败、安全失败等,以及它们在实际业务场景中的应用。无论是支付场景的快速失败,还是日志采集的安全失败,每种策略都有自己的适用领域和优缺点。此外,文章还为技术面试提供了解题思路,助你在关键时刻脱颖而出。掌握这些策略,不仅能提升系统健壮性,还能让你的技术栈更上一层楼!快来深入学习,走向架构师之路吧!
57 11
|
25天前
|
自然语言处理 负载均衡 Kubernetes
分布式系统架构2:服务发现
服务发现是分布式系统中服务实例动态注册和发现机制,确保服务间通信。主要由注册中心和服务消费者组成,支持客户端和服务端两种发现模式。注册中心需具备高可用性,常用框架有Eureka、Zookeeper、Consul等。服务注册方式包括主动注册和被动注册,核心流程涵盖服务注册、心跳检测、服务发现、服务调用和注销。
68 12
|
1月前
|
消息中间件 架构师 数据库
本地消息表事务:10Wqps 高并发分布式事务的 终极方案,大厂架构师的 必备方案
45岁资深架构师尼恩分享了一篇关于分布式事务的文章,详细解析了如何在10Wqps高并发场景下实现分布式事务。文章从传统单体架构到微服务架构下分布式事务的需求背景出发,介绍了Seata这一开源分布式事务解决方案及其AT和TCC两种模式。随后,文章深入探讨了经典ebay本地消息表方案,以及如何使用RocketMQ消息队列替代数据库表来提高性能和可靠性。尼恩还分享了如何结合延迟消息进行事务数据的定时对账,确保最终一致性。最后,尼恩强调了高端面试中需要准备“高大上”的答案,并提供了多个技术领域的深度学习资料,帮助读者提升技术水平,顺利通过面试。
本地消息表事务:10Wqps 高并发分布式事务的 终极方案,大厂架构师的 必备方案
|
1月前
|
存储 算法 安全
分布式系统架构1:共识算法Paxos
本文介绍了分布式系统中实现数据一致性的重要算法——Paxos及其改进版Multi Paxos。Paxos算法由Leslie Lamport提出,旨在解决分布式环境下的共识问题,通过提案节点、决策节点和记录节点的协作,确保数据在多台机器间的一致性和可用性。Multi Paxos通过引入主节点选举机制,优化了基本Paxos的效率,减少了网络通信次数,提高了系统的性能和可靠性。文中还简要讨论了数据复制的安全性和一致性保障措施。
46 1
|
2月前
|
NoSQL Java 数据处理
基于Redis海量数据场景分布式ID架构实践
【11月更文挑战第30天】在现代分布式系统中,生成全局唯一的ID是一个常见且重要的需求。在微服务架构中,各个服务可能需要生成唯一标识符,如用户ID、订单ID等。传统的自增ID已经无法满足在集群环境下保持唯一性的要求,而分布式ID解决方案能够确保即使在多个实例间也能生成全局唯一的标识符。本文将深入探讨如何利用Redis实现分布式ID生成,并通过Java语言展示多个示例,同时分析每个实践方案的优缺点。
76 8
|
3月前
|
NoSQL Java Redis
太惨痛: Redis 分布式锁 5个大坑,又大又深, 如何才能 避开 ?
Redis分布式锁在高并发场景下是重要的技术手段,但其实现过程中常遇到五大深坑:**原子性问题**、**连接耗尽问题**、**锁过期问题**、**锁失效问题**以及**锁分段问题**。这些问题不仅影响系统的稳定性和性能,还可能导致数据不一致。尼恩在实际项目中总结了这些坑,并提供了详细的解决方案,包括使用Lua脚本保证原子性、设置合理的锁过期时间和使用看门狗机制、以及通过锁分段提升性能。这些经验和技巧对面试和实际开发都有很大帮助,值得深入学习和实践。
太惨痛: Redis 分布式锁 5个大坑,又大又深, 如何才能 避开 ?
|
1月前
|
存储 NoSQL Java
使用lock4j-redis-template-spring-boot-starter实现redis分布式锁
通过使用 `lock4j-redis-template-spring-boot-starter`,我们可以轻松实现 Redis 分布式锁,从而解决分布式系统中多个实例并发访问共享资源的问题。合理配置和使用分布式锁,可以有效提高系统的稳定性和数据的一致性。希望本文对你在实际项目中使用 Redis 分布式锁有所帮助。
128 5