1
-- 银行转账：从账户 1 向账户 2 转账 1000 元
2
BEGIN;
3

4
UPDATE accounts SET balance = balance - 1000 WHERE id = 1;
5
UPDATE accounts SET balance = balance + 1000 WHERE id = 2;
6

7
COMMIT;
8
-- 如果任何一步失败，执行 ROLLBACK 即可撤销所有修改

1
-- InnoDB 的 Undo Log 工作原理（简化示意）
2
-- 事务 T1 修改 accounts 表中 id=1 的行
3

4
-- 1. 写入 Undo Log：记录旧值 {id:1, balance:5000}
5
-- 2. 修改数据页：将 balance 改为 4000
6
-- 3. 写入 Redo Log：记录新值 {id:1, balance:4000}
7

8
-- 如果事务提交：Redo Log 保证持久性
9
-- 如果事务回滚：从 Undo Log 读取旧值，恢复为 5000

1
-- 脏读复现（MySQL，隔离级别设为 READ UNCOMMITTED）
2
SET SESSION TRANSACTION ISOLATION LEVEL READ UNCOMMITTED;
3

4
-- 事务 T1
5
BEGIN;
6
UPDATE accounts SET balance = balance - 1000 WHERE id = 1;
7
-- 此时未提交
8

9
-- 事务 T2（另一个连接）
10
BEGIN;
11
SELECT balance FROM accounts WHERE id = 1;  -- 返回 4000（脏读）
12
COMMIT;
13

14
-- 事务 T1 回滚
15
ROLLBACK;  -- T2 读到的 4000 从未真正存在

1
-- 不可重复读复现（MySQL，隔离级别设为 READ COMMITTED）
2
SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;
3

4
-- 事务 T1
5
BEGIN;
6
SELECT balance FROM accounts WHERE id = 1;  -- 返回 5000
7

8
-- 事务 T2（另一个连接）
9
BEGIN;
10
UPDATE accounts SET balance = balance - 1000 WHERE id = 1;
11
COMMIT;
12

13
-- 事务 T1 再次查询
14
SELECT balance FROM accounts WHERE id = 1;  -- 返回 4000，同一事务内两次查询结果不同
15
COMMIT;

1
-- 幻读复现（MySQL，REPEATABLE READ 下快照读不会幻读，但当前读会）
2
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;
3

4
-- 事务 T1
5
BEGIN;
6
SELECT * FROM accounts WHERE balance > 4500;  -- 返回 2 行
7

8
-- 事务 T2
9
INSERT INTO accounts VALUES (3, 'Charlie', 4800);
10
COMMIT;
11

12
-- 事务 T1：快照读不会幻读
13
SELECT * FROM accounts WHERE balance > 4500;  -- 仍返回 2 行（MVCC 快照）
14

15
-- 事务 T1：当前读会幻读
16
SELECT * FROM accounts WHERE balance > 4500 FOR UPDATE;  -- 返回 3 行
17
COMMIT;

1
-- 写偏序示例：值班医生系统，要求至少 1 人值班
2
-- 初始：Alice 值班，Bob 值班
3

4
-- 事务 T1：Alice 请假
5
BEGIN;
6
SELECT COUNT(*) FROM on_call WHERE doctor = 'Alice' AND on_duty = true;  -- 2人值班
7
-- 检查：2 > 1，可以请假
8
UPDATE on_call SET on_duty = false WHERE doctor = 'Alice';
9
COMMIT;
10

11
-- 事务 T2（并发）：Bob 请假
12
BEGIN;
13
SELECT COUNT(*) FROM on_call WHERE doctor = 'Bob' AND on_duty = true;  -- 2人值班
14
-- 检查：2 > 1，可以请假
15
UPDATE on_call SET on_duty = false WHERE doctor = 'Bob';
16
COMMIT;
17

18
-- 结果：无人值班，违反了"至少1人值班"的业务约束
19
-- REPEATABLE READ 无法防止写偏序，需要 SERIALIZABLE 或 SSI

1
-- READ COMMITTED：每次 SELECT 获取新快照
2
SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;
3
BEGIN;
4
SELECT balance FROM accounts WHERE id = 1;  -- 5000
5
-- 另一事务修改并提交后
6
SELECT balance FROM accounts WHERE id = 1;  -- 4000（新快照）
7
COMMIT;
8

9
-- REPEATABLE READ：事务内快照一致
10
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;
11
BEGIN;
12
SELECT balance FROM accounts WHERE id = 1;  -- 5000
13
-- 另一事务修改并提交后
14
SELECT balance FROM accounts WHERE id = 1;  -- 5000（同一快照）
15
COMMIT;
16

17
-- SERIALIZABLE：完全可串行化
18
SET SESSION TRANSACTION ISOLATION LEVEL SERIALIZABLE;
19
BEGIN;
20
SELECT * FROM accounts WHERE balance > 4500;  -- 加范围锁
21
-- 另一事务无法插入 balance>4500 的新行
22
COMMIT;

1
-- 方案一：先查后扣（错误，有超卖风险）
2
BEGIN;
3
SELECT stock FROM items WHERE id = 1;  -- 返回 1
4
-- 此时另一个事务也查到 stock=1
5
UPDATE items SET stock = stock - 1 WHERE id = 1;  -- stock 变成 0
6
COMMIT;
7
-- 另一个事务也执行 UPDATE，stock 变成 -1，超卖
8

9
-- 方案二：原子扣减（正确，利用 WHERE 条件防止超卖）
10
BEGIN;
11
UPDATE items SET stock = stock - 1 WHERE id = 1 AND stock >= 1;
12
-- affected_rows = 1 表示扣减成功
13
-- affected_rows = 0 表示库存不足，业务层返回失败
14
COMMIT;

1
-- 方案三：SELECT FOR UPDATE 加悲观锁（需要先查询再扣减的场景）
2
BEGIN;
3
SELECT stock FROM items WHERE id = 1 FOR UPDATE;  -- 加排他锁
4
-- 此时 stock=1，且其他事务无法修改这行
5
UPDATE items SET stock = stock - 1 WHERE id = 1;
6
COMMIT;

1
-- 乐观锁：用 version 字段做 CAS（Compare And Swap）
2
-- 表结构：items(id, stock, version)
3

4
-- 1. 先读出当前库存和版本号（不加锁，快照读）
5
SELECT stock, version FROM items WHERE id = 1;  -- 返回 stock=1, version=5
6

7
-- 2. 业务层判断库存足够后，带版本号更新
8
UPDATE items
9
SET stock = stock - 1, version = version + 1
10
WHERE id = 1 AND version = 5;
11
-- affected_rows = 1：没人改过，扣减成功
12
-- affected_rows = 0：版本号对不上，说明期间被别的事务改过，重试或返回失败

1
-- 悲观锁解法：先锁后扣
2
BEGIN;
3
SELECT stock FROM items WHERE id = 1 FOR UPDATE;  -- 加排他锁，其他事务阻塞
4
UPDATE items SET stock = stock - 1 WHERE id = 1;
5
COMMIT;  -- 释放锁
6

7
-- 乐观锁解法：带条件 CAS 扣减（即 4.2 方案二）
8
BEGIN;
9
UPDATE items SET stock = stock - 1 WHERE id = 1 AND stock >= 1;
10
-- 等价于把 stock 当版本号：stock>=1 既校验库存又防止并发超扣
11
COMMIT;