1. 事务的四大特性
mysql的四大特性是指事务的ACID特性。
1.1 A 原子性 表示事务是作为一个整体被执行的,要么全部执行,要么全部不执行
1.2 C 一致性 是指事务开始前和结束后,数据不会被破坏。比如A向B转账100元,A的余额减少100,B的余额增加100,A和B整体的总金额是不变的
1.3 I 隔离性 表示多个事务并发执行,事务直接是相互隔离,一个事务的运行不影响其他事务的运行结果
1.4 D 持久性 表示事务执行成功后,该事务对数据库的数据操作更改,都要持久化保存到数据库种
2. 事务的实现原理
而mysql事务的实现原理,就是InnoDB是如何保证ACID特性的。
2.1 原子性:原子性就是一个事务如果包含多个DML操作,要么全部成功,要么全部失败。
如果事务在执行过程中失败了就需要回滚原本执行成功的数据。所以InnoDB设计了一个undo_log表,事务在执行过程中,会将修改的数据快照保存到undo_log,一旦出现错误,直接从undo_log里读取数据并执行反向操作就行了。
2.2 一致性:一致性表示数据的完整性约束没有被破坏,这个更多的是通过业务层面来保证。数据库也提供了一些,比如主键的唯一约束/字段的长度限制/字段类型的限制等。
2.3 隔离性: 隔离性就是多个并行事务对同一个数据进行操作,如果避免多个事务的干扰而导致数据混乱的问题。
InnoDB实现了SQL92的标准,提供了四种隔离级别的实现,分别是读未提交/读已提交/可重复读/串行化。InnoDB默认的隔离级别是可重复读,然后使用mvcc解决脏读和不可重复读的问题,使用行锁/表锁解决幻读的问题。
2.4 持久性:持久性就是事务只要执行成功,修改的数据都要持久化到磁盘,不能因为宕机或者其他原因导致数据变更失效。
理论上来说,事务执行成功后直接把数据持久化到磁盘就行了,但是由于磁盘的io效率比较低,InnoDB设计了Buffer Pool来优化,数据在发生变更时,先更新内存缓冲区,然后在合适的时机持久化到磁盘。
但是如果在持久化的过程中,突然宕机,就会导致数据丢失,也就无法保证持久性了。
所以InnoDB又引入了redo_log日志,当数据变更的时候,除了修改内存缓冲区里的数据之外,还会把本次修改的值追加到redo_log。当事务提交的时候,直接把redo_log日志刷新到磁盘进行持久化,一旦数据库出现宕机,mysql重启后可以直接用redo_log里面保存的重写日志,再重新执行一遍保证持久性。
所以,事务实现的原理的本质就是保证ACID的特性,InnoDB里面通过MVCC/行锁表锁/undo_log/redo_log等机制来保证的。