java - 初始化的非最终静态变量是线程安全的吗？

Question

假设，我有一个私有(private)非最终静态变量，并在静态 block 中初始化，并且初始化后没有修改，并且没有修改该变量的方法。它是线程安全的吗？

class Test
{
     private static int value = 10;

     public static int getValue()
     {
        return value;
     }
 }

Answer 1

I just wanted to know what guarantee JVM provides with non final static variables with no methods to modify the variable in terms of thread safety, where multiple threads try to read the data.

初始化类 ( JLS 11.4.2 ) 的过程指出，初始化是在持有锁的情况下执行的。我认为这意味着初始化完成后引用静态数据的任何线程都将看到完全初始化的状态。

如果遇到这样一种情况，一个类的静态初始化创建并启动了一个线程，该线程可以在另一个类的静态初始化完成之前观察另一个类的静态变量，那么您可能会遇到麻烦。在这种情况下，可能无法保证线程将看到初始化状态。

<小时/>

另一个需要注意的是，我们在这里只讨论静态变量中的值。如果这些变量引用可变对象或数组，并且这些对象/数组发生了变化，那么您的代码不会自动成为线程安全的。

这说明了一个更大的观点。您实际上不能孤立地谈论变量的线程安全性。线程安全的公认定义是线程的引入不会导致某些行为的错误。变量没有行为。行为是应用程序级别的事情，尽管有时考虑应用程序一部分的行为是有意义的；例如特定应用程序上下文中的某些类或方法。

<小时/>

字里行间...您似乎试图避免使用静态时同步的“开销”。这一切都很好……但是线程安全、静态初始化和内存模型都是 Java 语言中最难理解的部分。许多真正聪明的人(过去)在实现减少同步开销的“聪明”或“有效”方法时尝试过但失败了。

我的建议:不要试图变得太聪明。把事情简单化。同步开销还不够大(IMO)，不足以冒险将“heisenbugs”引入您的代码库。

最后，人们普遍认为静态变量，尤其是可变静态变量是糟糕的 OO 设计。我建议您考虑修改您的设计以消除它们。