在此类的对象上调用start（）安全吗？实践中来自Java并发的示例

Question

首先，我将提供指向我将要讨论的源代码的链接，因为复制/粘贴会使该问题页面过长。

在JCIP的代码清单5.15
http://jcip.net/listings/CellularAutomata.java中，我认为在某些主要方法中，将创建一个CellularAutomata对象，然后在该对象上调用start（）。

但是，这样做可以吗？调用对象的start方法时，它将使用Worker实例创建N（处理器数量）线程。似乎用该工作程序对象创建的N个线程可能看到该工作程序的引用或对象不完整。

其背后的原因是，当调用new Runnable（）和new Worker（mainBoard.getSubBoard（count，i））时， 此
引用在CellularAutomata对象的构造过程中转义。

而且由于Worker [] worker;
和CyclicBarrier势垒；是CellularAutomata对象的字段，在该对象的start（）方法中创建的线程可能无法看到处于适当状态的那些对象。

我认为这类似于Holder的示例http://jcip.net/listings/StuffIntoPublic.java

http://jcip.net/listings/Holder.java
，其中Holder的字段可能不会被其他线程看到。我知道Holder示例存在问题，因为该字段不是最终字段，因此可能不可见，并且在CellularAutomata中它们是最终字段。我读过该类，只有final字段在发布时可以保证其字段的可见性。但是，我也读到，虽然final字段可能是类的唯一字段，但是如果没有正确构造该类，那么保证就不存在了。在本示例中，由于
此 引用转义，因此我认为它的构造不正确。这是一个隐式让 这个
引用转义，类似于CellularAutomata中的操作。http://jcip.net/listings/ThisEscape.java

请让我知道我的想法是否需要更正，我将不胜感激。这次并发之旅使我充满了很多疑问和问题，如果您有其他参考资料可以学习并发以及Java并发的基础，请告诉我。

谢谢

Answer 1

您可以阅读Java语言规范17.5的相关部分。最后的领域语义学

第一个相关部分（我加强调）：

对象的构造函数完成后，就认为该对象已完全初始化。 保证只有在对象完全初始化之后才能看到对对象的引用的线程才能
确保看到该对象的最终字段的正确初始化值。

该this引用不被构造完成之前任何其他线程看到的，所以它的罚款。this构造函数中的引用“转义” 没有什么神奇之处。相关的事情是（构造函数完成之前）
没有其他线程可以看到它 。

JLS的下一段对此进行了扩展（我添加了强调和斜体）：

final字段的使用模型很简单：在该对象的构造函数中为该对象设置final字段；并且 不要 在对象的构造函数完成之前， 在另一个线程可以看到它
的地方编写对正在构造的html" target="_blank">对象的引用。如果执行此操作，则当另一个线程看到该对象时，该线程将始终看到该对象的最终字段的正确构造版本。