MySQL如何保证数据一致性
如何保证一致性
数据库通过原子性(A)、隔离性(I)、持久性(D)来保证一致性(C)。其中一致性是目的,原子性、隔离性、持久性是手段。因此数据库必须实现AID三大特性才有可能实现一致性。
如何保证原子性?
MySQL通过undo log来保证原子性;
比如,要修改A的值,那么在修改之前先读取A的原值,将A的原值写入undo log中,然后再修改A的值,再将undo log写入磁盘,然后将A的新值写入磁盘,事务提交;
如果在事务执行过程中意外宕机,那么就会读取undo log,将这个还没执行完的事务回滚;
如何保证持久性?
MySQL通过redo 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通过MVCC来保证隔离性;
MySQL有四个隔离级别,读未提交,读提交,可重复读,串行化;InnoDB默认级别是可重复读,通过MVCC实现;
隔离性保证了并发事务之间互不影响;详情见:MySQL_MVCC的实现原理