3. 事务隔离级别：读未提交、读已提交、可重复读、串行化，以及Go中的实现方式

事务隔离级别是数据库并发控制的基石，决定了事务之间如何感知彼此的未提交或已提交修改。在报表回放场景中，选择错误的隔离级别会导致数据不一致、重复行或幻读，直接影响报表的准确性。Go 语言通过 database/sql 标准库提供了对隔离级别的精细控制。

3.1 四种标准隔离级别

SQL 标准定义了四种隔离级别，从低到高依次为：读未提交、读已提交、可重复读、串行化。每种级别解决不同的并发问题，同时也带来不同的性能开销。

3.2 隔离级别与并发异常的关系

下图展示了四种隔离级别对三类并发异常的防护能力。箭头方向表示隔离级别递增，防护能力也随之增强。

3.3 Go 中设置事务隔离级别

Go 的 database/sql 包通过 TxOptions 结构体控制隔离级别。核心 API 如下：

type TxOptions struct {
    Isolation IsolationLevel
    ReadOnly  bool
}

type IsolationLevel int

const (
    LevelDefault         IsolationLevel = -1
    LevelReadUncommitted IsolationLevel = 0
    LevelReadCommitted   IsolationLevel = 1
    LevelRepeatableRead  IsolationLevel = 2
    LevelSerializable    IsolationLevel = 3
)

使用 db.BeginTx(ctx, &sql.TxOptions{Isolation: sql.LevelSerializable}) 即可开启指定隔离级别的事务。

3.4 各隔离级别的 Go 实现示例

以下代码展示了如何在 Go 中分别使用四种隔离级别执行查询：

// 读未提交：适合近似统计，不要求精确
tx, _ := db.BeginTx(ctx, &sql.TxOptions{Isolation: sql.LevelReadUncommitted})
defer tx.Rollback()
tx.QueryContext(ctx, "SELECT COUNT(*) FROM orders WHERE status = 'pending'")

// 读已提交：默认级别，适合大多数 OLTP 场景
tx, _ = db.BeginTx(ctx, &sql.TxOptions{Isolation: sql.LevelReadCommitted})
defer tx.Rollback()
tx.QueryContext(ctx, "SELECT * FROM accounts WHERE id = ?", 1001)

// 可重复读：适合对账、报表快照
tx, _ = db.BeginTx(ctx, &sql.TxOptions{Isolation: sql.LevelRepeatableRead})
defer tx.Rollback()
rows, _ := tx.QueryContext(ctx, "SELECT balance FROM accounts WHERE id = ?", 1001)
// 同一事务内再次读取同一行，结果不变

// 串行化：适合金融结算、强一致性审计
tx, _ = db.BeginTx(ctx, &sql.TxOptions{Isolation: sql.LevelSerializable})
defer tx.Rollback()
tx.ExecContext(ctx, "UPDATE accounts SET balance = balance - 100 WHERE id = ?", 1001)
tx.ExecContext(ctx, "UPDATE accounts SET balance = balance + 100 WHERE id = ?", 1002)
tx.Commit()

3.5 数据库驱动的差异与注意事项

不同数据库驱动对隔离级别的支持程度不同，Go 标准库只提供抽象层，具体实现依赖底层驱动。

3.6 隔离级别选择决策树

在报表回放场景中，选择隔离级别可参考以下决策流程：

1. 是否需要精确的行级一致性？ 是 → 至少使用可重复读；否 → 读已提交即可。
2. 回放过程中是否允许出现幻读？ 不允许 → 使用串行化或数据库特定的快照隔离。
3. 回放数据是否来自生产库的实时流？ 是 → 建议使用可重复读，避免读到未提交的变更。
4. 回放目标库是否支持 MVCC？ 支持 → 可重复读通常足够；不支持 → 考虑串行化。

3.7 报表回放中的隔离级别最佳实践

• 快照隔离优先：如果数据库支持 MVCC 快照（如 MySQL InnoDB 的可重复读、PostgreSQL 的可重复读），优先使用，兼顾一致性与并发性能。
• 避免读未提交：在报表回放中，读未提交可能导致回放结果与原始报表不一致，除非明确知道数据源不会产生脏数据。
• 串行化用于审计：当回放结果需要作为审计证据时，使用串行化级别，但要做好重试和超时处理。
• 显式设置隔离级别：不要依赖数据库默认值，在 BeginTx 时显式指定，确保回放行为可预测。