事务的特性——持久性（实现原理）

事务的特性——持久性（实现原理）

InnoDB读写数据原理

磁盘的IO操作所需要花费的成本十分巨大，因此InnoDB在解决这一问题的时候提供了Buffer Pool作为访问数据库数据的缓冲。Buffer Pool位于内存当中，其包含了磁盘中部分数据页的映射。
当需要读取数据的时候，InnoDB会首先尝试从Buffer Pool中读取，如果读取不到才会从磁盘读取并放入到Buffer Pool中。
当写入数据的时候，会先写入Buffer Pool页面，并将这样的页面标记为脏页，这些修改过的数据页在之后的某个时刻会被刷新到磁盘中。
这样设计的好处是可以把大量的磁盘I/O转成内存读写，并且把对一个页面的多次修改merge成一次I/O操作（刷脏一次刷入整个页面），避免每次读写操作都访问磁盘，从而大大提升了数据库的性能。

持久性

持久性是事务的保证，事务终结的标志(内存的数据持久到硬盘文件中)。在一个事务提交之后，事务的状态就会被持久化到数据库中，对数据的更新、新增等操作将会持久化到数据库中。
问题： Buffer Pool 是在内存的，是易失性的，如果一个事务提交了事务后，MySQL突然宕机，且此时Buffer Pool中修改的数据还没有刷新到磁盘中的话，就会导致数据的丢失。
解决方案：引入redo log当数据修改时，InnoDB除了修改Buffer Pool中的数据，还会在redo log 记录这次操作，并保证redo log早于对应的页面落盘，也就是常说的WAL。若MySQL突然挂掉且还没有把数据写入磁盘，重启后，MySQL会通过已经写入磁盘的redo log来恢复没有被刷新到磁盘的数据页。