java - 为什么我要检查一个 Runnable，它的线程不为空​​？

Question

我在我正在接管的项目中发现了这样的代码。我不确定 if 条件应该完成什么。如果 Runnable 正在运行，它会在检查 null 的线程中执行此操作。所以情况总是如此，对吗？

public class Outer 
{
    Thread m_thread = null;

    public Outer() 
    {
         Runnable runner = new Runnable()
         {
             public void run()
             {
                 if ( m_thread != null )
                     do_stuff();
             }
         };

         m_thread = new Thread(runner);
         m_thread.start();
    }
}

实际上还有另一种方法，将 m_thread 设置为 null，但由于可运行对象中没有循环，这有什么区别吗？ do_stuff() 不访问 m_thread。

Answer 1

由于 m_thread 未标记为 volatile 或由任何其他内存屏障操作保护，因此当 Runnable 运行时，它可能会观察到 m_thread 为 null。如果 do_stuff() 需要对 m_thread 的非空引用，则代码将失败。

检查Safe Publication and Safe Initialization in Java Shipilev 的文章了解 Java 中的安全发布习惯用法。简而言之:

There are a few trivial ways to achieve safe publication:

• Exchange the reference through a properly locked field (JLS 17.4.5)
• Use static initializer to do the initializing stores (JLS 12.4)
• Exchange the reference via a volatile field (JLS 17.4.5), or as the consequence of this rule, via the AtomicX classes
• Initialize the value into a final field (JLS 17.5).