java – Hashtable：为什么get方法同步？

但是,即使在另一个线程修改Hashtable时get不会崩溃,synchronized关键字还有另一个重要方面,即缓存同步.让我们使用一个简化的例子：

class Flag {
  bool value;

  bool get() { return value; } // WARNING: not synchronized
  synchronized void set(bool value) { this->value = value; }
}

set是同步的,但get不是.如果两个线程A和B同时读写此类,会发生什么？

1. A calls read
2.                 B calls set
3. A calls read

在第3步是否保证A看到线程B的修改？

不,它不是,因为A可以在不同的核心上运行,该核心使用单独的缓存,其中旧值仍然存在.因此,我们必须强制B将内存传递给其他核心,并强制A获取新数据.

我们如何执行它？每次,线程进入并离开同步块,执行隐式memory barrier.内存屏障强制更新缓存.但是,要求写入者和阅读者都必须执行内存屏障.否则,信息未正确传达.

在我们的示例中,线程B已经使用了synchronized方法集,因此在方法结束时传递其数据修改.但是,A没有看到修改后的数据.解决方案是使get get同步,因此它被迫获取更新的数据.