visibilità Discussione tra un processo

Question

sto leggendo il libro codice Crack Intervista di recente, ma c'è un paragrafo confondermi un sacco a pagina 257:

Un thread è un particolare percorso di esecuzione di un processo; quando un thread modifica una risorsa di processo, la modifica è immediatamente visibile ai thread di pari livello.

IIRC, se un thread apportare una modifica a una variabile, la modifica viene dapprima salva nella cache CPU (per esempio, cache L1), e non garantisce la sincronizzazione ad altri thread meno che la variabile viene dichiarata come volatile .

Ho ragione?

Answer 1

No, ti sbagli. Ma questo è un equivoco comune a.

Ogni moderna CPU multi-core ha hardware cache coherence. La L1 e le cache simili sono invisibili. Le cache della CPU come la cache L1 hanno niente da fare con visibilità della memoria.

Le modifiche sono visibili immediatamente quando un thread modifica una risorsa di processo. Il problema sono le ottimizzazioni che fanno sì che le risorse del processo non vengano modificate esattamente nell'ordine specificato dal codice.

Se il codice ha k = j; i = 4; if (j == 2) foo(); un ottimizzatore potrebbe vedere che il primo compito legge il valore di j. Quindi potrebbe non preoccuparsi di leggerlo di nuovo quando lo si confronta con 2 poiché "sa" che non può essere cambiato. Tuttavia, un altro thread potrebbe averlo modificato. Quindi le ottimizzazioni di alcuni tipi devono essere disabilitate quando è richiesta la sincronizzazione tra i thread. Questo è ciò che fa volatile do.

Se i compilatori e le CPU non eseguivano ottimizzazioni ed eseguivano un programma esattamente come era stato scritto, non sarebbe mai necessario il volatile. La visibilità della memoria riguarda le ottimizzazioni nel codice (alcune fatte dal compilatore, alcune dalla CPU), non le cache.

Answer 2

Penso che il testo che stai citando sia errato. L'intera idea del modello di memoria Java è di occuparsi delle complesse ottimizzazioni dell'hardware moderno software &, in modo che i programmatori possano determinare quali scritture sono visibili dalle rispettive letture in altri thread.

A meno che un programma in Java sia correttamente sincronizzato, non è possibile garantire che le modifiche apportate da un thread siano immediatamente visibili ad altri thread. Forse il testo si riferisce a un modello di memoria molto specifico (e debole).

L'utilizzo di variabili volatili è solo un modo per sincronizzare i thread e non è adatto a tutti gli scenari.

--Edit--

credo di aver capito la confusione ora ... Sono d'accordo con David Schwartz, partendo dal presupposto che:

1) "modifica una risorsa processo", l'attuale modificare della risorsa, non solo l'esecuzione di un'istruzione di scrittura scritta in un linguaggio di computer di alto livello.

2) "è immediatamente visibile per thread figlio" significa che altri thread sono in grado per vederlo; non significa che un thread nel tuo programma lo vedrà necessariamente. Potrebbe essere comunque necessario utilizzare gli strumenti di sincronizzazione per disabilitare le ottimizzazioni che ignorano l'effettivo accesso alla risorsa.