事物的隔离性是由锁来实现,原子性和持久性由redo log来实现,一致性由undo log来实现
-
原子性:由,redolog, undolog, undolog的另外一个作用是mvcc,当用户读取一行记录时,若该记录已经被其他事物占用,当前事物可以通过Undo读取之前的行版本信息,以此实现非锁定读取
-
持久性:由redolog
-
一致性:undolog,还有锁机制
-
隔离性:锁机制实现事物的隔离性
Redo日志记录某数据块被修改后的值,是物理日志。而undolog是逻辑日志,对于每个Insert,innode存储引擎会完成一个delete,也正因为如此,undolog会产生redolog,undolog是通过执行相反的语句,因此也需要持久性的保护
锁的类型(是对查出的数据加锁,像update,delete等操作是先执行select,再进行更改,所以都是有查询的这个步骤,所以在一个有多行语句的事物中,加锁是在执行语句时加锁,根据隔离级别在不同时刻释放锁):
innodb存储引擎有 3种行锁算法:
a. 单个行记录上的锁
b. 间隙锁,锁定一个范围,不包含记录本身
c.间隙锁+行锁:锁定一个范围,并包含记录本身
-
行级锁:共享锁(允许事物读一行数据)和排它锁(允许事物删除或者更新一行数据):
-
表级锁
-
意向锁:允许事物在行级上的锁和表级上的锁同时出现,意向锁是表锁,意向锁意味着事物希望在更细粒度上进行枷锁,如行锁。当表已经被意向排它锁,另外一个事物也想申请意向排他锁,只要两个对于行的加锁不冲突就可以。
这里借用别人的一组例子:
select * from table where id = ?
select * from table where id < ?
select * from table where id = ? lock in share mode
select * from table where id < ? lock in share mode
select * from table where id = ? for update
select * from table where id < ? for update
这六句sql在不同的事务隔离级别下,是否加锁,加的是共享锁还是排他锁,是否存在间隙锁,
日志带有保存点(check point),事物也带有保存点(save point)
多版本并发控制MVCC解决幻读的问题,解决方式:
乐观锁
悲观锁