在这种情况下,是否保证线程B看到的ArrayList成员至少与MyClass的构造函数完成时的成员保持最新?
对,他们是。
线程在首次遇到引用时需要读取内存。因为哈希映射是构造而成的,所以其中的所有条目都是全新的,因此对对象的引用up-to-date
是指构造函数完成后的对象。
初次遇到之后,将应用通常的可见性规则。因此,当其他线程更改最终引用中的非最终字段时,其他线程可能看不到该更改,但仍会看到构造函数发出的引用。
实际上,这意味着如果不在构造函数之后修改最终的哈希映射,则其内容对于所有线程都是常量。
我知道我以前曾经见过这种保证。
新的JMM还寻求提供初始化安全性的新保证- 只要正确构造了一个对象(这意味着在构造函数完成之前不会发布对该对象的引用),那么所有线程都将看到它的最终字段是在其构造函数中设置的,无论是否使用同步将引用从一个线程传递到另一个线程。此外,也可以保证通过适当构造的对象的最终字段(例如,由最终字段引用的对象的字段)可以到达的任何变量也对其他线程可见。这意味着,除了其他线程可以看到的正确值之外,如果最终字段还包含对LinkedList的引用,而且在构建时该LinkedList的内容对于其他线程也是可见的,而无需同步。结果显着增强了final的含义- 可以安全地访问final字段而无需同步,并且编译器可以假定final字段不会更改,因此可以优化多次提取。