latch与lock

latch 可以认为是应用程序中的锁,可以称为闩锁(轻量级的锁) 因为其要求锁定的时间必须要非常短,若持续时间长,则会导致应用性能非常差,在InnoDB存储引擎中,latch又可以分为mutex(互斥锁)和rwlock(读写锁),其目的用来保证并发线程操作临界资源的正确性,并且没有死锁检测的机制

在InnoDB存储引擎中的latch,可以通过命令SHOW ENGINE INNODB MUTEX 来进行查看

mysql > SHOW ENGINE INNODB MUTEX;

lock可以认为是数据库提供的锁,用来锁定的是数据库中的数据。并且一般lock对象仅在事务commit或rollback后进行释放(不同事务隔离级别释放的时间可能不同),lock是有死锁机制的。

在InnoDB存储引擎中的lock 可以通过show engine innodb status,information_schema.INNODB_LOCKS,INNODB_TRX,INNODB_LOCK_WATIS信息来查看

线程获取lock的流程:

在对数据加lock的时候会先对数据所在的页面添加latch,然后再对数据添加lock,添加完lock后再释放页面的Latch。

这种机制主要是为了保证线程获取的行数据的一致性和完整性.

如果lock被其他的线程占有,线程先释放页面latch,等待lock,待获取lock后会再次对页面添加latch,查看页面数据是否有改动,然后尝试再次获取对应的lock

共享锁与排他锁

innodb储存引擎提供了如下两种标准的行级锁

共享锁(S) 允许一个事务去读一行

排他锁(X) 允许获得排他锁的事务更新或删除数据

同时innodb储存引擎支持多粒度锁定,为了支持在不同的粒度上进行加锁操作,innodb支持另一种额外的锁方式,称之为意向锁

意向共享锁(IS)  事务想要获得一张表中某几行的共享锁

意向排他锁(IX)事务想要获得一张表中某几行的排他锁

在行锁的实现上

mysql提供了三种的行锁的算法

分别是

Record Lock 记录锁,单个记录上的锁

Gap Lock 间隙锁,锁定一个范围,但不包含记录本身

Next-key Lock Gap Lock + Record Lock 锁定一个范围,并且锁定记录本身

Mysql是如何加锁的

非特殊注明 默认在RR隔离级别下进行讨论

InnoDb的行锁是对索引加锁的,对扫描的行边扫描边加锁,如果走的是二级索引(非聚簇索引)除了需要对二级索引加锁外,还需要根据二级索引里面的主键信息扫描主键的聚簇索引,对主键加锁,

加锁的数据行数会受到Mysql是否支持Index Condition PushDown而影响(Mysql 5.6支持ICP),加锁的数量可能远远大于满足条件的记录数量

这里需要加两次锁的原因是

如果

语句A 使用二级索引对记录X进行更新操作,

语句B使用聚簇索引对记录X进行更新操作,

如果A仅对二级索引进行加锁,那么并发的语句B将感受不到语句A的存在,违背了同一条记录上的更新/删除必须串行执行的约束

select * from table where?

RC级别下 : 无需加锁,一致性非锁定读,使用快照读,读取被锁定行的最新一份数据,因此会出现前后读取数据不一致的情况

RR级别下:无需加锁,一致性非锁定读,使用快照读,读取事务开始时的行数据版本,因此前后读到的数据是一样的

Serializable级别下:使用当前读,需要加锁,innodb内部将select语句转换为了select … lock in share mode

insert?

insert会对插入成功的行加上记录锁,不会阻止其他并发的事务往这条记录之前插入记录。在插入之前,会先在插入记录所在的间隙加上一个插入意向意向锁(并发的事务可以对同一个间隙加插入意向锁锁)。如果insert 的事务出现了duplicate-key error ,事务会对duplicate index record的记录加共享锁。这个共享锁在并发的情况下是会产生死锁的,比如有两个并发的insert都对要对同一条记录加共享锁,而此时这条记录又被其他事务加上了排它锁,排它锁的事务将这条记录删除后,两个并发的insert操作会发生死锁。

delete?

delete操作仅是将主键列中对对应的记录delete flag设置为1,记录并没有被删除,还是存在于B+树中

真正的删除操作被延迟了,最终在purge操作中完成

延迟到purge操作的原因是的innodb支持mvcc多版本控制,所以记录不能在事务提交时立即进行删除,只有当对应的行记录不被任何其他事务引用的时候,才可以由purge进行真正的删除

delete操作过程中:

找到满足条件的记录,并且记录有效,则对记录加X锁

找到满足条件的记录,但是记录无效(标识为删除),则对记录加next key锁、;

