java-不正确的延迟初始化

Findbug告诉我，我使用了不正确的延迟初始化。

public static Object getInstance() {

if (instance != null) {

return instance;

}

instance = new Object();

return instance;

}

我在这里没有发现任何问题。 findbug的行为是否错误，还是我错过了一些事情？

8个解决方案

60 votes

Findbug引用了潜在的线程问题。 在多线程环境中，使用当前代码可能会多次创建您的单例。

这里有很多读物，但这将有助于解释。

此处的竞争条件是if check。在第一次调用时，线程将进入if check，并将创建实例并将其分配给“实例”。 但是在if check和实例创建/分配之间，另一个线程可能会变为活动状态。 该线程也可以通过if check，因为分配尚未发生。 因此，将创建两个(或更多，如果有更多线程进入)实例，并且您的线程将引用不同的对象。

nicholas.hauschild answered 2020-01-11T00:06:27Z

18 votes

您的代码比需要的稍微复杂一些，这可能就是为什么造成混淆的原因。

编辑：这绝对是其他人发布的线程问题，但以为我会在此处发布双锁检查实现以供参考：

private static final Object lock = new Object();

private static volatile Object instance; // must be declared volatile

public static Object getInstance() {

if (instance == null) { // avoid sync penalty if we can

synchronized (lock) { // declare a private static Object to use for mutex

if (instance == null) { // have to do this inside the sync

instance = new Object();

}

}

}

return instance;

}

JohnKlehm answered 2020-01-11T00:06:52Z

11 votes

注意：JohnKlehm的双锁检查解决方案更好。 由于历史原因，在此保留此答案。

实际上应该是

public synchronized static Object getInstance() {

if (instance == null) {

instance = new Object();

}

return instance;

}

Varun Achar answered 2020-01-11T00:07:16Z

4 votes

您需要对实例化进行锁定以使其正确

LI：静态字段的不正确的延迟初始化   (LI_LAZY_INIT_STATIC)

此方法包含一个不同步的延迟初始化   非易失性静态场。 因为编译器或处理器可能   重新排序指令，不能保证线程完全看到   初始化的对象，如果该方法可以被多个线程调用。   您可以使字段易变以纠正问题。 欲了解更多   有关信息，请参见Java Memory Model网站。

antlersoft answered 2020-01-11T00:07:45Z

2 votes

感谢John Klehm发布的样本

也可以尝试直接在同步块中分配对象实例

synchronized (MyCurrentClass.myLock=new Object())

即

private static volatile Object myLock = new Object();

public static Object getInstance() {

if (instance == null) { // avoid sync penalty if we can

synchronized (MyCurrentClass.myLock**=new Object()**) { // declare a private static Object to use for mutex

if (instance == null) { // have to do this inside the sync

instance = new Object();

}

}

}

return instance;

}

jdeveloper answered 2020-01-11T00:08:14Z

2 votes

您错过了多线程问题，

private static Object instance;

public static synchronized Object getInstance() {

return (instance != null ? instance : (instance = new Object()));

}

Nilesh answered 2020-01-11T00:08:34Z

0 votes

您的静态对象未同步。 此外，您的方法不是惰性初始化。 通常，您要做的是保留一个对象地图，并根据需要初始化所需的对象。 因此，您不必在一开始就初始化所有的对象，而不是在需要时调用它们(称为)。

Shahriar answered 2020-01-11T00:08:54Z

0 votes

从1.5开始：实例应该是易失性的，并且您应该集成一个tmp变量，以避免使用已创建但尚未完成其初始化的实例。

private static volatile Object myLock = new Object();

private static volatile Object instance;

public static Object getInstance() {

if (instance == null) {

Object tmpObj;

synchronized (myLock) {

tmpObj = instance;

if (tmpObj == null) {

tmpObj = new Object();

}

}

instance = tmpObj;

}

return instance;

}

user8517281 answered 2020-01-11T00:09:14Z