CAP 与 PACELC:一致性、可用性、分区容错和延迟权衡
阅读时间:约 40 50 分钟 适用方向:高级 Java 工程师、技术专家、应用架构师、分布式系统架构师 一、开篇:分布式系统的"不可能三角" 2000 年,Eric Brewer 在 ACM PODC 会议上…
162一致性模型:强一致、顺序一致、因果一致、最终一致和会话一致
一、问题定义:分布式系统的"不一致之痛" 想象一个场景:你在淘宝上抢到了一部限量版手机,付款成功、订单显示"已支付",但回头一看库存却显示"已售罄"——你的订单被取消了。这是什么原因?答案是 分布式系统的一致性…
163BASE 理论:基本可用、软状态、最终一致及工程落地
阅读时间 :约 45 分钟 前置知识 :CAP 定理、分布式系统基础、事务 ACID 难度 :进阶 一、为什么需要 BASE:从 CAP 的"不可能三角"说起 在讨论 BASE 之前,必须回顾 CAP 定理。2…
164共识算法基础:Paxos、Raft 的角色、日志复制和安全性
阅读时间 :约 40 50 分钟 难度 :进阶 分类 :11 分布式理论、事务与一致性(161–175) 前置知识 :分布式系统基础概念、CAP 定理、RPC 通信模型 目录 1. 为什么需要共识算法 2. 共…
165Raft 选举与日志复制:任期、心跳、提交规则和脑裂防护
阅读时间 :约 40 50 分钟 前置知识 :分布式系统基础概念、CAP 理论、网络通信基础 难度 :进阶 分类 :11 分布式理论、事务与一致性 1 . 为什么需要共识算法 1.1 从一个简单的场景开始 假设…
166分布式事务 XA/2PC/3PC
阅读时间 :约 45 分钟 分类 :11 分布式理论、事务与一致性 一、问题的起点:为什么需要分布式事务? 在单机数据库时代,事务是简单的——一个 BEGIN / COMMIT / ROLLBACK 就能保证 …
167TCC 模式:Try/Confirm/Cancel、空回滚、悬挂和幂等
分类:分布式理论、事务与一致性(161–175) 阅读时间:约 45 分钟 一、为什么需要 TCC? 在单体应用中,数据库的 ACID 事务解决了绝大部分一致性问题。但进入分布式系统后,一次业务操作往往跨越多个…
168Saga 模式:编排式/协同式、补偿事务和长事务管理
正文 1 . 引言:分布式事务的困局与 Saga 的诞生 2007 年,eBay 的工程师们面临一个棘手的问题:一笔订单需要跨越支付、库存、物流三个独立服务,每个服务都有自己的数据库。传统的两阶段提交(2PC)…
169可靠消息最终一致性:本地消息表、事务消息、补偿与对账
阅读时间 :约 42 分钟 难度 :高级 适用范围 :分布式系统、微服务架构、金融交易系统 一、开篇:一个电商下单的分布式困境 假设你在开发一个电商下单服务。用户提交订单后,系统需要完成三件事: 1. 订单服务…
170Seata AT 模式:全局锁、undo log、分支事务和隔离限制
前言 分布式事务是分布式系统中最棘手的问题之一。一个业务操作跨多个数据库、多个服务,如何保证数据一致性?Seata 的 AT(Automatic Transaction)模式是目前国内使用最广泛的分布式事务方案…
171分布式 ID:UUID、数据库号段、Snowflake 的趋势递增与时钟回拨
前言 在单机时代,数据库自增主键( AUTO INCREMENT )就能解决 ID 生成问题。但进入分布式架构后,一个订单服务可能部署了几十个实例,每个实例都在往同一张订单表里写数据——数据库自增主键要么成为单…
172分布式锁选型:数据库、Redis、ZooKeeper 的一致性和可用性权衡
阅读时间 :约 45 分钟 难度 :中高级 分类 :分布式理论、事务与一致性 目录 1. 什么是分布式锁(10 分钟) 2. 分布式锁的核心需求模型(5 分钟) 3. 基于数据库的分布式锁(8 分钟) 4. 基…
173幂等设计:幂等键、去重、状态机、Token 与唯一约束
一、问题定义 1.1 什么是幂等 在数学中, f(x) = f(f(x)) 表示一个函数多次执行的结果与执行一次相同。在分布式系统中, 幂等 指:同一个操作执行一次和执行多次,对系统产生的影响相同,即最终状态一…
174分布式时钟:NTP、逻辑时钟、向量时钟和时间漂移问题
阅读时间 :约 45 分钟 适用读者 :Java 高级工程师 / 技术专家 / 架构师 本文属于「Java 技术专家与架构师面试:250 个高频考点总览」系列第 174 篇。 1 . 为什么分布式系统需要时钟 …
175数据对账与补偿体系:差异发现、重放、修复、审计和闭环
阅读时间 :约 45 分钟 难度 :中高级 适用人群 :Java 技术专家、分布式系统架构师、后端高级工程师 目录 1. 问题定义:分布式世界里的"账本"难题 2. 核心原理:对账与补偿的数学本质 3. 差异发…