未找到满足条件的记录,则对第一个不满足条件的记录加Gap锁,保证没有满足条件的记录插入;

update?

对满足条件的记录next-key锁,如果是等值匹配并且使用唯一索引或是聚簇索引,那么可以只添加记录锁

唯一索引中含NULL值的记录,将不会添加记录锁,转而为next-key锁 因为NULL不等于NULL,NULL和任何值比较均返回NULL,包括NULL本身,但是 NULL is NULL

死锁案例分析

create table `deadlocktest`

(

`id` bigint(20) unsigned NOT NULL AUTO_INCREMENT,

`a` bigint(20) unsigned NOT NULL,

`b` bigint(20) unsigned NOT NULL,

`c` bigint(20) unsigned NOT NULL,

`d` bigint(20) unsigned NOT NULL,

`e` bigint(20) unsigned NOT NULL,

PRIMARY KEY(`id`),

UNIQUE KEY `I_a`(`a`),

KEY `I_b` (`b`),

KEY `I_c` (`c`)

)ENGINE=InnoDb ;

insert into deadlocktest (a,b,c,d,e)values(1,999,3,4,5);

insert into deadlocktest (a,b,c,d,e)values(2,998,4,5,6);

insert into deadlocktest (a,b,c,d,e)values(3,997,4,5,6);

insert into deadlocktest (a,b,c,d,e)values(4,996,3,4,5);

...

insert into deadlocktest (a,b,c,d,e)values(1000,1,3,4,5);

3个insert的死锁

事务A

事务B

事务C

begin;

begin;

begin;

insert into deadlocktest (a,b,c,d,e)values(4,996,3,4,5);

insert into deadlocktest (a,b,c,d,e)values(4,996,3,4,5);

insert into deadlocktest (a,b,c,d,e)values(4,996,3,4,5);

rollback;

1 row affected

Deadlock found when trying to get lock; try restarting transaction

事务A 获得排他锁,插入数据成功

事务B 事务C,因为记录duplicate-key error转而持有行的共享锁

事务A回滚,释放了持有的排他锁,事务B和事务C需要获得该行的排他锁,但是由于互相都持有对应行的共享锁,互相等待,造成死锁

2个update的死锁

事务A

事务B

begin;

begin;

update deadlocktest force index(I_b) set e = sleep(5) where b>0;

update deadlocktest force index(I_c) set e = sleep(5) where c>2;

Deadlock found when trying to get lock; try restarting transaction

Rows matched: 4  Changed: 4  Warnings: 0

两个update事务,加锁顺序不一样导致的死锁

InnoDb的行锁是对索引加锁的,对扫描的行边扫描边加锁,如果走的是二级索引(非聚簇索引)除了需要对二级索引加锁外,还需要根据二级索引里面的主键信息扫描主键的聚簇索引,对主键加锁

3个以上delete的死锁

事务A

事务B

事务B

begin;

begin;

 begin

delete from deadlocktest where a=550

 

delete from deadlocktest where a=550

 
 

delete from deadlocktest where a=550

commit; 0 rows affected  Deadlock found when trying to get lock; try restarting transaction

delete操作仅是将主键列中对对应的记录delete flag设置为1,实际的删除延迟到purge中

delete删除时如果找到满足条件的记录,但是记录无效(标识为删除),则对记录加next key锁、;

死锁日志

3个delete的死锁比较难以复现,我是利用如下脚本完成的

MY_DB="mysql -hxxx -Pxxx -uxxx -pxxx"

while :
do
echo "use test;begin; delete from deadlocktest where a=499;rollback;" | $MY_DB
done

该类delete死锁的出现条件

1、针对唯一索引上等值查询的删除

2、有3个以上并发删除操作

3、事务的隔离级别是RR

4、INNODB储存引擎

参考文献

https://dev.mysql.com/doc/refman/5.7/en/innodb-locks-set.html

http://hedengcheng.com/?p=771#_Toc374698320

http://hedengcheng.com/?p=844

