我将在jdk 7中查看ConcurrentHashMap
的源代码并且几乎没有问题。我已经在StackOverFlow上完成了有关CHM的所有问题,但找不到答案。
get()
操作是否保证通过其他线程获得正确的put()
值?我问这是因为get不是synchronized
,除非它看到空值。 null值如何确保其他线程正在更新相同的记录然后get与lock一起使用?HashEntry
静态类有关。
一个。为什么这堂课最后?它只是为了确保没有人对它进行子类化吗?如果有人将其子类化,会发生什么 - 这有什么问题?
湾如何使下一个字段最终有助于获得线程安全?
C。为什么Key也是最终的? (我不确定为什么Key也是HashMap
的最终决定)CHM中的get操作是否保证得到其他线程的正确值?
只要put()
在调用get()
之前完成,它肯定是有保证的。 CHM在内部使用volatile
访问和其他锁定以确保数据同步,而不一定是synchronized
关键字。
我问这是因为get不是同步的,除非它看到null值。 null值如何确保其他线程正在更新相同的记录然后get与lock一起使用?
我假设你指的是这个javadoc:
因为值字段是易失性的,而不是最终的,所以对于非同步读取器,Java内存模型在通过数据争用读取时看到null而不是初始值是合法的。尽管实际上不可能实现重新排序,但是如果在非同步访问方法中看到null(预初始化)值,则将Segment.readValueUnderLock方法用作备份。
这是试图解释该值不是最终的,因此构造函数中的初始化可以重新排序,读者可以看到空值。我假设这就是为什么不允许CHM存储空值的原因。这允许他们测试null,然后做另一个进入synchronized
块。
有关重新排序的构造函数的更多信息,请参阅:Is reordering of instance initialization and assignment to a shared variable possible?
为什么
HashEntry
类决赛?它只是为了确保没有人对它进行子类化吗?
是。这确保了类不能被子类化。这确保了不变性。如果有人将其子类化,则可以更改字段的可见性并中断并发协议。
如何使下一个[[field]] final有助于获得线程安全性?
next
字段(以及key
和hash
字段)是final
,因为这可以确保字段在构造函数中完全初始化。这确实提高了线程安全性,因为优化器不能在构造函数结束之后重新排序初始化,并且保证所有线程都能看到数据。
请参阅上文,了解有关value
字段的信息以及它们如何防止它不是final
允许put(...)
覆盖。
为什么Key也是最终的? (我不确定为什么Key也是HashMap中的最终版)
与HashEntry
相同的答案。