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

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

业务伪代码

// 省略了一些必要的异常处理。
@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. 事务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();
}