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>