-- 准备数据
CREATE TABLE account (id INT PRIMARY KEY, balance INT);
INSERT INTO account VALUES (1, 1000);

-- RC 下不可重复读演示
-- 事务A：
SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;
BEGIN;
SELECT balance FROM account WHERE id = 1;  -- 读为 1000

-- 事务B（此时更新并提交）：
UPDATE account SET balance = 500 WHERE id = 1;
COMMIT;

-- 事务A 再次查询：
SELECT balance FROM account WHERE id = 1;  -- 读为 500（两次不同！）
COMMIT;

-- RR 下不会出现不可重复读
-- 事务A：
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;
BEGIN;
SELECT balance FROM account WHERE id = 1;  -- 读为 1000

-- 事务B（此时更新并提交）：
UPDATE account SET balance = 500 WHERE id = 1;
COMMIT;

-- 事务A 再次查询：
SELECT balance FROM account WHERE id = 1;  -- 依然是 1000（快照读）
COMMIT;

-- 查看隐藏字段（需先开启）
SET SESSION innodb_monitor_enable = all;
-- 但隐藏字段不能直接 SELECT，要通过特定方式查看

-- 可以查看事务ID
SELECT TRX_ID FROM information_schema.INNODB_TRX;

-- 初始数据：account(id=1, balance=1000)

-- 时间线 T0：
-- 当前活跃事务：trx_id=101（未提交）, trx_id=102（未提交）
-- account 版本链：
--   当前: balance=1000, trx_id=100

-- 事务A（trx_id=103）开始：
BEGIN;
-- 此时创建 Read View:
--   creator_trx_id=103, up_limit_id=101, low_limit_id=104
--   trx_ids=[101, 102]

-- 查询 account 版本链：
--   当前: balance=1000, trx_id=100
--   trx_id=100 < up_limit_id=101 → 可见！
-- 读到 balance=1000

-- 事务B（trx_id=101）提交：
-- 事务C（trx_id=104，新开启）更新 account：
UPDATE account SET balance = 500 WHERE id = 1;
-- 版本链变为：
--   当前: balance=500, trx_id=104, roll_ptr → 旧版本
--   旧版本: balance=1000, trx_id=100, roll_ptr=null

-- 事务A 再次查询（RR 级别复用之前的 Read View）：
-- 遍历版本链：
--   当前: trx_id=104 >= low_limit_id=104 → 不可见
--   旧版本: trx_id=100 < up_limit_id=101 → 可见！
-- 仍然读到 balance=1000（一致性快照）

-- 如果是 RC 级别：
-- 会创建新的 Read View: up_limit_id=102, low_limit_id=105, trx_ids=[102]
-- 当前: trx_id=104 不在 trx_ids 且 <105 → 可见
-- 读到 balance=500

-- 查看 redo log 相关配置
SHOW VARIABLES LIKE 'innodb_log_file_size';      -- 每个 redo log 文件大小（默认 48MB）
SHOW VARIABLES LIKE 'innodb_log_files_in_group';  -- 文件组数量（默认 2）
SHOW VARIABLES LIKE 'innodb_log_buffer_size';     -- 缓冲大小（默认 16MB）
SHOW VARIABLES LIKE 'innodb_flush_log_at_trx_commit';

-- innodb_flush_log_at_trx_commit 取值：
-- 0：每秒刷盘（可能丢1秒数据）
-- 1：每次提交刷盘（最安全，性能最低）← 默认
-- 2：每次提交写入 OS cache，每秒刷盘（OS 崩溃丢1秒数据）

BEGIN;
UPDATE account SET balance = 800 WHERE id = 1;
-- InnoDB 将旧值（1000）写入 undo log

UPDATE account SET balance = 500 WHERE id = 1;
-- InnoDB 将旧值（800）写入 undo log

-- 如果 ROLLBACK：
-- 根据 undo log 逐步恢复：500 → 800 → 1000

