第七章：事务

1. 事务的价值

事务（Transaction）把一组读写操作封装成一个原子单元，目标是在故障与并发环境下给应用提供可控语义，减少“部分成功”带来的状态爆炸。

事务要么全部提交，要么全部回滚。实现依赖 WAL、回滚日志或多版本机制。

ACID 里的一致性本质是“业务不变量成立”，主要由应用与约束共同保障，数据库只能提供检查与执行框架。

并发事务互不干扰的程度。理想目标是可串行化，但实际常在性能与隔离之间折中。

提交成功后，数据在崩溃后可恢复。单机依赖持久化日志，分布式依赖复制与恢复协议。

单对象原子操作（如 CAS）无法覆盖跨行、跨表、跨索引约束。以下场景通常需要多对象事务：

避免脏读与脏写，但仍可能出现不可重复读与幻读。

事务从一致快照读取，读写互不阻塞，常通过 MVCC 实现。可显著提升读性能，但仍可能发生写偏差。

典型 read-modify-write 并发覆盖问题。优先方案：

UPDATE account
SET balance = balance - 100
WHERE id = 1;

写偏差是“读取同一前提、更新不同对象”导致的不变量破坏，常由幻读触发。仅靠快照隔离通常不能完全避免。

单线程按顺序执行事务，语义最直接。适合高性能内存场景，但跨分区事务代价高。

通过共享锁与排他锁实现悲观并发控制，可实现可串行化，但会带来阻塞、死锁与延迟抖动。

基于快照隔离运行，在提交期检测危险依赖并中止冲突事务。读性能通常优于 2PL，是现代关系库常用折中。