乐观锁定和覆盖

Question

当我试图理解基于版本的乐观锁定如何防止“最后提交获胜”问题和适当的覆盖时，我遇到了困难。

为了使问题更具体，让我们考虑以下使用 JDBC 的伪代码：

connection.setAutoCommit(false);
Account account = select(id);
if (account.getBalance() >= amount) {
   account.setBalance(account.getBalance() - amount);
}
int rowsUpdated = update(account); // version=:oldVer+1 WHERE version=:oldVer
if (rowsUpdated == 0) throw new OptimisticLockException();
connection.commit();

这里，如果其他事务会在更新和提交之间提交其更改呢？如果事务是并发的，那么第一个事务所做的更新尚未提交，因此第二个事务不可见（具有适当的隔离级别），因此第一个事务提交将覆盖第二个交易的更改，而不会出现任何通知或错误。

乐观锁定只是降低了问题发生的概率，而不是总体上防止了问题的发生吗？

Answer 1

数据库“事务”的概念是，它应该提供跨多个概念操作的“一致性”保证。数据库负责实施这一点。因此，当事务提交时，如果数据库能够确保事务期间发生的所有事情仍然有效，它应该只允许事务完成。

实际上，数据库通常会处理此问题，一旦其中一个更新成功，相关行将被写锁定，直到相关事务完成。因此，其中一个更新肯定会失败。

注意：这也需要在jdbc连接中适当的隔离级别。隔离级别确保在更新之前对当前值所做的测试在写入时仍然适用。