redo undo 详解

redo log称为重做日志，用来保证事务的原子性和持久性。undo log用来保证事务的一致性。
redo恢复提交事务修改的页操作，而undo回滚行记录到某个特定版本。因此两者记录的内容不同，redo通常是物理日志，记录的是页的物理修改操作。undo是逻辑日志，根据每行记录进行记录。

ib_logfile0、ib_logfile1
innodb_log_file_size #重做文件大小
innodb_log_files_in_group #重做文件数量
innodb_mirrored_log_groups #日志镜像文件组数量
innodb_log_group_home_dir #日志文件组所在路径

undo及redo事务简化过程
假设有A、B两个数据，值分别为1、2，开始一个事务，事务的操作内容为：把1修改为3，2修改为4，那么实际的记录如下：

1. 事务开始
2. 记录 A = 1 => undo log
3. 修改 A = 3
4. 记录 A = 3 => redo log
5. 记录 B = 2 => undo log
6. 修改 B = 4
7. 记录 B = 4 => redo log
8. 将 redo log 写入磁盘
9. 事务提交

恢复
进行恢复时，重做所有事务包括未提交的事务和回滚了的事务。然后通过Undo Log回滚那些未提交的事务。
对数据进行修改，因此回滚时对数据的操作也会记录到Redo Log中。
一个回滚了的事务的Redo Log，看起来是这样的：
记录1: >
记录2:
记录3: >
记录4:
记录5: >
记录6:
记录7:
记录8:
记录9:
一个被回滚了的事务在恢复时的操作就是先redo再undo，因此不会破坏数据的一致性。