c# - 乐观锁定是否足以确保资金转移等操作的安全？

Question

在下面的例子中，我们可能会遇到并发错误，如果发送者决定同时向 2 个不同的接收者发送资金，那么两个接收者都可能收到钱，而发送者只会被收取一次费用。

public async Task SendMoney(int amount, int sender, int receiver)
{
    await using var dbContext = new ApplicationDbContext();
    
    var person1 = await dbContext.Persons.FirstOrDefaultAsync(p => p.Id == sender);
    var person2 = await dbContext.Persons.FirstOrDefaultAsync(p => p.Id == receiver);
    
    if (person1.Balance >= amount)
    {
        person1.Balance -= amount;
        person2.Balance += amount;
    }
        
    await dbContext.SaveChangesAsync();
}

避免这种情况并使此操作安全的最佳方法是什么？
通过添加时间戳属性引入乐观锁定 [Timestamp] public byte[] Version { get; set; }到 Person模型足以确保没有重复资金的方法？
我主要关心避免重复的安全性。正确处理 DbUpdateConcurrencyException 等异常为了提供流畅的用户体验不是我的问题的一部分。

Answer 1

在并发环境中 [Timestamp]将确保仅在从数据库加载后未更改该行时才保存该行，因此它将起作用。
同样对于您提供的情况，可以设置 Balance字段为 Concurrency Token .