事务的 ACID 分别是靠什么实现的？

详细解析#

对应关系#

原子性：undo log#

InnoDB 修改一行之前，先把撤销这次修改需要的信息写进 undo log：

• INSERT：记下新行的主键，回滚时把它删掉
• UPDATE：记下被修改列的旧值，回滚时改回去
• DELETE：先只给记录打上删除标记，回滚时去掉标记

执行 ROLLBACK，或者数据库崩溃重启时发现有未提交的事务，InnoDB 都会按 undo log 反向撤销。undo log 还用来构建数据的历史版本，供 MVCC 读取。

持久性：redo log 和 WAL#

最直接的做法是提交时把改过的数据页都写回磁盘，但这样很慢：一个事务可能改了分散在各处的多个 16KB 的页，都是随机写；而且一页里可能只改了几个字节，却要写整页。

InnoDB 用的是 WAL（Write-Ahead Logging，先写日志）：

1. 修改发生在内存的缓冲池（Buffer Pool）里，被改过但还没写回磁盘的页叫脏页
2. 同时生成 redo log，记录"哪个页的哪个位置改成了什么"，先放在内存的 redo log buffer 里
3. 提交时把 redo log 写入磁盘。redo log 是顺序追加的，体积又小，比随机写数据页快得多
4. 脏页由后台线程择机刷盘。已经刷盘的进度叫 checkpoint，checkpoint 之前的 redo log 就可以被覆盖重用
5. 崩溃重启后，从 checkpoint 开始重放 redo log，把已提交但还没刷盘的修改恢复出来

redo log 的刷盘策略#

innodb_flush_log_at_trx_commit 决定提交时 redo log 怎么落盘：

对数据安全要求高的库用 1，并配合 sync_binlog = 1，也就是常说的"双 1"配置，原因见 两阶段提交。0 和 2 只适合能容忍少量丢失的场景，比如批量导入数据时临时调整。这里的"约 1 秒"是大致范围，后台线程的调度可能有延迟，不能当成精确保证。

隔离性和一致性#

• 隔离性：写和写之间靠行锁互斥，普通 SELECT 靠 MVCC 读快照、不加锁。不同隔离级别的差别见 事务隔离级别
• 一致性：数据库能保证主键、唯一、外键、NOT NULL、CHECK（MySQL 8.0.16 起才真正生效）这些约束；但"转账前后总额不变"这类业务规则，数据库并不知道，要靠应用把扣款和入账放在同一个事务里。所以说 A、I、D 是手段，C 是目的

代码示例#

CREATE TABLE account (
  id BIGINT PRIMARY KEY,
  balance DECIMAL(12, 2) NOT NULL,
  CONSTRAINT chk_balance CHECK (balance >= 0)
);

START TRANSACTION;
UPDATE account SET balance = balance - 100 WHERE id = 1;
UPDATE account SET balance = balance + 100 WHERE id = 2;
COMMIT;

如果 1 号账户余额不足，第一条 UPDATE 会因为违反 CHECK 约束报错。这时只有这条语句被撤销，事务仍然开着，应用要捕获错误并执行 ROLLBACK（Node.js + mysql2）：

const conn = await pool.getConnection()
try {
  await conn.beginTransaction()
  await conn.query('UPDATE account SET balance = balance - ? WHERE id = ?', [100, 1])
  await conn.query('UPDATE account SET balance = balance + ? WHERE id = ?', [100, 2])
  await conn.commit()
} catch (err) {
  await conn.rollback() // 任何一步失败，都撤销整个事务
  throw err
} finally {
  conn.release()
}

面试官可能追问#

易错点#

• 一致性不是由某个日志或锁实现的，它是事务要达到的目标
• undo log 负责回滚和 MVCC，redo log 负责崩溃后恢复已提交的修改，两者不要混淆
• 语句报错不等于事务回滚，应用代码里一定要处理 ROLLBACK
• WAL 是先写日志、后写数据页，不是不写数据页