MySQL的并发控制是在数据安全性和并发处理能力之间的权衡,通过不同的锁策略来决定对系统开销和性能的影响。
为了后续的解释更加容易理解,这里列举一些基本概念的解释。
悲观锁指的是对数据被外界(包括本系统当前的其他事务,以及来自外部系统的事务处理)修改持保守态度,因此,在整个数据处理过程中,将数据处于锁定状态。
select...for update是MySQL提供的实现悲观锁的方式。在悲观锁的情况下,为了保证事务的隔离性,其它事务无法修改这些数据。
现在互联网高并发的架构中,受到fail-fast思路的影响,悲观锁已经比较少见了。
相对悲观锁而言,乐观锁机制采取了更加宽松的加锁机制。悲观锁依靠数据库的锁机制实现,以保证操作最大程度的独占性。但随之而来的就是数据库性能的大量开销,特别是对长事务而言,这样的开销往往无法承受。
而乐观锁机制在一定程度上解决了这个问题。乐观锁,大多是基于数据版本(Version)记录机制实现:通过为数据库表增加一个数字类型的version
字段,当读取数据时,将version
字段的值一同读出,数据每更新一次,对此version
值+1。当我们提交更新的时候,判断数据库表对应记录的当前版本信息与第一次取出来的version
值进行比对,如果数据库表当前版本号与第一次取出来的version
值相等,则予以更新,否则认为是过期数据,返回更新失败。
MySQL定义了两种锁的粒度:表级、行级。
由MySQL Server控制,分为读锁和写锁。优点是开销小,加锁快;不会出现死锁;缺点是锁定粒度大,发生锁冲突的概率最高,并发度最低。表锁适合查询多、更新少的场景。
当对表加了读锁,则会话只能读取当前被加锁的表,其它会话仍然可以对表进行读取但不能写入。
当对表加了写锁,则会话可以读取或写入被加锁的表,其它会话不能对加锁的表进行读取或写入。
由存储引擎实现,InnoDB支持,而MyISAM不支持。优点是开销大,加锁慢;会出现死锁;缺点是锁定粒度最小,发生锁冲突的概率最低,并发度也最高。InnoDB引擎下默认使用行级锁。行级锁适合按索引更新频率高的场景。
InnoDB是MySQL最常用的存储引擎,本文以此为角度讲解MySQL的锁机制。有关MySQL存储引擎和有关B-Tree的知识,可以查看博客《彻底搞懂MySQL的索引》
记录锁(Record lock)在唯一索引列或主键列记录上加锁,且该值存在,否则加锁类型为间隙锁。例如SELECT a FROM t WHERE a = 12 FOR UPDATE
,对值为12的索引进行锁定,防止其它事务插入、删除、更新值为12的记录行。
间隙锁(Gap Lock),只有在可重复读、串行化隔离级别才有,在索引记录之间的间隙中加锁,或者是在某一条索引之前或者之后加锁,并不包括该索引本身。
例如:SELECT a FROM t WHERE a > 15 and a < 20 FOR UPDATE
,且a存在的值为1、2、5、10、15、20,则将(15,20)的间隙锁住。
间歇锁的范围:
delete from table where another_id = 9
要操作非唯一索引列9的数据,gap锁将会锁定的列是(6,11),该区间内无法插入数据。在使用范围条件检索并锁定记录时,间歇锁机制会阻塞符合条件范围内键值的并发插入,这往往会造成严重的锁等待。因此,在实际应用开发中,尤其是并发插入比较多的应用,要尽量优化业务逻辑,尽量使用相等条件来访问更新数据,避免使用范围条件。
间隙锁和间隙锁之间是互不冲突的,间隙锁唯一的作用就是为了防止其他事务的插入,在RR(可重复读)级别下解决了幻读的问题。
例如id有3,4,5,间隙锁锁定id>3的数据,是指的4及后面的数字都会被锁定。这样的话加入新的数据id=6,就会被阻塞,从而避免了幻读。
快照读与当前读将在下一篇博客《一文理解MySQL的事务原则与事务隔离》进行详解
临键锁(Next-Key Lock)是记录锁和间隙锁的合集。只有在可重复读、串行化隔离级别才有。
例如一个索引有10,11,13,20这四个值。InnoDB可以根据需要使用记录锁将10,11,13,20四个索引锁住,也可以使用间隙锁将(-∞,10),(10,11),(11,13),(13,20),(20,+∞)五个范围区间锁住。而临键锁是记录锁和间隙锁的合集。
插入意向锁(Insert Intention Locks),是一种特殊的间隙锁,只有在执行INSERT操作时才会加锁,插入意向锁之间不冲突,可以向一个间隙中同时插入多行数据,但插入意向锁与间隙锁是冲突的,当有间隙锁存在时,插入语句将被阻塞,正是这个特性解决了幻读的问题。
假设有一个记录索引包含键值4和7,不同的事务分别插入5和6,每个事务都会产生一个加在4-7之间的插入意向锁,获取在插入行上的排它锁,但是不会被互相锁住,因为数据行并不冲突。
innodb的意向锁主要用户多粒度的锁并存的情况。比如事务A要在一个表上加S锁,如果表中的一行已被事务B加了X锁,那么该锁的申请也应被阻塞。如果表中的数据很多,逐行检查锁标志的开销将很大,系统的性能将会受到影响。为了解决这个问题,可以在表级上引入新的锁类型来表示其所属行的加锁情况,这就引出了“意向锁”的概念。
举个例子,如果表中记录1亿,事务A把其中有几条记录上了行锁了,这时事务B需要给这个表加表级锁,如果没有意向锁的话,那就要去表中查找这一亿条记录是否上锁了。如果存在意向锁,那么假如事务A在更新一条记录之前,先加意向锁,再加X锁,事务B先检查该表上是否存在意向锁,存在的意向锁是否与自己准备加的锁冲突,如果有冲突,则等待直到事务A释放,而无须逐条记录去检测。事务B更新表时,其实无须知道到底哪一行被锁了,它只要知道反正有一行被锁了就行了。
意向锁的主要作用是处理行锁和表锁之间的矛盾,能够显示“某个事务正在某一行上持有了锁,或者准备去持有锁”。
共享锁和排它锁都是行级锁。意向共享锁和意向排他锁是表级锁。意向共享锁和意向排他锁都是系统自动添加和自动释放的,整个过程无需人工干预。
共享锁(S锁,Shared Lock):又称读锁,允许一个事务去读数据集,阻止其他事务获得该数据集的排他锁。共享锁与共享锁可以同时使用。举例:若事务T对数据对象A加上S锁,则事务T可以读A但不能修改A,其他事务只能再对A加S锁,而不能加X锁,直到T释放A上的S锁。这保证了其他事务可以读A,但在T释放A上的S锁之前不能对A做任何修改。
排他锁(X锁,Exclusive Lock):又称写锁,允许获取排他锁的事务更新数据,阻止其他事务获得相同的数据集的共享锁和排他锁。排它锁与排它锁、共享锁都不兼容。举例:若事务T对数据对象A加上X锁,事务T可以读A也可以修改A,其他事务不能再对A加任何锁,直到T释放A上的锁。
意向共享锁(IS锁,Intention Shared Lock):事务打算给数据行共享锁,事务在给一个数据行加共享锁前必须先取得该表的IS锁。
意向排他锁(IX锁,Intention Exclusive Lock):事务打算给数据行加排他锁,事务在给一个数据行加排他锁前必须先取得该表的IX锁。
IS锁和IX锁的提出仅仅为了在之后加表级别的S锁和X锁时可以快速判断表中的记录是否被上锁,以避免用遍历的方式来查看表中有没有上锁的记录,也就是说其实IS锁和IX锁是兼容的,IX锁和IX锁是兼容的。
意向锁之间不会发生冲突,但共享锁、排它锁、意向锁之间会发生冲突,表级别各种锁的兼容性如下表所示。
兼容性 | X | IX | S | IS |
---|---|---|---|---|
X | 不兼容 | 不兼容 | 不兼容 | 不兼容 |
IX | 不兼容 | 兼容 | 不兼容 | 兼容 |
S | 不兼容 | 不兼容 | 兼容 | 兼容 |
IS | 不兼容 | 兼容 | 兼容 | 兼容 |
AUTO-INC Locks,自增锁,是一种特殊的表锁。当表有设置自增auto_increment
列,在插入数据时会先获取自增锁,其它事务将会被阻塞插入操作,自增列+1后释放锁,如果事务回滚,自增值也不会回退,所以自增列并不一定是连续自增的。(MySQL 从 5.1.22 版本开始,引入了一种可选的轻量级锁(mutex)机制来代替AUTOINC锁。见于参考文档3)
元数据锁(metadata lock),MySQL Server控制,表级锁,是维护表元数据的数据一致性,保证在表上有活动事务(显式或隐式)的时候,不可以对元数据进行写入操作。从MySQL5.5版本开始引入了MDL锁,来保护表的元数据信息,用于解决或者保证DDL操作与DML操作之间的一致性。
对于引入MDL,其主要解决了2个问题:
每执行一条DML、DDL语句时都会申请MDL锁,DML操作需要MDL读锁,DDL操作需要MDL写锁(MDL加锁过程是系统自动控制,无法直接干预,读读共享,读写互斥,写写互斥),申请MDL锁的操作会形成一个队列,队列中写锁获取优先级高于读锁。
一旦出现MDL写锁等待,不但当前操作会被阻塞,同时还会阻塞后续该表的所有操作(不过在MySQL5.6的时候推出了online ddl机制,使得排队的MDL写锁进行降级,防止对MDL读锁的阻塞)。
为什么DDL语句会隐式提交?因为DDL是数据定义语言,在数据库中承担着创建、删除和修改的重要的职责。一旦发生问题,带来的后果很可能是不可估量的。于是在每执行完一次后就进行提交,可以保证流畅性,数据不会发生阻塞,同时也会提高数据库的整体性能。
线上踩坑举例:由于DDL语句存在隐式提交,所以如果会话A开始了事务,进行了DML操作,然后进行了DDL操作,然后会话A回滚事务。此时会话A回滚的事务是一个空事务,因为DDL操作执行的时候会进行一次隐式提交
“查询每个表索引,并使用最佳索引,除非优化程序认为使用表扫描更有效。一次使用扫描是基于最佳索引是否跨越了表的30%以上,但是固定百分比不再决定使用索引还是扫描。现在,优化器更加复杂,并且根据附加因素(如表大小,行数和I / O块大小)进行估计。”见于参考文档1。
以下结论基于MySQL5.6,以InnoDB默认的RR级别来实验,只用来方便理解本文提到的锁机制。恐有纰漏,敬请谅解。
INFORMATION_SCHEMA提供对数据库元数据的访问、关于MySQL服务器的信息,如数据库或表的名称、列的数据类型或访问权限。其中有一个关于InnoDB数据库引擎表的集合,里面有记录数据库事务和锁的相关表。
MySQL有关事务和锁的四条命令:
SELECT * FROM information_schema.INNODB_TRX;
命令是用来查看当前运行的所有事务。SELECT * FROM information_schema.INNODB_LOCKs;
命令是用来查看当前出现的锁。SELECT * FROM information_schema.INNODB_LOCK_waits;
命令是用来查看锁等待的对应关系。show engine innodb status \G;
命令是用来获取最近一次的死锁信息。在查询结果中可以看到是否有表锁等待或者死锁。如果有死锁发生,可以通过
KILL trx_mysql_thread_id
来杀掉当前运行的事务。
死锁是并发系统中常见的问题,同样也会出现在数据库MySQL的并发读写请求场景中。当两个及以上的事务,双方都在等待对方释放已经持有的锁或因为加锁顺序不一致造成循环等待锁资源,就会出现“死锁”。常见的报错信息为"Deadlock found when trying to get lock..."
MySQL死锁问题排查的常见思路:
发生死锁异常后,通过开启InnoDB的监控机制来获取实时的死锁信息,它会周期性(每隔 15 秒)打印 InnoDb 的运行状态到 mysqld服务的错误日志文件中。
InnoDB的监控较为重要的有标准监控(Standard InnoDB Monitor)和锁监控(InnoDB Lock Monitor),通过对应的系统参数可以将其开启。
set GLOBAL innodb_status_output=ON;开启标准监控
set GLOBAL innodb_status_output_locks;开启所监控
另外,MySQL 提供了一个系统参数innodb_print_all_deadlocks
专门用于记录死锁日志,当发生死锁时,死锁日志会记录到 MySQL 的错误日志文件中。
另外,MySQL 提供了一个系统参数innodb_print_all_deadlocks
专门用于记录死锁日志,当发生死锁时,死锁日志会记录到 MySQL 的错误日志文件中。
select … where … order by rand();
这样的语句,类似这样的语句用不到索引,因此将导致整个表的数据都被锁住。参考文档: