MySQL的主要目标就是保证数据的一致性,通过事务,ACID特性等,来实现数据的一致性;
一致性就是指:数据库可以从一个正确的状态迁移到另一个正确的状态;
事务有四大特性:ACID,C(一致性)就是通过AID来实现的;
A:原子性,一个事务要么全做,要么全不做;
C:一致性,数据库在任一时刻的数据都是一致的;
I:隔离性,事务之间相互独立,避免并发事务之间的相互影响;
D:持久性,一个事务一旦提交以后,应该永久保存在磁盘中;
如何保证原子性?
MySQL通过undo log来保证原子性;
比如,要修改A的值,那么在修改之前先读取A的原值,将A的原值写入undo log中,然后再修改A的值,再将undo log写入磁盘,然后将A的新值写入磁盘,事务提交;
如果在事务执行过程中意外宕机,那么就会读取undo log,将这个还没执行完的事务回滚;
如何保证持久性?
通过undo log,每次操作都需要读写磁盘,这样开销非常大,因此,引入redo log,将修改的值记录到redo log中,先缓存在内存中,然后再将redo log顺序写入磁盘;
比如,要修改A,B的值,首先读取A的原值,写入undo log,然后修改A,将A的新值写入redo log中,然后读取B的原值,写入undo log中,然后修改B的值,将新值写入redo log中,然后将redo log顺序写入磁盘;
如果在事务在执行过程中宕机了,那么直接用undo log回滚;如果事务已经提交了,那么用redo log重做,保证了原子性和持久性;
如何保证隔离性?
MySQL有四个隔离级别,读未提交,读提交,可重复读,串行化;InnoDB默认级别是可重复读,通过MVCC实现;
隔离性保证了并发事务之间互不影响;