事物的隔离性是由锁来实现，原子性和持久性由redo log来实现，一致性由undo log来实现
-
原子性：由,redolog, undolog, undolog的另外一个作用是mvcc,当用户读取一行记录时，若该记录已经被其他事物占用，当前事物可以通过Undo读取之前的行版本信息，以此实现非锁定读取
-
持久性:由redolog
-
一致性：undolog,还有锁机制
-
隔离性：锁机制实现事物的隔离性
Redo日志记录某数据块被修改后的值，是物理日志。而undolog是逻辑日志，对于每个Insert,innode存储引擎会完成一个delete,也正因为如此，undolog会产生redolog，undolog是通过执行相反的语句，因此也需要持久性的保护
锁的类型：
-
行级锁：共享锁（允许事物读一行数据）和排它锁（允许事物删除或者更新一行数据）
-
表级锁
-
意向锁：允许事物在行级上的锁和表级上的锁同时出现，意向锁是表锁，意向锁意味着事物希望在更细粒度上进行枷锁，如行锁。当表已经被意向排它锁，另外一个事物也想申请意向排他锁，只要两个对于行的加锁不冲突就可以。
多版本并发控制MVCC解决幻读的问题，解决方式：
乐观锁
悲观锁