知识库--The Write Skew Anomaly Fixed By Akka(136)

/** 两个账户总和大于等于1000才能取款
 In Handling Write Skew Anomaly, we discussed write skew and how Clojure STM handles it. Akka also has support for dealing with write skew, *but we have to configure it*. OK, that word may sound scary, but it’s really simple. Let’s first see the default behavior without any configuration. Let’s revisit the example of multiple accounts with a restricted combined balance that we looked at earlier. Create a Portfolio class that holds a checking account balance and a savings account balance. These two accounts have a constraint of the total balance not running less than $1,000. This class along with the withdraw() method is shown next. In this method, we obtain the two balances first, compute their total, and after a intentional delay (introduced to set transactions on collision course) we subtract the given amount from either the checking balance or the savings balance if the total is not less than $1,000. The withdraw() method does its operations within a transaction configured using default settings.
 */

public class Portfolio {
    final private Ref checkingBalance = new Ref(500);
    final private Ref savingsBalance = new Ref(600);

    public int getCheckingBalance() { return checkingBalance.get(); }
    public int getSavingsBalance() { return savingsBalance.get(); }

    public void withdraw(final boolean fromChecking, final int amount) {
        new Atomic