事务有4种特性：原子性、一致性、隔离性和持久性。那么事务的四种特性到底是基于什么机制实现呢？
- 事务的隔离性由
锁机制执行。 - 事务的原子性、一致性和持久性由事务的redo日志和undo日志来保证。
redo log称为重做日志，提供再写入操作，恢复提交事务修改的页操作，用来保证事务的持久性。
undo log称为回滚日志，回滚行记录到某个特定版本，用来保证事务的原子性、一致性。
- redo log : 是存储引擎层（InnoDB）生成的日志，记录的是
“物理级别”上的页修改操作，比如页号XXX、偏移量yyy、写入了zzz数据，主要是为了保证数据的可靠性。 - undo log : 是存储引擎层（InnoDB）生成的日志，记录的是逻辑操作日志。比如对某一行数据进行了insert语句操作，那么undo log就记录一条与之相反的delete操作。主要用于事务的回滚（undo log记录的是每个修改操作的逆操作）和一致性非锁定读（undo log 回滚行记录到某种特定的版本—MVCC，即多版本并发控制）
【1】概念介绍
InnoDB存储引擎是以页为单位来管理存储空间的。在真正访问页面之前，需要把在磁盘上的页缓存到内存中的Buffer Pool之后才可以访问。所有的变更都必须先更新缓冲池中的数据，然后缓冲池中的脏页会以一定的频率被刷入磁盘（checkPoint机制），通过缓冲池来优化CPU和磁盘之间的鸿沟，这样就可以保证整体的性能不会下降太快。
① 为什么需要redo日志
一方面，缓冲池可以帮助我们消除CPU和磁盘之间的鸿沟，checkpoint机制可以保证数据的最终落盘。然而由于checkpoint并不是每次变更的时候就触发的，而是master线程隔一段时间去处理的。所以最坏的情况就是事务提交后，刚写完缓冲池，数据库宕机了，那么这段数据就是丢失的，无法恢复。
另一方面，事务包含持久性的特性，就是说对于一个已经提交的事务，在事务提交后即使系统发生了崩溃，这个事务对数据库中所做的更改也不能丢失。
那么如何保证这个持久性呢？一个简单的做法：在事务提交完成之前把该事务所修改的所有页面都刷新到磁盘。但是这个简单粗暴的做法有些问题：
- 修改量与刷新磁盘工作严重不成比例有时候我们仅仅修改了某个页面中的一个字节，但是我们知道在InnoDB中是以页为单位来进行磁盘IO的，也就是说我们在该事务提交时不得不将一个完整的页面从内存中刷新到磁盘，一个页面默认是16KB大小，只修改一个字节就要刷新16KB的数据到磁盘上显然是不合适的。
- 随机IO刷新较慢
一个事务可能包含很多语句，即使是一条语句也可能修改许多页面。假设该事务修改的这些页面可能并不相邻，这就意味着在将某个事务修改的Buffer Pool中的页面刷新到磁盘时，需要进行很多的随机IO，随机IO比顺序IO要慢，尤其对于传统的机械硬盘来说。
另一个解决的思路：我们只是想让已经提交了的事务对数据库中数据所做的修改永久生效，即使后来系统崩溃，在重启后也能把这种修改恢复出来。所以我们其实没有必要在每次事务提交时就把该事务在内存中修改过的全部页面刷新到磁盘，只需要把修改了哪些东西记录一下就好。比如 ，某个事务将系统表空间中第10号页面中偏移量为100处的值更新为2。
InnoDB引擎的事务采用了WAL技术（Write-Ahead Logging），这种技术的思想就是先写日志，再写磁盘，只有日志写入成功，才算事务提交成功，这里的日志就是redo log。 当发生宕机且数据未刷到磁盘的时候，可以通过redo log来恢复，保证ACID中的D（durability 持久性），这就是redo log的作用。
② redo日志的优点与特点
redo日志降低了刷盘频率，并且其占用的空间非常小。因为其存储表空间ID、页号、偏移量以及需要更新的值，所需的存储空间是很小的，刷盘快。
redo日志是顺序写入磁盘的
在执行事务的过程中，每执行一条语句，就可能产生若干条redo日志，这些日志是按照产生的顺序写入磁盘的，也就是使用顺序IO，效率比随机IO快。
事务执行过程中，redo log不断记录
redo log跟bin log的区别在于redo log是存储引擎层产生的，而bin log是数据库层产生的。假设一个事务，对表做10万行的记录插入，在这个过程中，一直不断的往redo log顺序记录，而bin log不会记录，直到这个事务提交，才会一次性写入到bin log文件中。
【2】redo的组成
redo log可以简单分为以下两个部分：
- 重做日志的缓冲（redo log buffer），保存在内存中，是易失的。
- 重做日志文件（redo log file），保存在硬盘中，是持久的。
在服务器启动时就向操作系统申请了一大片称之为redo log buffer的连续内存空间，翻译成中文就是redo 日志缓冲区。这片内存空间被划分成若干个连续的redo log block。一个redo log block占用512字节大小。
参数设置：innodb_log_buffer_size
redo log buffer大小默认是16M，最大值是4096M，最小值为1M。
show variables like 'innodb_log_buffer_size'
保存在硬盘中的Redo日志文件如图所示，其中的ib_logfile0和ib_logfile1即为redo日志。
【3】redo的整体流程
以一个更新事务为例，redo log流转过程，如下图所示：
- 第一步：先将原始数据从磁盘中读入内存中来，修改数据的内存拷贝
- 第二步：生成一条重做日志并写入redo log buffer，记录的是数据被修改后的值
- 第三步：当事务commit时，将redo log buffer中的内容刷新到redo log file，对redo log file采用追加写的方式
- 第四步：定期将内存中修改的数据刷新到磁盘中
Write-Ahead log（预先日志持久化）：在持久化一个数据页之前，先将内存中相应的日志页持久化。
【4】redo log的刷盘策略
redo log的写入并不是直接写入磁盘的，innodb引擎会在写redo log的时候先写redo log buffer，之后以一定的频率刷入到真正的redo log file中。这里的一定频率怎么看待呢？这就是我们要说的刷盘策略。
注意，redo log buffer刷盘到redo log file的过程并不是真正的刷到磁盘中去，只是刷入到文件系统缓存（page cache）中去（这是现代操作系统为了提高文件写入效率做的一个优化），真正的写入会交给系统自己来决定（比如page cache足够大了）。那么对于innodb来说就存在一个问题，如果交给系统来同步，同样如果系统宕机，那么数据也丢失了（虽然整个系统宕机的概率还是比较小的）。
针对这种情况，InnoDB给出innodb_flush_log_at_trx_commit参数，该参数控制commit提交事务时，如何将redo log buffer中的日志刷新到redo log file中。它支持三种策略：
- 设置为0：表示每次事务提交时不进行刷盘操作（系统默认master thread 每隔1s进行一次重做日志的同步）。
- 设置为1：表示每次事务提交时都将进行同步，刷盘操作（默认值）。
- 设置为2：表示每次事务提交时都只把redo log buffer内容写入page cache，不进行同步。由OS自己决定什么时候同步到磁盘文件。
show variables like 'innodb_flush_log_at_trx_commit' # 默认为1 innodb_flush_log_at_trx_commit 1
另外，InnoDB存储引擎有一个后台线程，每隔1s，就会把redo log buffer中的内容写到文件系统缓存（page cache），然后调用刷盘操作。其实这也是 innodb_flush_log_at_trx_commit=0时候的情况。
也就是说，一个没有提交事务的redo log记录，也可能会刷盘。因为在事务执行过程redo log 记录时会写入redo log buffer中，这些redo log 记录会被后台线程刷盘。
除了后台线程每秒1次的轮询操作，还有一种情况，当redo log buffer占用的空间即将达到 innodb_log_buffer_size(这个参数默认是16M)的一半的时候，后台线程会主动刷盘。
下面总结一下不同刷盘策略的流程示意。
① innodb_flush_log_at_trx_commit=1
如果提交事务，则redo log buffer会写入page cache进行刷盘。否则其他时候交给OS每隔1S进行刷盘。也就是说只要事务提交成功，redo log 记录就一定在硬盘里，不会有任何数据丢失。
如果事务执行期间MySQL挂了或宕机，这部分日志丢了，但是事务并没有提交，所以日志丢了也不会有损失。可以保证ACID的D，数据绝对不会丢失，但是效率最差。
建议使用默认值，虽然操作系统宕机的概率理论小于数据库宕机的概率。但是一般既然使用了事务，那么数据的安全相对来说更重要些。
② innodb_flush_log_at_trx_commit=2
当为2时，只要事务提交成功，redo log buffer中的内容只写入文件系统缓存（page cache）。
如果仅仅只是MySQL挂了不会有任何数据丢失，但是操作系统宕机可能会有1秒数据的丢失，这种情况下无法满足ACID中的D，但是效率是比为1时要高的。
③ innodb_flush_log_at_trx_commit=0
为0时，master thread中每1秒进行一次重做日志的fsync操作，因此实例crash最多丢失1秒钟内的事务（master thread是负责将缓冲池中的数据异步刷新到磁盘，保证数据的一致性）。
【5】写入redo log buffer的过程
① 什么是Mini-Transaction
MySQL把对底层页面中的一次原子访问的过程称之为一个Mini-Transaction，简称mtr。比如向某个索引对应的B+树中插入一条记录的过程就是一个Mini-Transaction。一个所谓的mtr可以包含一组redo日志，在进行崩溃恢复时，这一组redo日志作为一个不可分割的整体。
一个事务可以包含若干条语句，每一条语句其实是由若干个mtr组成，每一个mtr又可以包含若干条redo日志。关系示意图如下所示：
② redo日志写入log buffer
向log buffer中写入redo日志的过程是顺序的，也就是先往前边的block中写。当该block的空闲空间用完之后再往下一个block中写。当我们想往log buffer中写入redo日志时，第一个遇到的问题就是应该写在哪个block的哪个偏移量处。所以InnoDB的设计者特意提供了一个称之为buf_free的全局变量，该变量指明后续写入的redo日志应该写入到log buffer中的哪个位置。如下图所示：
一个mtr执行过程中可能产生若干条redo日志，这些redo日志是一个不可分割的组。所以其实并不是每生成一条redo日志，就将其插入到log buffer中，而是每个mtr运行过程中产生的日志先暂时存到一个地方。当该mtr结束的时候，将过程中产生的一组redo日志再全部复制到log buffer中。我们现在假设有两个名为T1、T2的事务，每个事务都包含2个mtr，我们给这几个mtr命名一下：
- 事务T1的两个mtr分别称为mtr_T1_1和mtr_T1_2
- 事务T2的两个mtr分别称为mtr_T2_1和mtr_T2_2
每个mtr都会产生一组redo日志，用示意图来描述一下这些mtr产生的日志情况：
不同的事务可能·并发·执行的，所以T1、T2之间的mtr可能是交替执行的。每当一个mtr执行完成时，伴随该mtr生成的一组redo日志就需要被复制到log buffer中，也就是说不同事务的mtr可能是交替写入log buffer的。我们可以依据下面示意图（为了方便展示，我们把一个mtr中产生的所有的redo日志当做一个整体来看待）：
有的mtr产生的redo日志量非常大，比如mtr_t1_2产生的redo日志占用空间比较大，占用了3个block来存储。
一个redo log block是由日志头、日志体、日志尾组成。日志头占用12字节，日志尾占用4字节，所以一个block真正存储的数据就是512-12-4=496字节。
① 为什么一个block设计成512字节呢？
这个和磁盘的扇区有关，机械磁盘默认的扇区就是512字节。如果你要写入的数据大于512字节，那么要写入的删除肯定不止一个，这时就要涉及到盘片的转动，找到下一个扇区。假设现在需要写入两个扇区A和B，如果扇区A写入成功，而扇区B写入失败，那么就会出现非原子性的写入。而如果每次只写入和扇区的大小一样的512字节，那么每次的写入都是原子性的。
真正的redo日志都是存储到占用496字节大小的log block body中，图中的log block header和 log block trailer存储的是一些管理信息。我们来看看这些所谓的管理信息都有什么。
② log block header的属性
LOG_BLOCK_HDR_NO : log buffer是由log block组成，在内部log buffer就好似一个数组。因此 LOG_BLOCK_HDR_NO用来标记这个数组中的位置。其是递增并且循环使用的，占用4个字节。但是由于第一位用来判断是否是flush bit，所以最大的值为2G。
LOG_BLOCK_HDR_DATA_LEN：表示block中已经使用了多少字节，初始值为12（因为log block body从第12个字节处开始）。随着往block中写入的redo日志越来越多，该属性值也跟着增长。如果log block body已经被全部写满，那么本属性的值被设置为512。
LOG_BLOCK_FIRST_REC_GROUP：一条redo日志也可以称之为一条redo日志记录（redo log record），一个mtr会产生多条redo日志记录，这些redo日志记录被称之为一个redo日志记录组（redo log record group）。LOG_BLOCK_FIRST_REC_GROUP就代表该block中第一个mtr生成的redo日志记录组的偏移量（其实也就是这个block里第一个mtr生成的第一条redo日志的偏移量）。如果该值的大小和 LOG_BLOCK_HDR_DATA_LEN相同，则表示当前log block中不包含新的日志。
LOG_BLOCK_CHECKPOINT_NO：占用4字节，表示该log block最后被写入时的checkpoint。
③ log block trailer中的属性
LOG_BLOCK_CHECKSUM：表示block的校验值，用于正确性校验（其值和LOG_BLOCK_HDR_NO相同），可以不用关注。
【7】redo log file
① 相关参数
innodb_log_group_home_dir：指定redo log文件组所在的路径，默认值为 ./ ，表示在数据库的数据目录下。MySQL的默认数据目录（/var/lib/mysql）下默认有两个名为ib_logfile0和ib_logfile1 的文件，log buffer中的日志默认情况下就是刷新到这两个磁盘文件中。此redo日志文件位置还可以修改。
innodb_log_files_in_group：指明redo log file的个数，命名方式如：ib_logfile0,iblogfile1…iblogfilen。默认2个，最大100个。
show variables like 'innodb_log_files_in_group'
innodb_flush_log_at_trx_commit：控制redo log刷新到磁盘的策略，默认为1。
innodb_log_file_size：单个redo log文件设置大小，默认值为48MB，最大值为512G。注意这里最大值指的是整个redo log系列文件之和，即（innodb_log_files_in_group * innodb_log_file_size）不能大于最大值512G。
show variables like 'innodb_log_file_size' # 默认48M innodb_log_file_size 50331648
根据业务修改其大小，以便容纳较大的事务，可以在my.cnf文件修改并重启数据库使生效。
在数据库实例更新比较频繁的情况下，可以适当增大redo log组数和大小。但不推荐设置过大，在MySQL崩溃恢复时会重新指向redo日志中的记录。
② 日志文件组
从上边的描述中可以看到，磁盘上的redo日志文件不只一个，而是以一个日志文件组的形式出现的。这些文件以ib_logfilep[数字]（数字可以使0、1、2…）的形式进行命名，每个的redo日志文件大小都是一样的。
在将redo日志写入日志文件组时，是从ib_logfile0开始写。如果ib_logfile0写满了，就接着ib_logfile1写。同理，ib_logfile1写满了就去写ib_logfile2，以此类推。如果写到最后一个文件该咋办？那就重新转到ib_logfile0继续写，所以整个过程如下图所示。
总共的redo日志文件大小其实就是：innodb_log_file_size * innodb_log_files_in_group 。
采用循环使用的方式向redo日志文件组里写数据的话，会导致后写入的redo日志覆盖掉前边写的redo日志？是的！所以InnoDB的设计中者提出了checkpoint的概念。
③ checkpoint
在整个日志文件组还有两个重要的属性，分别是write pos、checkpoint：
- write pos 是当前记录的位置，一边写一边后移
- checkpoint 是当前要擦除的位置，也就是往后推移。
每次刷盘redo log记录到日志文件组中，write pos位置就会后移更新。每次MySQL加载日志文件组恢复数据时，会清空加载过的redo log记录，并把checkpoint后移更新。write pos和checkpoint之间还空着的部分可以用来写入新的redo log记录（下图中0 3号部分可以用来写入新的redo log记录）。
如果write pos追上checkpoint，表示日志文件组满了。这时候不能再写入新的redo log记录，MySQL得停下来清空一些记录，把checkpoint推进一下。
④ redo log小结
InnoDB的更新操作采用的是Write Ahead Log（预先日志持久化）策略，即先写日志，再写入磁盘。
