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

Is initialized non final static variables are thread safe?

假设,我有一个private non final static 变量,并在静态块中初始化,并且在初始化后没有被修改,也没有修改变量的方法。它是线程安全的吗?

class Test
{
     private static int value = 10;

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

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.

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

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


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

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


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

我的建议:不要自作聪明。把事情简单化。同步开销不够大 (IMO),无法冒险将 "heisenbugs" 引入您的代码库。

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