请阐述 MySQL 中事务机制的底层实现原理，包括其核心组件和工作流程。
考察说明
考查对 MySQL 事务底层实现机制的理解，包括日志、锁和一致性视图等核心概念。
回答思路
- 【回答框架 1】MySQL 事务的实现主要依赖 redo log、undo log 和锁机制。redo log 保证持久性，undo log 支持回滚和 MVCC，锁保证并发隔离。
- 【回答框架 2】redo log 是物理日志，记录页的修改，采用 WAL 策略，先写日志再写数据，崩溃恢复时重放 redo log 确保已提交事务不丢失。
- 【回答框架 3】undo log 是逻辑日志，记录事务修改前的数据，用于回滚和 MVCC 实现。每条修改记录都会产生 undo 记录，回滚时逆序执行 undo 操作。
- 【回答框架 4】隔离级别通过锁和 MVCC 实现。MVCC 使用隐藏列 trx_id 和 roll_pointer，基于 undo log 构建 read view，实现非锁定读，避免脏读和不可重复读（在可重复读级别）。
- 【回答框架 5】事务提交时，InnoDB 将 redo log 刷盘，并释放锁。两阶段提交（2PC）用于保证 binlog 和 redo log 的一致性（若开启 binlog）。
- 【关键点 1】redo log 保证持久性，undo log 支持回滚和 MVCC。
- 【关键点 2】WAL 机制：先写日志后写数据，崩溃恢复时重放 redo log。
- 【关键点 3】MVCC 通过 read view 和 undo log 实现非锁定读，隔离级别不同，read view 创建时机不同。
- 【关键点 4】锁机制（行锁、间隙锁）用于实现写操作的隔离性，防止幻读（在可重复读下通过 next-key lock）。
- 【关键点 5】事务提交时刷盘 redo log 和 binlog，可能涉及两阶段提交保证一致性。
- 【易错点 1】不要把 redo log 和 binlog 混淆，前者是 InnoDB 物理日志，后者是逻辑日志。
- 【易错点 2】MVCC 不适用于写操作，写操作需要加锁，且读操作可能加锁（当前读）。
- 【易错点 3】隔离级别并非越高越好，需要权衡性能和数据一致性。