row代表lock HashTable的权限
column代表预加锁的权限
ulint
lock_mode_stronger_or_eq(
/*=====================*/
enum lock_mode mode1, /*!< in: lock mode */ //找到的lock本身锁的模式
enum lock_mode mode2) /*!< in: lock mode */ //预加锁的模式
{
ut_ad(mode1 == LOCK_X || mode1 == LOCK_S || mode1 == LOCK_IX
|| mode1 == LOCK_IS || mode1 == LOCK_AUTO_INC);
ut_ad(mode2 == LOCK_X || mode2 == LOCK_S || mode2 == LOCK_IX
|| mode2 == LOCK_IS || mode2 == LOCK_AUTO_INC); return((LOCK_MODE_STRONGER_OR_EQ) & LK(mode1, mode2));
}
IS IX S X AI
IS + - - - -
IX + + - - -
S + - + - -
X + + + + +
AI - - - - +
Innodb的锁分基础锁和精准锁
IS 意向共享锁 只针对于 表
IX 意向排它锁 只针对于 表
S 共享锁 针对于 表、记录
X 排它锁 针对于 表、记录
+ 代表row锁的强度>=column锁
/////////////////////////////////////////////////////////////////////////////////////////////////////
#define LOCK_MODE_STRONGER_OR_EQ 0
这里的 0 是int类型,占4(字节)*8(位)=32位,即下标从0到31
#define LK(a,b) (1 << ((a) * LOCK_NUM + (b)))
这个宏里LOCK_NUM 为6,不是5
之所以为6,是要保证LK()的结果 不能超过31,同时保证为最大的数,我想应该是避免冲突吧
例如, 使用 LOCK_AUTO_INC 为 4，如果 LOCK_NUM 为5的话
1<<(4*5+4)=2^24
可理解为数字 1 左移24位
如果 LOCK_NUM 为6
1 << (4*6+4) = 2^28
可理解为数字 1 左移 28位
LOCK_NUM 大于6就不行了，例如
1<<(4*7+4)=2^32
可理解为 数字 1 左移 32位，超过int 类型最大下标 31 了, 会溢出的
即 #define LK(a,b) (1 << ((a) * 6 + (b)))
/////////////////////////////////////////////////////////////////////////////////////////////////////
#define LOCK_MODE_STRONGER_OR_EQ 0 \
| LK(LOCK_IS, LOCK_IS) \
| LK(LOCK_IX, LOCK_IS) | LK(LOCK_IX, LOCK_IX) \
| LK(LOCK_S, LOCK_IS) | LK(LOCK_S, LOCK_S) \
| LK(LOCK_AUTO_INC, LOCK_AUTO_INC) \
| LK(LOCK_X, LOCK_IS) | LK(LOCK_X, LOCK_IX) | LK(LOCK_X, LOCK_S) \
| LK(LOCK_X, LOCK_AUTO_INC) | LK(LOCK_X, LOCK_X)
这个宏里每一个LK(a,b)就代表了row锁的强度>=column锁 这个 组合 在32位中的下标
当这些组合经过 | 或运算,组成一个int类型的数字
那么当要检查某个组合是否是强度大的锁组合时,只需要跟上面的数 进行 & 与运算(全1为1,其他为0)即可