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 update update delete insert
共享锁与排它锁兼容关系如下表：
我们通过实例分析上述兼容关系，首先建一张测试表并写入测试数据：
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 mode select for update update delete insert
我们通过一个实例分析快照读和当前读，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）条件，执行语句已经查询不到待更新数据，所以没有记录发生更新。
