解决方法
如果读取未同步,则可以在执行读取期间修改Hashtable.可以添加新元素,底层数组可能变得太小而且可能被更大的元素替换,等等.如果没有顺序执行,则很难处理这些情况.
但是,即使在另一个线程修改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同步,因此它被迫获取更新的数据.
