特性
事务四大特性：
- 原子性（Atomicity）：事务是最小的操作单元，要么全部成功，要么全部失败。
- 一致性（Consistency）：事务执行前后，数据都保持一致状态。
- 隔离性（Isolation）：事务提交前的中间状态对其他事务不可见，即相互隔离。
- 持久性（Durability）：事务一旦提交，它对数据库中数据的改变就是永久的。
底层实现
原子性是undo log实现的，一致性是由代码逻辑层面保证的，隔离性是由mvcc实现的，持久性是基于redo log实现的。
Redo Log（重做日志）：
Redo Log记录的是物理日志，也就是磁盘数据的修改。
用来保证服务崩溃后，仍能把事务中变更的数据持久化到磁盘上。
- 修改流程：
- 从磁盘加载数据到内存
- 在内存中修改数据
- 把新数据写到Redo Log Buffer中
- 把Redo Log Buffer中数据持久化到Redo Log文件中
- 把Redo Log文件中数据持久化到数据库磁盘中
Undo Log（回滚日志）：
Undo Log记录的是逻辑日志，用来回滚事务时，恢复到修改前的数据。
比如：当我们执行一条insert语句时，Undo Log就记录一条相反的delete语句。
- 修改流程：
- 从磁盘加载数据到内存
- 在内存中修改数据
- 把相反逻辑语句写到Redo Log Buffer中
- 把Redo Log Buffer中数据持久化到Redo Log文件中
- 把Redo Log文件中数据持久化到数据库磁盘中
MVCC（多版本并发控制，Multi-Version Concurrency Control）：
- 记录的是某个时间点上的数据快照，用来实现不同事务之间数据的隔离性。
- 解决了读写冲突，实现了读写并行，提升了事务的性能。
- 只在Read Committed和Repeatable Read两种隔离级别下起作用。
实现方式：
- 通过两个隐藏列trx_id（上个修改事务的ID）和roll_pointer（上个版本的地址），建立一个版本链。
- 并在事务中读取的时候生成一个ReadView（读视图）
- 在Read Committed隔离级别下，每次读取都会生成一个读视图，
- 在Repeatable Read隔离级别下，只会在第一次读取时生成一个读视图。
并发事务产生的问题
- 脏读： 一个事务读到其他事务未提交的数据。
- 不可重复读： 多次读取相同的数据，得到的结果集不一致，即读到其他事务提交后的数据。
- 幻读： 相同的查询条件，多次读取的结果不一致，即读到其他事务提交后的数据。
- 不可重复读与幻读的区别是： 不可重复读是读到了其他事务执行update、delete后的数据，而幻读是读到其他事务执行insert后的数据。
隔离级别
- Read UnCommitted（读未提交）： 读到其他事务未提交的数据，会出现脏读、不可重复读、幻读。
- Read Committed（读已提交）： 读到其他事务已提交的数据，解决了脏读，会出现不可重复读、幻读。
- Repeatable Read（可重复读）： 相同的数据，多次读取到的结果集一致。解决了不可重复读，还是会出现幻读。
- Serializable（串行化）： 所有事务串行执行，解决了幻读。
解决幻读
-
当前读： 读取数据的最新版本，并对数据进行加锁。
例如：insert、update、delete、select for update
-
快照读： 读取数据的历史版本，不对数据加锁。
例如：select
-
在当前读的情况下，是通过加锁来解决幻读。
-
在快照读的情况下，是通过MVCC来解决幻读。
参考文章：mysql事务处理机制是怎样的？