揮発性変数には同期アクセスが必要ですか？

Question

私は、Javaの揮発性変数を理解するのが少し難しいです。

私はそうのような揮発性の変数を含むパラメータ化クラスを持っている：

public class MyClass<T> { 

    private volatile T lastValue; 

    // ... other code ... 

} 

は、私がget-値-IF--nullでないなど、lastValueに対して一定の基本的な操作を実装する必要があります。

これらの操作を同期させる必要がありますか？次の方法をやってもらえますか？

public void doSomething() { 
    String someString; 
    ... 
    if (lastValue != null) { 
     someString += lastValue.toString(); 
    } 
} 

同期されたブロックにヌルチェックを付ける必要がありますか？

public void doSomething() { 
    String someString; 
    ... 

    synchronized(this) { 
     if (lastValue != null) { 
      someString += lastValue.toString(); 
     } 
    } 
} 

私が取得し、セットのようなアトミック操作のために、私は同期適用せずに[OK]でなければならないことを知っている（例えば。public T getValue() { return lastValue; }）。しかし、私は非原子操作についてはわかりませんでした。

Answer 1

volatileは、可視性を保証します（あるスレッドの変更は他のスレッドに見られます）が、複数の操作のアトミック性は保証されません。

そうです、lastValueはif (lastValue != null)とsomeString += lastValue.toString();間nullになる可能性があり、あなたのコードはNullPointerExceptionを投げることができました。

あなたは同期を追加するか（ただし、すべての書き込みは、変数へのアクセスを同期する必要があります）、またはその簡単なユースケースのために、あなたはローカル変数を使用することができます。

は

public void doSomething() { 
    String someString; 
    T lastValueCopy = lastValue; 
    if (lastValueCopy != null) { 
     someString += lastValueCopy.toString(); 
    } 
} 

Answer 2

これは、に大きく依存します最も簡単な場合、Tは不変型です。つまり、あなたが読んだTの値であっても、後でその内部状態を変更することはありません。この場合、同期は必要ありません。参照をローカル変数に読み込んで、必要なだけ実行してください。

Tが変更可能なタイプの場合は、作業中にインスタンスの状態を変更する必要があります。この場合、Tのインスタンスがそのインスタンスによって保護されていることを特に保証する同期が必要です。 の同期化は一般的に、Tの状態を他の場所から変更することを止めません。特定のTの適切なロックは、ルールによって定義されている必要があります（また、それらのルールを破らないようにする言語要素はありません）。

特別なケースでは、Tが変更可能で、このを適切なロックと定義した場合、同期が必要ですが、もはや揮発性は必要ありません。

これは、同期との結合で揮発性の使用が疑わしいと言いました。

Answer 3

パラレル処理では、データの更新元を保証するものではありません。この場合、操作対象を参照オブジェクトとして明示的に同期させる必要があります。同期を使用し、待機して通知します。 `someString + = lastValue.toStrin（）を書き換えhttp://oracle2java.blogspot.com.br/2013/12/java-sincronizar-referencia-entre.html