spring事务详解（二）实例

在Spring中，事务有两种实现方式：

编程式事务管理： 编程式事务管理使用底层源码可实现更细粒度的事务控制。spring推荐使用TransactionTemplate,典型的模板模式。

申明式事务管理： 添加@Transactional注解，并定义传播机制+回滚策略。基于Spring AOP实现，本质是对方法前后进行拦截，

方法开始之前创建或者加入一个事务，在执行完目标方法之后根据执行情况提交或者回滚事务。

关于spring事务实现方式：

引用博文：https://www.cnblogs.com/dennyzhangdd/p/9708499.html

关于分布式锁的实现方式：

引用博文：https://www.cnblogs.com/dennyzhangdd/p/7133653.html

提供一个具体实例来说明如何使用spring事务

基于数据库锁实现

 1.悲观锁：select for update（一致性锁定读）

查询官方文档如上图，事务内起作用的行锁。能够保证当前session事务所锁定的行不会被其他session所修改(这里的修改指更新或者删除)。
对读取的记录加X锁，即排它锁，其他事不能对上锁的行加任何锁。

BEGIN;(确保以下2步骤在一个事务中：)
SELECT * FROM tb_product_stock WHERE product_id=1 FOR UPDATE--->product_id有索引，锁行.加锁
（注:条件字段必须有索引才能锁行，否则锁表，且最好用explain查看一下是否使用了索引，因为有一些会被优化掉最终没有使用索引）
UPDATE tb_product_stock SET number=number-1 WHERE product_id=1--->更新库存-1.解锁
COMMIT; 

2.乐观锁：版本控制

选一个字段作为版本控制字段，更新前查询一次，更新时该字段作为更新条件。
不同业务场景，版本控制字段，可以0 1控制，也可以+1控制，也可以-1控制，这个随意。

BEGIN;(确保以下2步骤在一个事务中：)
SELECT number FROM tb_product_stock WHERE product_id=1--》查询库存总数，不加锁
UPDATE tb_product_stock SET number=number-1 WHERE product_id=1 AND number=第一步查询到的库存数--》number字段作为版本控制字段
COMMIT; 

场景举例：

卖商品，先查询库存>0,更新库存-1。

例如：一种商品，有两件库存，多人来下单买，一个人一次只能买一件商品

创建表biz_shoe

CREATE TABLE `biz_shoe` (
  `shoe_uuid` char(32) NOT NULL,
  `inventory_number` int(11) DEFAULT NULL COMMENT '库存数量',
  `is_putaway` int(1) DEFAULT NULL COMMENT '是否上架',
  PRIMARY KEY (`shoe_uuid`)
) ENGINE=InnoDB DEFAULT CHARSET=utf8

给库存赋值，如图

3.基于悲观锁实现

  /**
     * 悲观锁
     * @param shoe
     * @return
     */
    @Transactional（添加spring事务注解）
    @Override
    public Integer vieShoe(BizShoe shoe) {
        //抢单商品加悲观锁
        BizShoe modleShoe = shoeMapper.lockForUpdate(shoe.getShoeUuid());
        //商品库存
        Integer number = modleShoe.getInventoryNumber();
        System.out.println("库存：" + number);
        System.out.println("线程名称：" + Thread.currentThread().getName());
        if (number != 0) {
            number = number - 1;
            System.out.println("剩余库存：" + number);
            modleShoe.setInventoryNumber(number);
            shoeMapper.updateByPrimaryKeySelective(modleShoe);
        } else {
            AssertUtil.isTrue(number == 0, StatusCode.NumberIsNull, StatusCode.NumberIsNull.getMessage());
        }
        return number;
    }

在mapping中具体sql语句　　

  <select id="lockForUpdate" parameterType="java.lang.String" resultMap="BaseResultMap">

    SELECT <include refid="Base_Column_List" /> FROM `biz_shoe` WHERE shoe_uuid = #{shoeUuid,jdbcType=CHAR} FOR UPDATE;

  </select>

4.基于乐观锁

  /**
     * 乐观锁
     * @param shoe
     * @return
     */
    @Transactional
    @Override
    public Integer vieShoe(BizShoe shoe) {

        //抢单商品加乐观锁
        BizShoe modleShoe = shoeMapper.selectByPrimaryKey(shoe.getShoeUuid());
        //商品库存
        Integer number = modleShoe.getInventoryNumber();
        System.out.println("库存：" + number);
        System.out.println("线程名称：" + Thread.currentThread().getName());
        if(number >0){
            int susus = shoeMapper.updateByShoeUuidInventoryNumber(shoe.getShoeUuid(),number);
            System.out.println("更新成功 "+susus);
            if(susus==1){//更新成功才算抢单成功
                //商品库存
                BizShoe modleShoeNew = shoeMapper.selectByPrimaryKey(shoe.getShoeUuid());
                System.out.println("新库存：" + modleShoeNew.getInventoryNumber());
            }else{
                AssertUtil.isTrue(true, StatusCode.NumberIsNull, StatusCode.NumberIsNull.getMessage());
            }
        }else {
            AssertUtil.isTrue(true, StatusCode.NumberIsNull, StatusCode.NumberIsNull.getMessage());
        }
        return number;
    }

sql语句

<update id="updateByShoeUuidInventoryNumber" parameterType="com.zstax.springtest.bean.BizShoe">

    UPDATE biz_shoe SET inventory_number=inventory_number-1 WHERE
    shoe_uuid=#{shoeUuid,jdbcType=CHAR} and inventory_number=#{InventoryNumber,jdbcType=INTEGER}

  </update>