1. 背景与动机：为什么需要自增锁？

在 MySQL 中，自增列（AUTO_INCREMENT）通常用于生成表的主键或唯一标识符，每次插入新行时会自动生成一个递增的整数值。自增列的生成过程必须保证多个事务并发插入时，生成的值不会冲突，因此涉及到并发控制。

为了确保自增值的生成是线程安全的，InnoDB 存储引擎使用了 自增锁（Auto-Increment Lock） 来保护自增值的生成过程。这种锁机制用于防止多个事务同时生成相同的自增值，同时需要在高并发情况下保持高性能。

2. 自增锁的分类

自增锁在 MySQL 中的实现分为两种模式：

• 表级锁（Table-Level Locking）：传统的自增锁模式，整个表在生成自增值时加锁，直到插入操作完成。
• 轻量级的互斥锁（Mutex）：为了优化并发性能，InnoDB 后续引入了更高效的方式，通过轻量级的互斥锁控制自增值的生成，而不必锁定整个表。

MySQL 中自增锁的策略可以通过以下系统变量配置：

• innodb_autoinc_lock_mode：控制自增锁的模式，有三种值：0（传统模式）：使用表级锁，确保每次插入一个自增值。1（连续模式）：通过互斥锁生成自增值，插入操作可以并发执行。

  2（无锁模式）：允许批量插入时预先分配自增值，不使用锁。

3. 自增锁的工作机制

MySQL 中自增锁的核心目标是确保自增列在并发插入时的唯一性和连续性。以下是自增锁的具体机制：

• 单行插入：对于单条插入操作，自增锁确保每个事务获取唯一的自增值。根据锁模式，自增值可能会被锁定直到插入完成（在传统模式下）。
• 批量插入：对于批量插入（如 INSERT INTO ... SELECT 或 LOAD DATA），InnoDB 会分配一批自增值，并保证事务插入的行使用连续的自增值范围。

自增锁的具体实现根据 innodb_autoinc_lock_mode 的设置而变化：

• 传统模式 (innodb_autoinc_lock_mode = 0)：
  • 生成自增值时使用表级锁，保证每个插入操作依次获得自增值，且在并发场景下避免了任何冲突。
  • 插入过程中，表上的其他自增操作会被阻塞，直到当前事务完成。
• 连续模式 (innodb_autoinc_lock_mode = 1)：
  • InnoDB 使用轻量级的互斥锁控制自增值生成，只锁定自增值生成的操作，不锁定整个表。插入操作可以并发执行，因此相比传统模式有更高的性能。
  • 生成自增值后，互斥锁立即释放，允许其他事务并发执行插入。
• 无锁模式 (innodb_autoinc_lock_mode = 2)：
  • 允许批量插入操作预先分配自增值，而不使用锁机制。每个事务在开始插入时获得一组连续的自增值，即使事务中途回滚或失败，这些自增值也不会回退。
  • 该模式在并发批量插入时具有最佳性能，但可能会导致自增值不连续。

4. 自增锁的底层原理与 InnoDB 的实现

自增锁的实现依赖于 InnoDB 存储引擎的锁管理模块以及内部的互斥锁机制。接下来我们从源代码的角度，剖析 MySQL 如何生成自增值并确保线程安全。

4.1 自增值的生成过程

自增值的生成主要通过 row_ins_set_autoinc_fields() 函数完成，该函数会根据当前表的状态和插入模式，决定如何分配自增值。在传统模式下，它需要加锁，以保证只有一个事务能够获取下一个自增值。

在上面的代码中，mutex_enter() 和 mutex_exit() 是用来控制自增值生成的互斥锁。在高并发场景下，轻量级的互斥锁能够比表级锁更好地优化性能。

4.2 自增锁的表级锁实现

当 innodb_autoinc_lock_mode = 0（传统模式）时，InnoDB 使用表级锁来保护自增值的生成。lock_table() 函数会对整个表加锁，确保只有一个事务能够执行插入操作：

在表级锁的保护下，InnoDB 确保每次插入都严格按照顺序生成自增值，避免冲突。但这种方式也会导致并发性能下降，因为在表锁释放之前，其他事务必须等待。

4.3 轻量级互斥锁的实现

对于 innodb_autoinc_lock_mode = 1 和 innodb_autoinc_lock_mode = 2，InnoDB 主要使用互斥锁保护自增值生成。互斥锁的开销比表级锁小得多，插入操作只在生成自增值时加锁，随后立即释放锁，允许其他事务并发执行。

互斥锁由 InnoDB 的内部锁管理模块控制，相关代码在 trx0trx.cc 文件中：

当事务请求自增值时，InnoDB 仅在自增值生成过程中加锁，并在生成完毕后立刻释放锁。这种方式显著提升了并发性能，因为大多数事务不会被阻塞。

4.4 自增值的缓存与分配

为了进一步提升性能，InnoDB 还会将自增值保存在缓存中，避免每次插入都访问磁盘。例如，当批量插入时，InnoDB 可以一次性分配一批自增值，然后逐步使用。相关逻辑由 row_ins_get_autoinc() 函数实现：

这种缓存机制使得批量插入操作能够获得一组连续的自增值，并在高并发情况下进一步提升性能。

5. 自增锁在事务隔离级别中的表现

自增锁在不同事务隔离级别下有不同表现：

• 在 可重复读（REPEATABLE READ） 隔离级别下，自增值在事务提交前不会影响其他事务，因此即使事务回滚，自增值也不会回退。
• 在 读提交（READ COMMITTED） 隔离级别下，每个事务都可以看到最新的自增值，因此自增值始终是递增的。

此外，无论在什么隔离级别下，自增值一旦分配给某个事务，即使该事务回滚，自增值也不会被重新分配。这是为了避免不同事务在回滚后获取相同的自增值。

总结：

• 自增锁的主要目的是确保自增值在并发插入时唯一且递增。
• 三种自增锁模式：传统模式（表级锁）、连续模式（轻量级互斥锁）和无锁模式（批量分配自增值），每种模式适用于不同的并发场景。
• 互斥锁和表级锁的机制在源码中通过 mutex_enter() 和 lock_table() 等函数实现，自增值的生成由 row_ins_set_autoinc_fields() 控制。
• 批量插入和缓存机制提高了自增值生成的效率，特别是在高并发的场景下，通过提前分配自增值提升性能。

自增锁的灵活机制使 MySQL 在处理大规模并发插入时，既能保持自增值的唯一性，又能通过不同的锁策略在性能和一致性之间取得平衡。

到此这篇关于MySQL自增锁(Auto-Increment Lock) 的原理使用的文章就介绍到这了。

学习资料见知识星球。

以上就是今天要分享的技巧，你学会了吗？若有什么问题，欢迎在下方留言。

快来试试吧，小琥 my21ke007。获取 1000个免费 Excel模板福利​​​​！

更多技巧， www.excelbook.cn

欢迎 加入 零售创新 知识星球，知识星球主要以数据分析、报告分享、数据工具讨论为主；