迷失在Mysql的锁世界~
1.饮料
这是一杯饮料。
这是3杯饮料,每杯饮料的味道各不相同。
但是人类并不称呼【饮料】为【饮料】,而是称呼【饮料】为【记录】。
2.红章鱼
这个红色的,长的像章鱼🐙的家伙,我们就叫它红章鱼~
红章鱼分为头部和触手两个部分。
红章鱼有触手,且可以有任意根触手。
红章鱼爱喝饮料,把触手伸进杯子就能吸到饮料。
红章鱼将不同的触手伸进不同的杯子,就可以同时喝多杯饮料。
多只红章鱼可以同时出现。
但是正在喝饮料的红触手会排斥其它触手,即一杯饮料里最多只能有一只红触手。
同一杯饮料可以有多只红章鱼在按序排队等待。
红章鱼痴迷同时吸吮多杯饮料的感觉,所以它的所有触手要么全在等待,要么全在喝饮料。
也就是说,如果红章鱼的某只触手在排队,那么它的其它触手也必须排队,即使是没人喝的饮料也要排队。
有触手排队但是没触手伸进去喝的饮料,仍然可以被后来的其它章鱼喝。
但是人类并不称呼【红章鱼】为【红章鱼】。
人类称呼【红章鱼的头部】为【意向排它锁】;
人类称呼【正在喝饮料的红触手】为【排它记录锁】。
3.绿章鱼
这些是绿章鱼。
绿章鱼的绝大多数特性和红章鱼完全相同,除了一点:绿章鱼的触手愿意跟其它绿色触手一起分享饮料。
因为红章鱼不会向其它任何颜色的章鱼分享饮料,且绿章鱼只会向绿章鱼分享饮料,
根据以上规则,红章鱼和绿章鱼可以组成很多状态。下面就是一种,编号表示他们来的顺序。
但是人类并不称呼【绿章鱼】为【绿章鱼】,
人类称呼【绿章鱼的头部】为【意向共享锁】;
人类称呼【正在喝饮料的绿触手】为【共享记录锁】。
4.空地
事实上,饮料杯未必都是相邻的,它们之间可能有空地。
无论两个饮料杯相隔多远,它们之间如果没有其它饮料杯,那我们就说这两个饮料杯之间是同一块空地。
最左边的杯子的左边,最右边的杯子的右边,仍然是空地。
对于章鱼来说,除了喝饮料的触手以外,有时候它们会有一些多余的触手,它们会在`喝饮料的时候`把多余的触手放到杯子间的空地上休息。
因为空地上啥都没有,在空地上的触手不用抢着喝饮料,所以在空地上红绿颜色的触手可以和平共处。
但是人类并不称呼【空地】为【空地】,
人类称呼【空地】为 【记录间的间隙】;
人类也不称呼那些【在空地上的触手】为【空地上的触手】,
人类称呼【在空地上的触手】为【间隙锁】;
如果一只章鱼把一只触手伸进了一杯饮料吮吸,恰巧把另一只触手放在紧挨该饮料的左边休息,那么人类会称呼这两只触手为一个【临键锁】。
4.黑触手
这个世界存在另一种红章鱼,这种红章鱼的触手是黑色的。
黑色的触手跟红绿颜色的触手都不同,黑色的触手没办法吸食饮料。
但是黑触手有一个逆天的功能,就是当黑触手接触空地时,在接触点会凭空生成一杯饮料出来!
因为黑触手可以创造出章鱼爱喝的饮料,所以其它章鱼对黑触手奉若神明,当黑触手接触到空地后,其它触手不会过来打扰。
黑触手只会降落在没有其它触手的空地。
一只有黑触手的红章鱼,可以在同一片空地上放下多只触手(如果空间足够)。
也可以在不同的空地同时放下多只触手。
但是人类并不称呼【落在空地上的黑触手】为【落在空地上的黑触手】,
人类称呼【落在空地上的黑触手】为【意向插入锁】,并且认为它是【间隙锁】的一种。
5.激光
下图是一条红色的激光,横在了所有杯子上方。
红激光十分灼热,红章鱼和绿章鱼碰到红激光就会被烧伤,所以红激光存在的时候,章鱼们就在上方盘旋不敢下来。
另一方面,没有任何触手在饮料杯或空地上时,红激光才有可能出现。
这是绿色的激光。
绿激光比较柔和,绿色的东西能够无伤的穿过绿激光,所以绿章鱼不受绿激光的影响。
事实上,绿激光可以同时出现多条,而红激光最多出现一条,且红绿激光不会同时存在。
但是人类不称呼【红激光】为【红激光】,人类称呼【红激光】为【排它表锁】。
人类也不称呼【绿激光】为【绿激光】,而是称呼【绿激光】为【共享表锁】。
[参考] 15.7 InnoDB Locking and Transaction Model