事务隔离级别和锁引起的数据不一致

​最近生产环境零星出现了几笔脏数据,即同一业务编号出现了两条数据(我们系统中唯一性并未依靠于数据库的索引)。明明代码中已经加锁了, 还出现这样的问题,经定位,发现是事务的隔离性,导致第二个事务看不到第一个事务的数据,从而导致数据重复。

业务伪代码

// 省略了一些必要的异常处理。
@Transactional
public void saveAndComplete(T entity) {
    lock.lock();
    code = repository.findByCode(entity.getCode());
    if (code.isEmpty()) {
        repository.save(entity);
    }
    this.Complete(entity.getCode());
    lock.unlock();
}

​代码很简单,有一个saveAndComplete方法,用来保存实体,并完成任务,并用Spring的事务管理器管理事务,当Complete方法抛出异常时,进行回滚。但是如果数据库事务隔离级别为读已提交及以上,在高并发量下,还是会出现重复数据。

原因分析

事务隔离级别和锁引起的数据不一致_第1张图片

  1. 事务t1启动。
  2. 事务t2启动。
  3. 线程t1获取锁,成功。
  4. 事务t2获取锁,失败,并等待。
  5. 线程t1检查是否存在entity1,发现不存在,保存数据。
  6. 线程t1释放锁。
  7. 事务t1提交。
  8. 事务t2获取锁。
  9. 事务t2 检查是否存在entity1,发现不存在,保存数据。
  10. 事务t2 释放锁。
  11. 事务t2 提交。

主要原因就在步骤9,由于InnoDB默认的隔离级别是可重复读,所以即使事务t1已经将entity1插入数据库,事务t2也是看不到的,所以会出现重复数据。

问题解决

问题解决起来也不难,只要保证事务t2在事务t1结束之后再开始即可,即插入数据这个动作的事务线性化。代码如下

// 省略了一些必要的异常处理。
public void saveAndComplete(T entity) {
    lock.lock();
    transactionManager.getTransaction(); // 先获取锁,再开启事务
    code = repository.findByCode(entity.getCode());
    if (code.isEmpty()) {
        repository.save(entity);
    }
    this.Complete(entity.getCode());
    transactionManager.commit(); // 先提交事务,最后释放锁。
    lock.unlock();
}

你可能感兴趣的