Java 线程 "synchronized"

Question

这article谈论 Java 的“同步”关键字。

  ...
  private int foo;
  public synchronized int getFoo() { return foo; } 
  public synchronized void setFoo(int f) { foo = f; }

如果调用者想要增加 foo 属性，则以下代码不是线程安全的:

  ...
  setFoo(getFoo() + 1);

如果两个线程同时尝试增加 foo，结果可能是 foo 的值增加 1 或 2，具体取决于时间。

现在，我的问题:

Why doesn't "synchronized" on setFoo() prevent the above bolded line?

Answer 1

这是先检查后执行竞争条件的示例。

可能会发生如下情况:

Thread-1 getFoo() returns 0
Thread-2 getFoo() returns 0
Thread-2 setFoo(1)
Thread-1 setFoo(1)

这意味着两个线程都试图递增 foo，但它的效果是只递增一次。

正如其他答案所确定的那样，将增量与锁定在与 getFoo() 和 setFoo() 相同的对象上的同步块(synchronized block)同步将防止这种竞争情况，因为线程将无法像上面那样交错。