MySQL中乐观锁扣减库存原理是什么

MySQL中乐观锁扣减库存原理是什么

1 基础知识

在电商系统中扣减库存是一步非常关键的操作，例如秒杀系统中一定要防止超卖情况出现，如果商家设置了100件库存但是最后卖出1000件，这样就会产生资金损失。在扣减库存时一般使用如下语句：

udpate goods set stock = stock - #{acquire} where sku_id = #{skuId} and stock - #{acquire} >= 0登录后复制

让我们分析这条语句如何有效防止库存超售，以便保护库存资源。在本文的演示中，我们采用MySQL Innodb引擎，隔离级别设为可重复读。

1.1 共享锁与排它锁

共享锁（share Lock）又被称为读锁，实现共享锁语句如下：

select lock in share mode登录后复制

排它锁（exclusive Lock）又被称为写锁，实现排它锁语句如下：

select for updateupdatedeleteinsert登录后复制

共享锁与排它锁兼容关系如下表：

我们通过实例分析上述兼容关系，首先建一张测试表并写入测试数据：

CREATE TABLE `test_account` ( `id` bigint(20) NOT NULL, `name` varchar(20) DEFAULT NULL, `account` bigint(20) DEFAULT NULL, `version` bigint(20) DEFAULT NULL, PRIMARY KEY (`id`)) ENGINE=InnoDB DEFAULT CHARSET=utf8;insert into `test_account`(`id`,`name`,`account`,`version`) values (1,'A',100,1);insert into `test_account`(`id`,`name`,`account`,`version`) values (2,'B',200,1);insert into `test_account`(`id`,`name`,`account`,`version`) values (3,'C',300,1);登录后复制

(1) 读读兼容

共享锁与共享锁之间兼容，在如下实例中session1在t3时刻，session2在t4时刻执行查询均可以获取预期结果：

(2) 读写互斥

共享锁与排它锁之间互斥，在如下实例中session1在t3时刻加共享锁，可以正确读取结果，但是session2在t4时刻尝试加排它锁，但是此时锁被session1占有，session2需要等待，当session1长时间不释放锁时，session2抛出锁超时异常：

(3) 写写互斥

排它锁与排它锁之间互斥，在如下实例中session1在t3时刻加排它锁，可以正确读取结果，但是session2在t4时刻尝试加排它锁，但是此时锁被session1占有，session2需要等待，当session1长时间不释放锁时，session2抛出锁超时异常：

1.2 当前读与快照读

MySQL Innodb存储引擎实现基于多版本并发控制协议MVCC，在MVCC并发控制中读操作可以分成快照读与当前读。

快照读不需要加锁，读取的是记录可见版本，有可能是历史版本。类比于订单快照，即使用户下单后商品价格发生变化，订单快照仍然保持不变。实现当前读语句如下：

select登录后复制

为了读取最新版本的记录时不被其它事务修改，需要对当前记录进行加锁。实现当前读语句如下：

select lock in share modeselect for updateupdatedeleteinsert登录后复制

我们通过一个实例分析快照读和当前读，session2在t4时刻修改记录并在t5时刻提交，session1在t6时刻进行了快照读，读取的是本事务开始时结果100，在t7时刻进行了当前读，读取的是记录最新版本结果101：

当前读流程是怎么样的呢？我们以update为例进行分析当前读流程：

第一次程序实例发出当前读请求，存储引擎返回满足where条件的第一条记录并加锁，程序实例再发出更新请求，存储引起操作完成响应成功。依次执行直到所有满足where条件记录执行完成为止。

这里我们做一些引申，RR级别提供了两种机制避免幻读问题：第一种方式是快照读，读取的是当前事务开启时的快照。一种针对当前读的方法是使用Next-Key Lock机制来防止幻读。

2 乐观锁原理

我们通过一个问题将上述知识整合起来：有两个线程在同一时刻执行如下语句，请问id=1这条记录account值会不会成功扣减两次？

update test_account set account = account - 100, version = version + 1 where id = 1 and version = 1登录后复制

上述语句使用了乐观锁，我们知道乐观锁就是对资源进行保护的，所以答案是不会扣减两次，但是不能就此止步，需要结合第一章节知识进行进一步分析：

t2时刻session1和session2同时执行update操作，由于update会加排它锁，所以两者只能有一个成功：session1成功，session2阻塞等待排它锁释放。

t3时刻session1提交事务释放排它锁，此时session2获取到锁进行当前读，但是此时id=1记录version值已经变成了2，执行语句已经查询不到待更新数据，所以没有记录发生更新。

3 扣减库存原理

如果理解了第二章节乐观锁原理，那么扣减库存原理已经显而易见，我们假设商品只剩下1件库存，如果两个线程同时执行扣减库存，会发生超卖的情况吗？

t2时刻session1和session2同时执行updatek扣减库存，由于update会加排它锁，所以两者只能有一个成功：session1成功，session2阻塞等待排它锁释放。

t3时刻session1提交事务释放排它锁，此时session2获取到锁进行当前读，但是此时商品1库存已经变为0，已经不满足（where stock - 1 >= 0）条件，执行语句已经查询不到待更新数据，所以没有记录发生更新。

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。