La sincronizzazione di Java aggiornerà la cache completa o solo l'oggetto su cui è stato sincronizzato?

Question

Se accedo ad un oggetto all'interno di un metodo sincronizzato o di un blocco sincronizzato, anche tutti gli oggetti in quell'elemento a cui si accede sono sincronizzati?

Immaginate c'è un oggetto avente un metodo Queueadd() e take() sincronizzato, accettando e distribuendo l'oggetto complesso Thing. Thing contiene molte liste con altri oggetti diversi.

Ora la filettatura di immagine Before crea Thing e inserisce alcuni oggetti esistenti in Thing, modifica alcuni di questi oggetti e così via. Il thread Before aggiunge Thing a Queue. Un po 'più tardi thread After prende il Thing da Queue.

DOMANDA: Sarà Thing e tutti i suoi figli/subobject essere nello stesso stato di Before lasciato in? Anche se il thread After stava forse lavorando su uno di questi sottoelementi un po 'prima? Poiché io immagino che il processore per il thread After abbia ancora alcune informazioni memorizzate nella cache su tale sottoelemento (l'indirizzo di quel suboggetti è sempre lo stesso). Tutto questo materiale memorizzato nella cache sarebbe invalidato solo attraverso l'accesso all'oggetto padre Thing in modo sincronizzato?

Si prega di non dare risposte come utilizzare le librerie di concorrenza ecc. Voglio capire cosa sta succedendo.

Answer 1

Il concetto importante nel modello di memoria Java è happens-before order. I risultati delle azioni di scrittura che si verificano -prima delle azioni di lettura sono visibili per queste azioni di lettura. Altri risultati potrebbero o non essere visibili.

Il accadere, prima ordine indotta per ordine sincronizzazione delle azioni tra fili, e dal naturale ordine delle azioni dei singoli fili.

Se si è in Before sincronizzarsi su un oggetto (ad es.il vostro Queue), e fare tutte le manipolazioni di Thing ei suoi "oggetti secondari" dentro o prima di questo blocco sincronizzato e After sincronizzati sulla stessa Queue e legge questi oggetti nel o dopo il blocco sincronizzato, quindi tutti quei cambiamenti sono visibili a After.

Answer 2

Se un thread modifica una variabile, non è garantito un altro thread per visualizzare le modifiche tranne nei seguenti casi (beh, almeno nei seguenti casi: non sono sicuro al 100% se ce ne sono altri):

• il thread di modifica lascia un blocco o un metodo sincronizzato; questo induce un flush della cache del thread (allo stesso modo un thread che entra in un blocco sincronizzato o un metodo induce un refresh) - questo è ciò che accade nel tuo caso
• la variabile modificata è dichiarata volatile oppure è una delle variabili atomiche da java.util.concurrent.atomic
• finiture filo modificante (questo induce anche un colore, anche l'inizio di un filo induce un aggiornamento)

Quindi se si sincronizza come spiegato, altri thread vedranno tutte le modifiche.