-- 如果 COMMIT：
-- undo log 不会立即删除（可能有其他事务需要旧版本）
-- 当没有事务需要这些旧版本时，purge 线程清理

-- 场景：报表统计 + 实时更新
-- 事务A：统计所有用户余额总和（耗时查询）

SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;
BEGIN;

-- 事务A 读取快照（此时创建 Read View）
SELECT SUM(balance) FROM account;  -- 假设结果是 10000

-- 同时，事务B 在转账
BEGIN;
UPDATE account SET balance = balance - 100 WHERE id = 1;
UPDATE account SET balance = balance + 100 WHERE id = 2;
COMMIT;

-- 事务A 再次统计（RR 级别下仍然是之前的快照）
SELECT SUM(balance) FROM account;  -- 结果仍然是 10000（一致性快照）

-- 如果不使用 MVCC，事务B 会阻塞事务A 的查询
COMMIT;

-- 场景：事务执行过程中 MySQL 宕机

-- 已有数据：account(id=1, balance=1000)

-- 步骤1：执行事务
BEGIN;
UPDATE account SET balance = 500 WHERE id = 1;
-- Redo Log Buffer: page_5, offset_100, old=1000, new=500
-- Undo Log: id=1, balance=1000

COMMIT;
-- 步骤2：Redo Log Buffer 刷盘 → Redo Log File（成功）
-- 步骤3：返回客户端"提交成功"

-- 此时 MySQL 宕机（数据文件还没更新）
-- 重启时：

-- 步骤4：MySQL 恢复流程
-- 1. 读取 Redo Log，发现 page_5 需要重做
-- 2. 将 page_5 恢复为 balance=500
-- 3. 数据一致性得到保证

-- 如果是在 BEGIN 和 COMMIT 之间宕机：
-- 事务没有 COMMIT，Redo Log 中无该事务的记录
-- Undo Log 记录也不需要恢复（事务未提交）
-- 数据自动回滚到事务前的状态

-- 建表
CREATE TABLE t (id INT PRIMARY KEY, val INT);
INSERT INTO t VALUES (1, 100);

-- 时间线分析：

/* T1 */ BEGIN;  -- 事务A（trx_id=100）
/* T2 */ BEGIN;  -- 事务B（trx_id=101）
/* T3 */ UPDATE t SET val = 200 WHERE id = 1;  -- 事务B
/* T4 */ BEGIN;  -- 事务C（trx_id=102）
/* T5 */ UPDATE t SET val = 300 WHERE id = 1;  -- 事务C
/* T6 */ SELECT val FROM t WHERE id = 1;  -- 事务A，RR级别
-- 事务A 的 Read View：
--   creator_trx_id=100, up_limit_id=100, low_limit_id=103
--   trx_ids=[100, 101, 102]
-- 版本链：
--   val=300, trx_id=102 → trx_id=102 >= low_limit_id? NO, in trx_ids? YES → 不可见
--   val=200, trx_id=101 → trx_id=101 in trx_ids? YES → 不可见
--   val=100, trx_id=? (系统事务) → 小于 up_limit_id → 可见
-- 结果：val=100

/* T7 */ COMMIT;  -- 事务C
/* T8 */ SELECT val FROM t WHERE id = 1;  -- 事务A，RR级别（同一 Read View）
-- 结果：仍然是 val=100（RR 复用快照）

/* T9 */ COMMIT;  -- 事务B
/* T10 */ SELECT val FROM t WHERE id = 1;  -- 事务A，RR级别
-- 结果：仍然是 val=100

/* T11 */ COMMIT;  -- 事务A

-- 如果是 RC 级别，在 T8 和 T10 会创建新的 Read View：
-- T8: trx_ids=[101]（事务B未提交），val=200 不可见 → val=100
-- T9: 事务B提交
-- T10: trx_ids=[]（无活跃事务），val=300 和 val=200 都可见
-- 实际会取最新版本：val=300