Mysql Innodb 锁机制的更多相关文章

  1. MySQL InnoDB锁机制

    概述: 锁机制在程序中是最常用的机制之一,当一个程序需要多线程并行访问同一资源时,为了避免一致性问题,通常采用锁机制来处理.在数据库的操作中也有相同的问题,当两个线程同时对一条数据进行操作,为了保证数 ...

  2. MySQL InnoDB锁机制之Gap Lock、Next-Key Lock、Record Lock解析

    MySQL InnoDB支持三种行锁定方式: l   行锁(Record Lock):锁直接加在索引记录上面,锁住的是key. l   间隙锁(Gap Lock):锁定索引记录间隙,确保索引记录的间隙 ...

  3. MySQL- InnoDB锁机制

    InnoDB与MyISAM的最大不同有两点:一是支持事务(TRANSACTION):二是采用了行级锁.行级锁与表级锁本来就有许多不同之处,另外,事务的引入也带来了一些新问题.下面我们先介绍一点背景知识 ...

  4. MySQL的innoDB锁机制以及死锁处理

    MySQL的nnoDB锁机制 InnoDB与MyISAM的最大不同有两点:一是支持事务(TRANSACTION):二是采用了行级锁.行级锁与表级锁本来就有许多不同之处,innodb正常的select ...

  5. InnoDB锁机制分析

    InnoDB锁机制常常困扰大家,不同的条件下往往表现出不同的锁竞争,在实际工作中经常要分析各种锁超时.死锁的问题.本文通过不同条件下的实验,利用InnoDB系统给出的各种信息,分析了锁的工作机制.通过 ...

  6. [转载] 数据库分析手记 —— InnoDB锁机制分析

    作者:倪煜 InnoDB锁机制常常困扰大家,不同的条件下往往表现出不同的锁竞争,在实际工作中经常要分析各种锁超时.死锁的问题.本文通过不同条件下的实验,利用InnoDB系统给出的各种信息,分析了锁的工 ...

  7. MySQL- 锁机制及MyISAM表锁

    锁是计算机协调多个进程或线程并发访问某一资源的机制.在数据库中,除传统的计算资源(如CPU.RAM.I/O等)的争用以外,数据也是一种供许 多用户 共享的资源.如何保证数据并发访问的一致性.有效性是所 ...

  8. mysql insert锁机制【转】

    最近再找一些MySQL锁表原因,整理出来一部分sql语句会锁表的,方便查阅,整理的不是很全,都是工作中碰到的,会持续更新 笔者能力有限,如果有不正确的,或者不到位的地方,还请大家指出来,方便你我,方便 ...

  9. 说一说MySQL的锁机制

    锁概述 MySQL的锁机制,就是数据库为了保证数据的一致性而设计的面对并发场景的一种规则. 最显著的特点是不同的存储引擎支持不同的锁机制,InnoDB支持行锁和表锁,MyISAM支持表锁. 表锁就是把 ...

随机推荐

  1. 单张滑动tab 组件

    /* CSS重置 * */ body, ul, ol { margin: 0px; padding: 0px; } .flash { width: 300px; height: 420px; posi ...

  2. 降维之pca算法

    pca算法: 算法原理: pca利用的两个维度之间的关系和协方差成正比,协方差为0时,表示这两个维度无关,如果协方差越大这表明两个维度之间相关性越大,因而降维的时候, 都是找协方差最大的. 将XX中的 ...

  3. js各种继承方式汇总

    js中的各种继承实现汇总 首先定义一个父类: function Animal(name) { this.name = name || '动物' this.sleep = function () { c ...

  4. dotnet core cli 命令

    1 dotnet new 2 创建code 程序 dotnet new console using System; namespace cli { class Program { static voi ...

  5. 【JavaScript数组】

    1.什么是数组--Array 数组就是一组数据的集合 其表现形式就是内存中的一段连续的内存地址 数组名称其实就是连续内存地址的首地址 2.关于js中的数组特点 数组定义时无需指定数据类型 数组定义时可 ...

  6. deeplearning.ai 人工智能行业大师访谈 林元庆 听课笔记

    1. 读博士之前,林元庆是学光学,他自认为数学基础非常好.在宾夕法尼亚大学上课认识了他的博士导师Dan Lee,转学机器学习.他从头开始学了很多算法,甚至PCA,之前他完全不知道这些,他觉得非常兴奋, ...

  7. bzoj:3730: 震波

    Description 在一片土地上有N个城市,通过N-1条无向边互相连接,形成一棵树的结构,相邻两个城市的距离为1,其中第i个城市的价值为value[i].不幸的是,这片土地常常发生地震,并且随着时 ...

  8. HDU4355-Party All the Time-三分

    Party All the Time Time Limit: 6000/2000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Other ...

  9. git学习四:eclipse使用git提交项目

    支持原创:http://blog.csdn.net/u014079773/article/details/51595127 准备工作: 目的:eclipse使用git提交本地项目,提交至远程githu ...

  10. 狗书无敌,天下第一(flask基础)

    为什么选择使用flask? 和其他框架相比, Flask 之所以能脱颖而出,原因在于它让开发者做主,使其能对程序具有全面的创意控制. 在 Flask 中,你可以自主选择程序的组件,如果找不到合适的,还 ...