【MySQL】InnoDB事务锁之锁模式与锁类型以及冲突矩阵

⒈InnoDB事务锁的构成
INNODB锁类型格式为:lock_mode|lock_type
例如:LOCK_X|LOCK_GAP|LOCK_REC,含义为这是一个写锁,他锁定的是一间隙(我们通常说的GAP lock),锁定的是一条记录(LOCK_REC)。

⒉InnoDB锁模式(lock_mode)
⑴锁模式类型
    锁模式主要用来判断锁的兼容性
    /* Basic lock modes */
    enum lock_mode {
            LOCK_IS = 0,    /* intention shared */
            LOCK_IX,        /* intention exclusive */
            LOCK_S,         /* shared  LOCK_S的值为2*/
            LOCK_X,         /* exclusive LOCK_X的值为3*/
            LOCK_AUTO_INC,  /* locks the auto-inc counter of a table
                        in an exclusive mode */
            LOCK_NONE,   /* this is used elsewhere to note consistent read */
            LOCK_NUM = LOCK_NONE, /* number of lock modes */
            LOCK_NONE_UNSET = 255
    };
⑵锁模式兼容性矩阵
    static const byte lock_compatibility_matrix[5][5] = {
    /**          IS     IX     S      X         AI */
    /* IS */ {  TRUE,  TRUE,  TRUE,  FALSE,  TRUE},
    /* IX */ {  TRUE,  TRUE,  FALSE, FALSE,  TRUE},
     /* S  */ {  TRUE,  FALSE, TRUE,  FALSE,  FALSE},
    /* X  */ {  FALSE, FALSE, FALSE, FALSE,  FALSE},
     /* AI */ {  TRUE,  TRUE,  FALSE, FALSE,  FALSE}
    };
    为了清晰,画出如下矩阵图(吐槽:这ITPUB缩进功能太差了,我下面的图片缩进不了):



⒊InnoDB锁类型(lock_type)
⑴InnoDB锁类型包括如下(锁类型表示施加锁的范围,是间隙(LOCK_GAP),还是记录(LOCK_REC_NOT_GAP)或者间隙加记录(LOCK_ORDINARY),对象是记录(LOCK_REC)还是表(LOCK_TABLE)或者等待(LOCK_WAIT))
    #define LOCK_WAIT    256   /*用于锁冲突等待*/
    #define LOCK_ORDINARY   0 /*next-key lock*/
    #define LOCK_GAP  512  /*gap 锁*/
    #define LOCK_REC_NOT_GAP 1024 /*record lock*/
    #define LOCK_INSERT_INTENTION 2048 /*插入意向锁*/
    #define LOCK_TABLE      16      /*!< table lock */
    #define LOCK_REC        32      /*!< record lock */
    #define LOCK_MODE_MASK  0xFUL  /*锁模式掩码*/
    #define LOCK_TYPE_MASK  0xF0UL /*锁类型掩码*/

⑵InnoDB锁类型冲突分析及矩阵
    ①源码分析注释:
        if ((lock_is_on_supremum || (type_mode & LOCK_GAP))
                    && !(type_mode & LOCK_INSERT_INTENTION)) {
            /*GAP锁不需要等待任何锁类型(record lock,next-key lock,insert-intention) */
            return(FALSE);
        }
        //不可能是LOCK_GAP,则只有LOCK_ORDINARY与LOCK_REC_NOT_GAP不等待LOCK_GAP
        ///*next-key lock或者record lock不需要等待Gap锁*/
        if (!(type_mode & LOCK_INSERT_INTENTION)&& lock_rec_get_gap(lock2)) {
            return(FALSE);
        }
        //LOCK_GAP&LOCK_INSERT_INTENSION 不等待LOCK_REC_NOT_GAP
        //*GAP锁不需要等待LOCK_REC_NOT_GAP锁*/
        if ((type_mode & LOCK_GAP)&& lock_rec_get_rec_not_gap(lock2)) {
                    return(FALSE);}
        //*没有锁类型会等待意向锁*
        if (lock_rec_get_insert_intention(lock2)) {
                return(FALSE);}
    ②InnoDB锁类型冲突矩阵(注意,锁类型冲突通常是在相同的锁模式下的锁类型冲突,这里将上面的代码冲突画成图):

请使用浏览器的分享功能分享到微信等