隔离级别与 MVCC

SHOW VARIABLES LIKE '%isolation%';
 
SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;
SHOW VARIABLES LIKE '%isolation%';
 
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;

最新行 (name='Pro Max', trx_id=103)
        │ roll_pointer
        ▼
undo:  (name='Pro',     trx_id=102)
        │ roll_pointer
        ▼
undo:  (name='Plus',    trx_id=101)

ReadView 的四个字段：
  m_ids        拍照时还活跃（未提交）的事务 ID 集合
  min_trx_id   m_ids 里最小的
  max_trx_id   拍照时下一个将分配的事务 ID
  creator_trx_id 我自己

trx_id == 我自己          → 可见（自己改的）
trx_id <  min_trx_id      → 可见（拍照前已提交）
trx_id >= max_trx_id      → 不可见（拍照后才开的事务）
在 m_ids 里               → 不可见（拍照时还没提交）
不在 m_ids 里且在区间内    → 可见（拍照时已提交）

-- RR 级别。初始 stock = 100
-- 会话 A                                  -- 会话 B
BEGIN;
SELECT stock FROM products WHERE id=1;    
-- 看到 100（生成 ReadView）
                                           BEGIN;
                                           UPDATE products SET stock = 90 WHERE id=1;
                                           COMMIT;
SELECT stock FROM products WHERE id=1;
-- 还是 100（快照读，复用 ReadView）✓ 可重复读
UPDATE products SET stock = stock - 1 WHERE id = 1;
-- 当前读！基于最新值 90 计算
SELECT stock FROM products WHERE id=1;
-- 89！不是 99 ——快照里的 100「被穿透」了
COMMIT;

BEGIN;
SELECT stock AS before_update FROM products WHERE id = 1;
 
UPDATE products SET stock = stock - 1 WHERE id = 1;   -- 当前读 + 加锁
 
-- 快照读，但版本的 trx_id 就是自己 → 看得到刚才的修改
SELECT stock AS inside_txn FROM products WHERE id = 1;
 
ROLLBACK;
SELECT stock AS after_rollback FROM products WHERE id = 1;

SELECT trx_id, trx_started, trx_mysql_thread_id,
       TIME_TO_SEC(TIMEDIFF(NOW(), trx_started)) AS seconds
FROM information_schema.innodb_trx
ORDER BY trx_started;