In un blocco sincronizzato Java, le scritture sono visibili su tutti i campi o solo sulla variabile sincronizzata?

Question

dire che hai questo codice:

private String cachedToken; 
private final Object lockObject = new Object(); 

.... 


retrieveToken(){ 
synchronized(lockObject){ 
    if (cachedToken == null){ 
    cachedToken = goGetNewToken(); 
    } 
    return cachedToken; 
} 
} 

disposta la scrittura per cachedToken essere visibile a tutte le discussioni che si sono bloccati su lockObject?

Answer 1

Sì. La sincronizzazione su lockObject stabilisce un evento Happens Before Relationship (ovvero imposta una barriera di memoria). Ciò significa che tutti i thread che successivamente ottengono il blocco vedranno tutte le modifiche avvenute mentre il blocco è stato trattenuto in precedenza.

Per quello che vale, tuttavia, l'implementazione dell'inizializzazione pigra è difettosa. Questo è il modo corretto:

private volatile String cachedToken; 

retrieveToken() { 
    if (cachedToken == null) { 
     synchronized(lockObject) { 
      if (cachedToken == null) { 
       cachedToken = goGetNewToken(); 
      } 
     } 
    } 
    return cachedToken 
} 

In questo modo è sufficiente per ottenere il blocco di una piccola manciata di volte in cui le discussioni iniziare prima che ne facciano richiesta. Successivamente, il cachedToken non sarà nullo e non sarà necessario sincronizzarsi.

Answer 2

Naturalmente, synchronize garantire due cose:

• atomicità
• barriera di memoria (ciò che vi aspettate nel tuo caso) sull'intero oggetto

considerando che, per esempio, volatile garantire barriera di memoria ma non gestisce l'atomicità.