Czy zmienne zmienne Java narzucają relację, która miała miejsce przed odczytaniem?

Question

Mam kawałek kodu, który wygląda tak:

_{Fragment A:}

class Creature { 
    private static long numCreated; 
    public Creature() { 
     synchronized (Creature.class) { 
      numCreated++; 
     } 
    } 
    public static long numCreated() { 
     return numCreated; 
    } 
} 

Z mojego zrozumienia, ponieważ odczyt numCreated nie jest zsynchronizowany, jeśli wątek-A tworzy Creature na 1pm , a Thread-B czyta numCreated() o godzinie 14.00, numCreated() może również powrócić 0 lub 1 (nawet gdy wątek-A zakończył inicjowanie obiektu o godzinie 13:15).

Więc dodałem synchronized do numCreated():

_{Fragment B}:

class Creature { 
    private static long numCreated; 
    public Creature() { 
     synchronized (Creature.class) { 
      numCreated++; 
     } 
    } 
    public static synchronized long numCreated() { // add "synchronized" 
     return numCreated; 
    } 
} 

i wszystko jest dobrze, poza tym, że myślałem, gdybym go zmodyfikować, aby Snippet C jest zmienna numCreated nadal poprawnie synchronizowane?

_{Fragment C:}

class Creature { 
    private static volatile long numCreated; // add "volatile" 
    public Creature() { 
     synchronized (Creature.class) { 
      numCreated++; 
     } 
    } 
    public static long numCreated() { // remove "synchronized" 
     return numCreated; 
    } 
} 

Z Snippet C, jest to gwarancją, że jak tylko wątek-A kończy tworzenie obiektów w 1:05 pm, call thread-B do numCreated() pewnością powrót 1?

_{PS: Rozumiem, że w realnej sytuacji to pewnie użyć AtomicLong ale to jest dla celów uczenia}

Answer 1

Zobacz http://download.oracle.com/javase/6/docs/api/java/util/concurrent/package-summary.html#MemoryVisibility:

Zapis do pola lotnej dzieje, przed każdym kolejne przeczytanie tego samego pola. Zapis i odczytywanie zmiennych pól ma podobne efekty spójności pamięci, co wejście i wyjście monitorów, ale nie powoduje wzajemnego blokowania wykluczania.

Odpowiedź brzmi "tak". Zapis zmiennej w konstruktorze następuje przed odczytem zmiennej w numCreated(). A ponieważ przyrost nieatomowy jest nadal wykonywany w zsynchronizowanym bloku, synchronizacja jest w porządku (inkrementacja nie jest atomowa, ale zapis zmiennej lotnej jest).