MySQL锁机制

1 宏观

1.1 数据库锁

• 数据库锁适用于集群
• 粒度小，更方便控制

1.2 代码锁

• 需要复杂的处理，才能作用于集群

• 粒度大

2 微观

2.1 行锁 & 表锁

2.1.1 说明

只有「明确」指定主键，才会执行锁，否则将会执行表锁

2.1.2 示例

假设有个表 products ，字段id、name、type，id是主键。

• 无锁

  # 明确指定主键，但不存在该主键的值(没有数据，当然不会有锁)
  SELECT * FROM products WHERE id=-1 FOR UPDATE;
  

• 行锁

  # 明确指定主键
  SELECT * FROM products WHERE id=3 FOR UPDATE;
  SELECT * FROM products WHERE id=3 AND type=1 FOR UPDATE;
  

• 表锁

  # 主键不明确
  SELECT * FROM products WHERE name='Mouse' FOR UPDATE;
  SELECT * FROM products WHERE id<>'3' FOR UPDATE;
  SELECT * FROM products WHERE id LIKE '3' FOR UPDATE;
  

2.1.3 注意

• 要测试锁定的状况，可以利用 MySQL 的 Command Mode ，开二个视窗来做测试。
• MyAsim 只支持表级锁，InnorDB支持行级锁添加了（行级锁、表级锁）锁的数据不能被其它事务再锁定，也不被其它事务修改（修改、删除） 。是表级锁时，不管是否查询到记录，都会锁定表。

2.2 行锁算法

2.2.1 Record Lock（普通行锁）

• 对于键值在条件范围内，且存在的记录，使用" Record Lock "，即普通的行锁机制；

2.2.2 Gap Lock（间隙锁）

• 对于键值在条件范围内但并不存在的记录，叫做" 间隙（GAP) “，InnoDB会对这个“间隙”加锁，这种锁机制就是所谓的” Gap Lock "(间隙锁)；

2.2.3 Next-Key Lock（行 & 间隙）

• 对于存在于不存在的数据同时加锁，则称为" Next-Key Lock "；

• Next-Key Lock包含Record Lock和Gap Lock；

  # 假如user表中只有101条记录，empid的值是1,2,...,100,101
  # 范围条件的检索，会对值为101的记录加锁，也会对大于101（不存在）加锁
  # 由于两个锁同时存在，则此处为 Next-Key Lock
  select * from  user where user_id > 100 for update;
  

1.Record Lock：单个行记录上的锁

2.Gap Lock：间隙锁，锁定一个范围，但不包括记录本身。GAP锁的目的，是为了防止同一事务的两次当前读，出现幻读的情况

3.Next-Key Lock：1+2，锁定一个范围，并且锁定记录本身。对于行的查询，都是采用该方法，主要目的是解决幻读的问题。

2.3 表锁算法

2.3.1 意向锁

• 当一个事务带着表锁去访问一个被加了行锁的资源，那么，此时，这个行锁就会升级为意向锁，将表锁住。

• 常用的意向锁有：意向共享锁，意向排它锁，共享意向排它锁

2.3.2 自增锁

• 事务插入自增类型的列时获取自增锁

  如果一个事务正在往表中插入自增记录，所有其他事务的插入必须等待

3 实现

3.1 共享锁 & 排它锁

行锁和表锁是锁粒度的概念，共享锁和排它锁是他们的具体实现

3.1.1 共享锁（S）：读锁

• 允许一个事务去读一行，阻止其他事务获取该行的排它锁。
• 多事务时，只能加共享读锁，不能加排他写锁；单事务时，可以加任何锁。
• 一般理解为：能读，不能写。

3.1.2 排它锁（X）：写锁

• 允许持有排它锁的事务读写数据，阻止其他事物获取该数据的共享锁和排它锁。
• 其他事务不能获取该数据的任何锁，直到排它锁持有者释放。
• 不能获取任何锁，不代表不能无锁读取。

注意

• 排它锁指的是，在某个事务获取数据的排它锁后，其他事务不能获取该数据的任何锁，
  并不代表其他事务不能无锁读取该数据。

  • 无锁
    • select … from
  • 共享锁
    • select … lock in share mode
  • 排它锁
    • update
    • delete
    • insert
    • select … for update

• MySQL8.0 中，使用 FOR SHARE 替代了 LOCK IN SHARE MODE，但仍然支持 LOCK IN SHARE MODE；
  虽然是等价的，但是 FOR SHARE 支持 NOWAIT 、 SKIP LOCKED 等，配合自旋，可以实现高效的等待队列。

3.2 乐观锁 & 悲观锁

不管是什么锁都需要增加，需加失败重试

3.2.1 乐观锁

• 通过版本号来进行更新的操作属于乐观锁

  update tab set name = 'xxx' where id = 1 and version = xxx
  

3.2.2 悲观锁

共享锁 & 排它锁都是悲观锁的具象实现

• 显示地控制行或表锁属于悲观锁

4 原理

牵扯到索引巴拉巴拉…