Mysql技术内幕之InnoDB锁的深入讲解
前言
自7月份换工作以来,期间一直在学习mysql的相关知识,听了一些视频课,但是一直好奇那些讲师的知识是从哪里学习的。于是想着从书籍中找答案。毕竟一直
看视频也不是办法,不能形成自己的知识。于是想着看书汲取知识,看了几本mysql的相关书籍,包括《深入浅出mysql》《高性能mysql》《mysql技术内幕》,发现那些讲
师讲的内容确实都在书上有出现过,于是确信看书才是正确的汲取知识方式。本片主要记录了mysql的锁机制的学习。
1.什么是锁
锁是计算机协调多个进程或线程并发访问某一资源的机制。在数据库中,除传统的计算资源(如cpu、ram、i/o等)的争用以外,数据也是一种供许多用户共享的资源。
如何保证数据并发访问的一致性、有效性是所有数据库必须解决的一个问题,锁冲突也是影响数据库并发访问性能的一个重要因素。
相对其他数据库而言,mysql 的锁机制比较简单,其最显著的特点是不同的存储引擎支持不同的锁机制。比如,myisam和memory存储引擎采用的是表级锁(table-level
locking);bdb存储引擎采用的是页面锁(page-levellocking),但也支持表级锁;innodb存储引擎既支持行级锁(row-levellocking),也支持表级锁,但默认情况下是采用行级锁。
mysql这3种锁的特性可大致归纳如下。
- 表级锁:开销小,加锁快;不会出现死锁;锁定粒度大,发生锁冲突的概率最高,并发度最低。
- 行级锁:开销大,加锁慢;会出现死锁;锁定粒度最小,发生锁冲突的概率最低,并发度也最高。
- 页面锁:开销和加锁时间界于表锁和行锁之间;会出现死锁;锁定粒度界于表锁和行锁之间,并发度一般。
3种锁的使用角度:
- 表级锁更适合于以查询为主,只有少量按索引条件更新数据的应用,如web应用;
- 行级锁则更适合于有大量按索引条件并发更新少量不同数据,同时又有并发查询的应用,如一些在线事务处理(oltp)系统。
- bdb的页面锁已经被innodb取代,不做讨论。
2.innodb存储引擎中的锁
2.1锁的类型
innodb存储引擎实现了如下两种标准的行级锁:
- 共享锁(s lock),允许事务读一行数据。
- 排他锁(x lock),允许事务删除或更新一行数据。
如果一个事务t1已经获得了行r的共享锁,那么另外的事务t2可以立即获得行r的共享锁,因为读取没有改变行r的数据,称这种情况
为锁兼容(lock compatible)。但若有其他的事务t3想获得行r的排他锁,则其必须等待事务t1、t2释放行r的共享锁——这种情况称为锁不兼容。
x | s | |
---|---|---|
x | 不兼容 | 不兼容 |
s | 不兼容 | 兼容 |
此外,innodb存储引擎支持多粒度锁定,这种锁定允许事务在行级上锁和表锁上的锁同时存在。为了支持在不同粒度上进行加锁操作,innodb存
储引擎支持一种额外的锁方式,称之为意向锁。意向锁是将锁定的对象分为多个层次,意向锁意味着事务希望在更细粒度上进行加锁。 innodb存
储引擎支持意向锁设计比较简练,其意向锁即为表级别的锁。设计目的主要是为了在一个事务中揭示下一行将被请求的锁类型。其支持两种意向锁:
- 意向共享锁(is lock),事务想要获得一张表中某几行的共享锁
- 意向排他锁(ix lock),事务想要获得一张表中某几行的排他锁
2.2 一致性非锁定读
一致性的非锁定读(consistant nonlocking read)是指innodb存储引擎通过多版本控制(multi versioning)的方法来读取当前执行时间数据库中行的
数据。如果读取的行正在执行delete或update操作,这时读取操作不会因此去等待行上锁的释放。相反地,innodb存储引擎会去读取行的一个快照
版本。如下如所示。
上图直观地展现了innodb存储引擎一致性的非锁定读。之所以称为非锁定读,因为不需要等待访问的行上x锁的释放。快照数据是指该行的之前版本
的数据,该实现是通过undo段来完成。而undo用来在事务中回滚数据,因此快照数据本身是没有额外的开销。此外,读取快照数据是不需要上锁的,
因为没有事务需要对历史的数据进行修改操作。
通过上图可以知道,快照数据其实就是当前行数据之前的历史版本,每行记录可能有多个版本,一般称这种技术为行多版本技术。由此带来的并发控制,
称之为多版本并发控制(multi version concurrency control, mvcc)。
在事务隔离级别read committed和repeatable read下,innodb存储引擎使用非锁定的一致性读。然而,对于快照数据的定义却不相同。在read
committed事务隔离级别下,对于快照数据,非一致性读总是读取被锁定行的最新一份快照数据。而在repeatable read事务隔离级别下,对于快照
数据,非一致性读总是读取事务开始时的行数据版本。如下表所示示例:
时间 | 会话a | 会话b |
---|---|---|
1 | begin | |
2 | select * from t_user where id = 1; | |
3 | begin | |
4 | update t_user set id = 10 where id = 1; | |
5 | select * from t_user where id = 1; | |
6 | commit; | |
7 | select * from t_user where id = 1; | |
8 | commit; |
假设原本id = 1的记录是存在的,大家可以按上表时间顺序执行对应的会话,比较及验证2者的不同。
2.3 一致性锁定读
在默认配置下,在事务的隔离级别为repeatable read模式下,innodb存储引擎的select操作使用一致性非锁定读。但是在某些情况下,用户需要显示地
对数据库读取操作进行加锁以保证数据逻辑的一致性。而这要求数据库支持加锁语句,即使时对于select的只读操作。innodb存储引擎对于select语句支持两
种一致性的锁定读(locking read)操作:
- select ··· for update
- select ··· lock in share mode
select ··· for update对读取的行记录加一个x锁,其他事务不能对已锁定的行加上任何锁。select ··· lock in share mode对读取的行记录加一个s锁,其他事务可
以向被锁定的行加s锁,但是如果加x锁,则会被阻塞。
对于一致性非锁定读,即使读取的行已被执行了select ··· for update,也是可以进行读取的。此外,select ··· for update或者select ··· lock in share mode必须在
一个事务中,当事务提交了,锁也就释放了。因此在使用上述两种select锁定语句时,务必加上begin,start transaction或者set autocommit=0。
3 锁的算法
3.1行锁的3中算法
innodb存储引擎有3种行锁的算法,其分别是:
- record lock:单个行记录上的锁
- gap lock:间隙锁,锁定一个范围,但不包含记录本身
- next-key lock:gap lock + record lock,锁定一个范围,并且锁定记录本身
record lock总是会去锁住主键索引记录,如果innodb存储引擎表在建立的时候没有设置任何一个主键或唯一非空索引,那么这时innodb存储引擎会使用隐式的
主键来进行锁定。
next-key lock是结合了gap lock+record lock的一种锁定算法,在next-key lock算法下,innodb对于行的查询都是采用这种锁定算法。假如一个索引有10,11
,13和20这4个值,那么该索引可能被next-key locking的区间为:
(-无穷,10] ,(10,11], (11,13], (13,20], (20,+无穷)
采用next-key lock的锁定技术称为next-key locking。其设计的目的是为了解决幻读问题。而利用这种锁定技术,锁定的不是单个值,而是一个范围。 然而,
当查询的索引含有唯一属性时,innodb存储引擎会对next-key lock进行优化将其降级为record lock,即仅锁住索引本身,而不是范围。下面演示一个例子。
mysql> create table t (a int primary key); query ok, 0 rows affected (0.01 sec) mysql> insert into t select 1; query ok, 1 row affected (0.00 sec) records: 1 duplicates: 0 warnings: 0 mysql> insert into t select 2; query ok, 1 row affected (0.00 sec) records: 1 duplicates: 0 warnings: 0 mysql> insert into t select 5; query ok, 1 row affected (0.01 sec) records: 1 duplicates: 0 warnings: 0
接着按下表时间顺序执行操作。
时间 | 会话a | 会话b |
---|---|---|
1 | begin; | |
2 | select * from t where a = 5 for update; | |
3 | begin; | |
4 | insert into t select 4; | |
5 | commit; #成功,不需要等待 | |
6 | commit; |
表t共有1,2,5三个值。在上面的例子中,在会话a中首先对a=5进行x锁定。而由于a是主键且唯一,因此锁定的仅是5这个值,而不是(2,5)这个范围,这样在会话
b中插入值4而不会阻塞,可以立即插入并返回。即锁定由next-key lock算法降级为了record lock,从而提高应用的并发性。
如上,next-key lock降级为record lock仅在查询的列是唯一索引的情况下。若是辅助索引,则情况会完全不同。同样,首先创建测试表z进行测试:
mysql> create table z (a int ,b int ,primary key(a), key(b)); mysql> insert into z select 1,1; mysql> insert into z select 3,1; mysql> insert into z select 5,3; mysql> insert into z select 7,6; mysql> insert into z select 10,8;
表z的列b是辅助索引,若在会话a中执行下面的sql语句:
mysql> select * from z where b = 3 for update;
很明显,这时sql语句通过索引列b进行查询,因此其使用传统的next-key locking技术加锁,并且由于有两个索引,其需要分别进行锁定。对于聚集索引,其仅对列
a等于5的索引加上record lock。而对于辅助索引,其加上的是next-key lock,锁定的范围是(1,3),特别需要注意的是,innodb存储引擎还会对辅助索引下一个
键值加上gap lock,即还有一个辅助索引范围为(3,6)的锁。因此,若在新会话b中运行下面的sql语句,都会被阻塞:
mysql> select * from z where a = 5 lock in share mode; mysql> insert into z select 4,2; mysql> insert into z select 6,5;
第一个sql语句不能执行,因为在会话a中执行的sql语句已经对聚集索引中列a=5的值加上x锁,因此执行会被阻塞。第二个sql语句,主键插入4,没有问题,但是插入
的辅助索引值2在锁定的范围(1,3)中,因此执行同样会被阻塞。第三个sql语句,插入的主键6没有被锁定,5也不在范围(1,3)之间。但插入的值5在另一个锁定的
范围(3,6)中,故同样需要等待。而下面的sql语句,不会被阻塞,可以立即执行:
mysql> insert into z select 8,6; mysql> insert into z select 2,0; mysql> insert into z select 6,7;
从上面的例子可以看到,gap lock的作用是为了阻止多个事务将记录插入到同一个范围内,而这会导致幻读问题的产生。假如在上面的例子中,会话a中用户已经锁定了
b=3的记录。若此时没有gap lock锁定(3,6),那么用户可以插入索引b列为3的记录,这会导致会话a中的用户再次执行同样查询时会返回不同的记录,即幻读。
这里主要探究的是innodb存储引擎锁表的机制,至少自己明白了mysql的行锁机制,不知道读者是否有疑问,欢迎留言。下次会记录关于mysql事务特性及其内部的实现机制,
包括mysql的内部架构,innodb buffer pool,redo log, undo log等具体的详解,目前只是对知识过了一遍,但还未总结。
总结
到此这篇关于mysql技术内幕之innodb锁的文章就介绍到这了,更多相关mysql innodb锁内容请搜索以前的文章或继续浏览下面的相关文章希望大家以后多多支持!