Java プログラムメモ

Singleton 作成時のダブルチェック

Singleton 作成時のダブルチェックロッキングは動作が保証されていません。 マルチスレッド絡みのバグなので、障害が発生しても非常に見つけにくい物です。

ダブルチェックロッキングを使用した例
public static SingletonTest getInstance() {
    if (instance_ == null) {
        synchronized (SingletonTest.class) {     ・・・・・・1
            if (instance_ == null)               ・・・・・・2
                instance_ = new SingletonTest(); ・・・・・・3
        }
    }
    return instance_;
}

期待動作

実際にはこのように動作しない可能性があります。どこが問題かと言うと、3 のインスタンスの生成部で、 Java のメモリー・モデルでは、SingletonTest のコンストラクターが実行される前に、 instance_ が null でなくなる可能性があります。

バグが顕著化する場合の動作

Java で Singleton を実現する

Singleton を作成するときはこんな感じで書くと正常に動作します。

public final class SingletonTest {
    private static SingletonTest instance_ = new SingletonTest();

    public static SingletonTest getInstance() {
        return instance_;
    }

    private SingletonTest() {
    }
}