InnoDB引擎--事务持久性

事务是指构成单一逻辑工作单元的操作的集合。数据库系统维护事务的ACID四个特性：

• 原子性：事务的所有操作在数据库中要么全部反映，要么全部不反映。
• 一致性：事务执行前后数据库保持约束一致性和业务逻辑一致性。
• 隔离性：在事务并发执行时，各个事务都感觉不到其他事务的存在。
• 持久性：事务一旦提交，其更改是永久性的，即使数据库系统崩溃也能恢复。

先从持久性说起。

持久性

保证持久性的策略就是Write Ahead Logging。在事务提交之前，备份一份事务的操作日志在磁盘上，备份成功再允许事务成功提交。

InnoDB引擎中支持持久性的是redo log，redo log写入过程如图所示：

redo log的写入为顺序循环写入。默认有两个redo log文件，InnoDB顺序写其中一个，写满之后，再顺序写另外一个日志文件，再回过头来写第一个…循环往复。

既然重复利用redo log文件，就涉及到确定哪些日志可以被覆写的问题，InnoDB引擎利用CheckPoint技术来解决这个问题。

CheckPoint

在