MySQL乐观锁电商库存并发问题应用

【多线程系列】CAS、AQS简单介绍

一、案例说明

银行两操作员同时操作同一账户。

比如A、B操作员同时读取一余额为1000元的账户，A操作员为该账户增加100元，B操作员同时为该账户扣除50元，A先提交，B后提交。最后实际账户余额为1000-50=950元，但本该为1000+100-50=1050。这就是典型的并发问题。

乐观锁机制在一定程度上解决了这个问题。乐观锁，大多是基于数据版本(Version)记录机制实现。何谓数据版本？即为数据增加一个版本标识，在基于数据库表的版本解决方案中，一般是通过为数据库表增加一个 “version” 字段来实现。

读取出数据时，将此版本号一同读出，之后更新时，对此版本号加一。此时，将提交数据的版本数据与数据库表对应记录的当前版本信息进行比对，如果提交的数据版本号大于数据库表当前版本号，则予以更新，否则认为是过期数据。

对于上面修改用户帐户信息的例子而言，假设数据库中帐户信息表中有一个version字段，当前值为1；而当前帐户余额字段(balance)为1000元。假设操作员A先更新完，操作员B后更新。

1. 操作员A此时将其读出(version=1)，并将其帐户余额增加100(1000+100=1100)。
2. 在操作员A操作的过程中，操作员B也读入此用户信息(version=1)，并从其帐户余额中扣除50(1000-50=950)。
3. 操作员A完成了修改工作，将数据版本号加一(version=2)，连同帐户增加后余额(balance=1100)，提交至数据库更新，此时由于提交数据版本大于数据库记录当前版本，数据被更新，数据库记录version更新为2。
4. 操作员B完成了操作，也将版本号加一(version=2)试图向数据库提交数据(balance=950)，但此时比对数据库记录版本时发现，操作员B提交的数据版本号为2，数据库记录当前版本也为2，不满足 “提交版本必须大于记录当前版本才能执行更新 “的乐观锁策略，因此，操作员B的提交被驳回。

这样，就避免了操作员B用基于version=1的旧数据修改的结果覆盖操作员A的操作结果的可能。

二、乐观锁介绍

乐观锁(Optimistic Locking)相对悲观锁而言，乐观锁假设认为数据一般情况下不会造成冲突，所以在数据进行提交更新的时候，才会正式对数据的冲突与否进行检测，如果发现冲突了，则让返回用户错误的信息，让用户决定如何去做。实现乐观锁有以下2种方式：

1️⃣使用版本号实现乐观锁：数据版本机制和时间戳机制

①使用数据版本(Version)记录机制实现，这是乐观锁最常用的一种实现方式。何谓数据版本？即为数据增加一个版本标识，一般是通过为数据库表增加一个数字类型的 “version” 字段来实现。当读取数据时，将version字段的值一同读出，数据每更新一次，对此version值加一。当提交更新的时候，判断数据库表对应记录的当前版本信息与第一次取出来的version值进行比对，如果数据库表当前版本号与第一次取出来的version值相等，则予以更新，否则认为是过期数据。如图：

如图，如果更新操作顺序执行，则数据的版本(version)依次递增，不会产生冲突。但是如果发生有不同的业务操作对同一版本的数据进行修改，那么，先提交的操作(图中B)会把数据version更新为2，当A在B之后提交更新时发现数据的version已经被修改了，那么A的更新操作会失败。

②时间戳机制，同样是在需要乐观锁控制的table中增加一个字段，字段类型使用时间戳(timestamp), 和上面的version类似，也是在更新提交的时候检查当前数据库中数据的时间戳和自己更新前取到的时间戳进行对比，如果一致则OK，否则就是版本冲突。

2️⃣使用条件限制实现乐观锁

这个适用于只更新时做数据安全校验，适合库存模型，扣份额和回滚份额，性能更高。

三、解决方案一：使用版本号实现乐观锁

商品goods表中有一个字段status，status为1代表商品未被下单，status为2代表商品已经被下单。那么对某个商品下单时必须确保该商品status为1。假设商品的id为1。下单操作包括3步骤：

1.查询出商品信息：

select name,status,version from goods where id=#{id}

2.根据商品信息生成订单
3.修改商品status为2：

update goods set status=2,version=version+1
where id=#{id} and version=#{version};

为使用乐观锁，修改goods表，增加一个version字段，数据默认version值为1。

goods表初始数据如下：

mysql> select * from t_goods;  
+----+--------+------+---------+  
| id | status | name | version |  
+----+--------+------+---------+  
|  1 |      1 | 道具 |       1 |  
|  2 |      2 | 装备 |       2 |  
+----+--------+------+---------+  
2 rows in set  

