锁相关

1.1 lock 与 latch

latch 一般称为闩锁(轻量级的锁),因为其要求锁定时间必须非常短。在 InnoDB 存储引擎中,latch 又分为 mutex 和 rwlock 。其目的是用来保证并发线程操作临界资源的正确性,并且通常没有死锁检测机制。

lock 的对象是事务,用来锁定的是数据库中的对象,如表、行、页。并且一般 lock 的对象仅在事务 commit 或 rollback 后释放,并且是有死锁机制的。

lock latch
对象 事务 线程
保护 数据库内容 内存数据结构
持续时间 整个事务过程 临界资源
模式 行锁、表锁、意向锁 读写锁、互斥量
死锁 通过 waits-for graph、time out 等机制进行检测与处理 无死锁检测与处理机制
存在于 Lock Manager 的哈希表中 每个数据结构的对象中

1.2 InnoDB 存储引擎中的锁

1.2.1 锁的类型

  • 共享锁( S 锁),允许事务读一行数据(行级)
  • 排他锁( X 锁),允许事务删除或更新一行数据(行级)
  • 意向共享锁( IS 锁),事务想要获得一张表中某几行的共享锁(表级)
  • 意向排他锁( IX 锁),事务想要获得一张表中某几行的排他锁(表级)

这里说一下意向锁。意向锁是为了保证行锁和表锁可以共存。

考虑以下两种情况:

  1. 想要对表加 S 锁,那么就要先确定表中的行是否有 X 锁,没有的话才可以加表锁
  2. 想要对表加 X 锁,类似地,需要确定表里是否有 S 锁或 X 锁,没有的话才可以加表锁

而为了确定表中是否有锁,很自然的就应该去遍历表的每一行,确定每一行的锁的情况。但是,这样的效率太低了。因此,InnoDB 提出了意向锁。在对每一行记录加行锁前,先对表加意向锁,这样当以后要需要对表加锁时,就可以直接根据表的意向锁来确定表里的加锁情况。回到之前说的情况,现在想要对表加 S 锁时,只需要看表上是否有 IX 锁,没有的话可以直接加表锁。

IS IX S X
IS 兼容 兼容 兼容 不兼容
IX 兼容 兼容 不兼容 不兼容
S 兼容 不兼容 兼容 不兼容
X 不兼容 不兼容 不兼容 不兼容

需要注意的是表格上的 X 和 S 都是指的表锁。

1.2.2 一致性非锁定读

InnoDB 通过行多版本控制的方法来读取当前执行时间数据库中行的数据。如果读取的行上有 X 锁,不会等待,而是去读取行的上一个快照数据。这里也能理解为什么叫非锁定读了。

显然,非锁定读极大地提高了数据库的并发性,因此在默认情况下,这也是 InnoDB 的默认读取方式。但是,不同的隔离级别下,读取的方式不同!!!

  1. READ COMMITTED :读取最新的一份快照数据
  2. REPEATABLE READ :读取事务开始时的行数据版本

1.2.3 一致性锁定读

从上面可以知道,非锁定读虽然避免了加锁的操作,但是读到的数据不是最新的,而是历史的数据。而在某些情况下是需要读取实时的数据的,那么这时就不得不加锁了。

  • SELECT … FOR UPDATE ( X 锁)

  • SELECT … LOCK IN SHARE MODE ( S 锁)

1.2.4 外键和锁

在子表中对外键的值插入或更新,都需要先查询父表的记录,即 SELECT 父表。但是对于父表的 SELECT 操作并不是使用的一致性非锁定读的方式,而是对父表加 S 锁。这种情况下,如果父表上已经有了 X 锁,子表的操作只能被阻塞。

1.3 锁的算法

  • Record Lock :单个行记录上的锁
  • Gap Lock :间隙锁,锁定一个范围,但不包含记录本身
  • Next-Key Lock :锁定一个范围,并且锁定记录本身

需要明确的是,上面三种锁都是对某行记录加的。Record Lock 很好理解,就是对一行记录加锁。Gap Lock看起来有点奇怪,但是举个例子就很清楚了。比如说一个索引有1,6,8,10 四个值,Gap Lock 可以分为以下几个区间:(-\infty,1) , (1,6) , (6,8) , (8,10) , (10,+\infty) 。那么对索引值为 6 的记录加 Gap Lock 锁的就是 (1,6) 。而 Next-Key Lock 实际上就是 Gap Lock+Record Lock,因此其锁定的范围应该是 (1,6] 。但实际上还会对下一个索引值加上 Gap Lock,因此实际锁的范围应该是 (1,6] + (6,8) 。很自然的我们会想为什么要有 Gap Lock,其实这是用来避免幻读的,因此即使 InnoDB 默认的事务隔离级别是 REPEATABLE READ,幻读也是不会发生的。还有一点需要注意的是,当查询的索引含有唯一属性(可以理解为包含唯一索引)时,InnoDB 会将 Next-Key Lock 降为 Record Lock

1.4 死锁

  • 超时回滚
  • wait-for graph,死锁检测

wait-for graph 要求数据库保存以下两种信息:

  1. 锁的信息链表,确定图中结点间的指向
  2. 事务等待链表,确定图中的结点有哪些
死锁.png

从图中可以看到 t1 和 t2 构成回路形成死锁。在每个事务请求锁并发生等待时,都会判断是否存在回路,若存在就说明有死锁,InnoDB 会回滚 undo 量最小的事务。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 222,183评论 6 516
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 94,850评论 3 399
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 168,766评论 0 361
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 59,854评论 1 299
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 68,871评论 6 398
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 52,457评论 1 311
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,999评论 3 422
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,914评论 0 277
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 46,465评论 1 319
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 38,543评论 3 342
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,675评论 1 353
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 36,354评论 5 351
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 42,029评论 3 335
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 32,514评论 0 25
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,616评论 1 274
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 49,091评论 3 378
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 45,685评论 2 360

推荐阅读更多精彩内容

  • 一、简介 数据库锁定机制简单来说,就是数据库为了保证数据的一致性,而使各种共享资源在被并发访问变得有序所设计的一种...
    huangxiongbiao阅读 435评论 0 0
  • 文章导读: 累兮,累兮,要死兮...... 本文解决问题: 1、表级锁定(读锁、写锁) 2、行级锁定(共享锁、排他...
    创造new_world阅读 640评论 0 1
  • 一、概述 数据库锁定机制简单来说,就是数据库为了保证数据的一致性,而使各种共享资源在被并发访问变得有序所设计的一种...
    忘忧谷主阅读 595评论 0 3
  • 有些人,走着走着就散了,消失的似乎从来没有出现在我得日子里一样。不知,在这个世界角落的某一天,你会不会也想我想念你...
    关小爬_June阅读 199评论 0 0
  • 文/吾小初 有人说,越热闹越孤单,我想说,那是因为你不会搭讪。 美国心理学家斯坦利·米尔格朗姆的六度分隔理论认为,...
    逆行星阅读 6,226评论 133 379