Java Widoczność Pamięci Konstruktorów

Question

Na poniższym uproszczonym klasy:

public class MutableInteger { 
    private int value; 
    public MutableInteger(int initial) { 
     synchronized(this) { // is this necessary for memory visibility? 
      this.value = initial; 
     } 
    } 
    public synchronized int get() { 
     return this.value; 
    } 
    public synchronized void increment() { 
     this.value++; 
    } 
    ... 
} 

Chyba ogólne pytanie jest dla zmiennych modyfikowalnych strzeżonych przez synchronizacji jest to niezbędne do synchronizacji przy ustalaniu wartości początkowej w konstruktorze?

Answer 1

Masz rację, bez bloku synchronized w konstruktorze nie ma gwarancji widoczności dla pól nieostatecznych, jak można zobaczyć w this example.

Jednak w praktyce wolałbym używać pól volatile lub klas Atomic* w takich sytuacjach.

Aktualizacja: Ważne jest również, aby wspomnieć, że aby program się correctly synchronized (jak zdefiniowano przez JLS), trzeba będzie opublikować odniesienie do obiektu w sposób bezpieczny. Cytowany przykład tego nie robi, dlatego możesz zobaczyć niewłaściwą wartość w nieostatnich polach. Ale jeśli poprawnie opublikujesz odnośnik do obiektu (tj. Przypisując go do pola innego obiektu lub tworząc go przed wywołaniem Thread.start()), jest zagwarantowane, że twój obiekt będzie przynajmniej tak aktualny, jak czas publikowania, dzięki czemu blok synchronized w konstruktorze jest niepotrzebny.