📚 课程目录第2章分布式事务基础

2. 分布式事务基础：ACID理论、CAP定理、BASE理论、两阶段提交(2PC)原理

在深入连接池水位巡检与可观测性集成之前，必须牢固掌握分布式事务的理论基石。本章将系统梳理从单机事务到分布式事务的核心演进路径，涵盖ACID、CAP、BASE以及经典的2PC协议，为后续分析事务性连接池的行为特征奠定基础。

ACID是数据库事务正确执行的四个基本特性，由Jim Gray在20世纪70年代提出，是衡量事务可靠性的标准模型。

特性	英文	核心含义	典型违反场景
原子性	Atomicity	事务中的所有操作要么全部成功，要么全部失败回滚，不存在中间状态。	转账扣款成功但入账失败，资金凭空消失。
一致性	Consistency	事务执行前后，数据库必须满足所有预定义的约束（如唯一键、外键、业务规则）。	账户余额出现负数，违反业务约束。
隔离性	Isolation	并发执行的事务之间互不干扰，每个事务都感觉自己是唯一运行的。	脏读、不可重复读、幻读。
持久性	Durability	一旦事务提交成功，其结果必须永久保存，即使系统崩溃也不会丢失。	提交后断电，数据丢失。

运维视角：在连接池场景中，ACID的隔离性直接影响连接复用时的并发控制策略。如果连接池中的连接在事务未提交时被其他线程获取，可能导致脏读或未提交读，这是水位巡检中需要重点关注的连接泄漏信号。

2000年，Eric Brewer提出CAP定理，指出分布式数据系统最多只能同时满足以下三个特性中的两个：

  核心权衡：由于网络分区是分布式系统的必然现象，P是必须选择的。因此实际决策是在CP（强一致性）和AP（最终一致性）之间做出选择。例如，ZooKeeper选择CP，而Eureka选择AP。

BASE理论由Dan Pritchett提出，是对AP（可用性+分区容错性）路线的实践总结，强调牺牲强一致性以换取高可用和可扩展性。

要素	英文	解释	与ACID对比
基本可用	Basically Available	系统允许出现部分功能降级，但核心服务保持可用。例如，响应时间变长或返回降级页面。	ACID要求完全可用
软状态	Soft State	允许系统存在中间状态，数据副本之间的同步存在延迟。	ACID要求状态强一致
最终一致性	Eventually Consistent	经过一段时间后，所有副本最终会达到一致状态，但无法保证具体时间点。	ACID要求立即一致

连接池关联：在BASE模型下，事务性连接池可能长时间持有连接等待最终一致性的达成。这种“软状态”等待期是连接池水位异常升高的常见原因，巡检系统需要能够识别这种“等待中”的连接状态。

两阶段提交（Two-Phase Commit，2PC）是分布式事务中最经典的原子提交协议，由一个协调者（Coordinator）和多个参与者（Participant）组成。

阶段一：准备阶段（Voting Phase）
- 协调者向所有参与者发送 PREPARE 请求。
- 每个参与者执行本地事务，写入Undo/Redo日志，但暂不提交。
- 参与者返回 YES（准备成功）或 NO（准备失败）。
阶段二：提交/中止阶段（Commit/Abort Phase）
- 如果所有参与者都返回 YES，协调者广播 COMMIT 请求。
- 如果有任何一个参与者返回 NO 或超时，协调者广播 ABORT 请求。
- 参与者收到 COMMIT 后正式提交本地事务；收到 ABORT 后根据Undo日志回滚。

问题	描述	对连接池的影响
同步阻塞	参与者在准备阶段锁定资源，等待协调者的最终指令，期间无法释放连接和锁。	连接池中的连接被长时间占用，水位持续上升，可能导致连接耗尽。
单点故障	协调者一旦崩溃，所有参与者将一直阻塞，无法自行决定提交或回滚。	连接池中出现大量“悬挂”连接，巡检系统需要检测这种异常状态。
数据不一致	在阶段二，如果协调者发送COMMIT后自身崩溃，部分参与者可能未收到COMMIT而保持阻塞，导致数据不一致。	连接池中部分连接处于“待提交”状态，需要巡检识别并触发补偿机制。

  可观测性切入点：2PC的同步阻塞特性使得连接池水位与事务阶段强相关。通过OpenTelemetry在协调者和参与者两端注入Span，可以精确追踪每个事务处于“准备中”、“已准备”、“已提交”或“已回滚”状态，从而量化连接池中“阻塞连接”的占比，这是水位巡检的核心指标之一。

本章的理论基础为后续连接池巡检提供了以下关键认知：