使用@Transactional来保证线程安全

Question

我有一个关于@Transactional注释如何单独管理代码和事务执行的问题。给定一个正确设置的Spring应用程序和以下代码：

@Transactional
public void withdraw(int amount) {
    if(isEnoughFunds(amount)) {
        decreaseFunds(amount);
    }
}

是否可能发生以下情况：

• 资金== 100;金额== 100
• 线程A进入撤销/交易A开始
• 线程A执行isEnoughFunds，其计算结果为true
• 线程B进入撤销/交易B开始
• 线程B执行isEnoughFunds，其值为true
• 线程A执行decreaseFunds / thread A锁定db记录
• 线程B等待线程A提交事务并释放写锁定
• 线程A退出撤销/交易A提交
• 线程B执行decreaseFunds / thread B锁定db记录
• 线程B退出撤销/交易B提交
• funds == -100

如果有可能，你会如何防止这种情况？

Answer 1

是的，取决于隔离级别，这是可能的。为了防止它，您可以在调用ifEnoughFunds（）之前显式地从数据库获取读锁定。锁将在交易结束时释放。在这种情况下，线程B将始终在检查之前等待线程的A事务提交。