拍卖/银行类应用程序（Rails/MySQL）中的乐观或悲观锁定

Question

我正在使用 Rails 3.1 和 MySQL 5.1 设计一个类似拍卖的 Web 应用程序。用户将有帐户余额，因此重要的是，如果有人没有足够的资金就不要竞标拍卖物品。

显然，我会将拍卖的“获胜”打包到交易中，如下所示：

交易1：

ActiveRecord::Base.transaction do
    a = Account.where(:id=>session[:user_id]).first
    # now comes a long part of code with various calculations and other table updates, i.e. time pases
    a.balance -= the_price_of_the_item
    a.save!
end

顺便说一句，我目前正在使用乐观锁定，因此我所有的表都有 lock_version 列。

在执行此类交易时，用户可以通过另一个输入进行其他出价，因此每当他们出价时，一段代码会检查当前可用余额是否足够

这里还是一样：

事务 2：

ActiveRecord::Base.transaction do
    a = Account.where(:id=>session[:user_id]).first
    raise ActiveRecord::Rollback if a.balance < the_price_of_the_bid + Bids.get_total_bid_value_for_user(session[:user_id])
    # now process the bid saving
end

显然，我需要确保这两个交易不重叠，否则交易 2 可能正在读取余额，而交易 1 正在处理中，我最终得到一个负账户余额（出价被保存，然后交易 1 提交，则用户可能用他不再拥有的资金出价）。

需要注意的一点是，事务 2 并没有对 Account 进行任何更改，它只是读取了 account。我想这归结为一个问题：How to prevent any reads for selected SELECT statements while running transaction 1.

如何让事务 2 等待事务 1 完成？是否可以使用乐观锁定和可用的 MySQL 事务隔离级别之一，还是我需要在这里使用悲观锁定？如果悲观锁定是唯一的答案将添加 a.锁！ 读完两笔交易中每一笔的账户记录就够了吗？

设计标准当然是

• 我正在寻找性能最高的解决方案，即使它意味着更多 编码。
• 数据一致性至关重要

Answer 1

我现在花了将近 10 个小时不停地阅读各种帖子和文档，以及使用 Rails 控制台试错，我想总结一下我的发现：

乐观锁定：无法满足我的要求，只有在我实际保存帐户余额记录时才会启动锁定。但是出价不会更新账户记录，因此它不会触发乐观锁定，除非我在账户记录中维护一个字段来跟踪我当前为所有未结出价承诺的资金，因此将在出价时更新账户记录（我不想这样做，因为每次保存出价时都需要再次更新数据库）。

所以我只剩下悲观锁定了。为简单起见，我决定锁定用户记录，因此我的事务 1 的代码更改为：

交易1：

ActiveRecord::Base.transaction do     
    u = User.find(session[:user_id],:lock=>true)
    a = Account.where(:id=>session[:user_id]).first 
    a.balance -= the_price_of_the_item
    ... some more code here ...
    a.save!      
end      

和事务 2：

ActiveRecord::Base.transaction do
    u = User.find(session[:user_id],:lock=>true)
    raise ActiveRecord::Rollback if a.balance < the_price_of_the_bid + Bids.get_total_bid_value_for_user(session[:user_id])          
    # now process the bid saving
    ....
end

此外，我决定将 MySQL 事务隔离级别设置为 SERIALIZABLE。

Answer 2

我按以下方式解释您的问题。

1. 帐户有余额
2. 一个帐户有很多出价
3. 出价具有价值
4. 既未中标也未输的投标是“开标”
5. 赢得大奖后，其价值将从帐户余额中扣除。
6. 只有在“未结”出价的总和小于余额时才能出价。

因此，您已经确定了重要的交易。

1. 出价
2. 中标

我就是这样做的。

1.

account = Account.find_by_id(session[:user_id])
# maybe do some stuff here

transaction do
  account.lock!

  bid_amount = account.bids.open.sum(:value)
  if bid_amount + this_value > account.balance
    raise "you're broke, mate"
  end

  account.bid.create!(:value => this_value)
end

我们在帐户上持有一个行锁定一小段时间， 但假设您使用的是正确的数据库，这应该没问题。

假设第一个是正确的，那么接下来就容易多了

2.

class Bid
  def win!
    transaction do
      account.lock!
      account.decrement(:balance, self.value)
      account.save!
      close!
    end
  end
end

值得注意的是，如果您进行了 SQL 更新 SET balance = balance - ?，则不需要对第二个进行锁定。

但一般来说，锁定代码的最小部分。

实际上，您的锁定时间不应超过 100 毫秒。