mysql>

对于乐观锁的实现，使用MyBatis来进行实践，具体如下：

Goods实体类：

public class Goods implements Serializable {  
    /** 
     * serialVersionUID：序列化ID
     */  
    private static final long serialVersionUID = 6803791908148880587L;
    /** 
     * id:主键id
     */  
    private int id;
    /** 
     * status：商品状态：1-未下单；2-已下单
     */  
    private int status;
    /** 
     * name：商品名称
     */  
    private String name;
    /** 
     * version：商品数据版本号
     */  
    private int version;
    @Override
    public String toString(){
        return "good id:"+id+", goods status:"+status+", goods name:"+name+
               ", goods version:"+version;
    }
    //setter and getter
}

GoodsDao：

/** 
 * updateGoodsUseCAS:使用CAS(Compare and set)更新商品信息
 * @param goods 商品对象 
 * @return 影响的行数 
 */  
int updateGoodsUseCAS(Goods goods);

mapper.xml：

<update id="updateGoodsUseCAS" parameterType="Goods">  
    <![CDATA[ 
        update goods 
        set status=#{status},name=#{name},version=version+1 
        where id=#{id} and version=#{version} 
    ]]>  
</update>

GoodsDaoTest测试类：

@Test  
public void goodsDaoTest(){  
    int goodsId = 1;  
    //根据相同的id查询出商品信息，赋给2个对象  
    Goods goods1 = this.goodsDao.getGoodsById(goodsId);  
    Goods goods2 = this.goodsDao.getGoodsById(goodsId);  

    //打印当前商品信息  
    System.out.println(goods1);  
    System.out.println(goods2);  

    //更新商品信息1  
    goods1.setStatus(2);//修改status为2  
    int updateResult1 = this.goodsDao.updateGoodsUseCAS(goods1);  
    System.out.println("修改商品信息1"+(updateResult1==1?"成功":"失败"));  

    //更新商品信息2  
    goods1.setStatus(2);//修改status为2  
    int updateResult2 = this.goodsDao.updateGoodsUseCAS(goods2);  
    System.out.println("修改商品信息2"+(updateResult2==1?"成功":"失败"));  
}

输出结果：

good id:1, goods status:1, goods name:道具, goods version:1  
good id:1, goods status:1, goods name:道具, goods version:1  
修改商品信息1成功  
修改商品信息2失败

说明：
在GoodsDaoTest测试方法中，同时查出同一个版本的数据，赋给不同的goods对象，然后先修改good1对象然后执行更新操作，执行成功。然后修改goods2，执行更新操作时提示操作失败。此时goods表中数据如下：

mysql> select * from t_goods;  
+----+--------+------+---------+  
| id | status | name | version |  
+----+--------+------+---------+  
|  1 |      2 | 道具 |       2 |  
|  2 |      2 | 装备 |       2 |  
+----+--------+------+---------+  
2 rows in set  

mysql>

可以看到 id为1的数据version已经在第一次更新时修改为2了。所以更新good2时update where条件已经不匹配了，所以更新不会成功。这样就用版本号实现了乐观锁。

其实这种版本号的方法并不是适用于所有的乐观锁场景。举个例子，当电商抢购活动时，大量并发进入，如果仅仅使用版本号或者时间戳，就会出现大量的用户查询出库存存在，但是却在扣减库存时失败了，而这个时候库存是确实存在的。想象一下，版本号每次只会有一个用户扣减成功，不可避免的人为造成失败。这种时候就需要第二种场景的乐观锁方法。

四、解决方案二：使用条件限制实现乐观锁

同样以上述案例为例。将表结构修改如下：

mysql> select * from t_goods;  
+----+--------+------+---------+  
| id | status | name | quantity|  
+----+--------+------+---------+  
|  1 |      1 | 道具 |      10 |  
|  2 |      2 | 装备 |      10 |  
+----+--------+------+---------+  
rows in set  

mysql>

status表示产品状态：1-在售；2-暂停出售。quantity表示产品库存。

更新库存操作如下：

update goods
set quantity = quantity- #{buyQuantity} 
where id = #{id} 
AND quantity - #{buyQuantity} >= 0 
AND status = 1

说明：quantity -#{buyQuantity}>=0这个情景适合不用版本号，只更新是做数据安全校验，适合库存模型，扣份额和回滚份额，性能更高。

注意：乐观锁的更新操作，最好用主键或者唯一索引来更新，这样是行锁，否则更新时会锁表。