了解Java中的同步块

Question

我试图理解对象同步的概念。使用 Java Cert Book 中的这个示例，您能否帮助我理解以下两段代码之间的行为差​​异（一段代码我们在要保护其方法/操作免受竞争条件影响的对象上进行同步，另一段代码我们使用辅助对象作为锁来实现相同的目标）：

1.

class Client {
  BankAccount account;

  public void updateTransaction() {
    synchronized (account) {     
      account.update();          // update is safe because of lock on account obj
    }
  }

  public double withdrawFunds() {
     double amt;
     synchronized (account) {
       account.calculateInterest();
       amt= account.withdraw();
     }
     return amt;
  }
}

2.

class Client {
  BankAccount account;
  Object lock = new Object();

  public void updateTransaction() {
    synchronized (lock) {     
      account.update();          // update is safe because of a lock        
    }
  }

  public double withdrawFunds() {
     double amt;
     synchronized (lock) {
       account.calculateInterest();
       amt= account.withdraw();
     }
     return amt;
  }
}

Answer 1

这两个都会抛出 NullPointerExceptions，但只是在不同的地方。

您应该始终在永远不会为空（最终）的不可变引用上进行同步。

我想你的问题的答案是，对于给定的客户端，帐户可能会发生变化（假设有设置者），但锁定永远不会改变。同样，保证这一点的唯一方法是将其标记为最终版本。

Answer 2

更好的方法是在可以封装锁定时避免暴露锁定。

class Client {
  final BankAccount account;

  public void updateTransaction() {
      account.update();          // update is synchonized.
  }

  public double withdrawFunds() {
     return account.calculateInterestAndWithdraw();
  }
}

Answer 3

区别在于系统中其他线程正在执行的操作。在第一种情况下，如果有任何原因导致某些其他逻辑（在其他代码中定义）不应与 updateTransaction 方法同时执行，则也可以在帐户对象上同步该逻辑。相反，如果一些不相关的代码在与 updateTransaction 无关的情况下也使用 account 作为锁，则可能会出现假同步。

在第二种情况下，锁对象仅对 Client 类可见，因此可以保证唯一进行的同步是您在此类中指定的同步。

我同意 Peter Lawrey 的观点，最好的方法是将同步逻辑封装在一个有意义的地方，并为此使用私有/受保护的可见性锁定对象。

Answer 4

在这两种情况下，没有区别，只是风格上的区别。

如果可以更改帐户，则可能会出现同步错误对象的潜在问题。将该属性确定为最终属性，然后就可以开始了。

Answer 5

区别在于谁持有锁。

第一种情况更好，因为对帐户的相同引用也可以在其他线程中共享，例如在 Manager 类中，如果该经理需要访问该帐户，应尝试保留在 Client 线程尝试同时访问帐户的任何情况下都会锁定自己。

在第二段代码中，Manager需要对lock对象进行锁定，以防止对数据造成损坏，因此需要获取帐户和锁。

最好的方法是将锁封装在账户内部。

Answer 6

我会使用选项 2，只需将锁​​定对象设为最终对象即可。帐户对象可能会更改，特别是当客户可以拥有多个帐户时。如果您使用最终锁定对象，您将确保对帐户的任何更改都是同步的，即使帐户对象更改为不同的实例也是如此。