Perché una variabile membro dell'oggetto non può essere sia finale che volatile in Java?

Question

Se in una classe ho un esempio ConcurrentHashMap che sarà modificato e letto da più thread che potrei definire così:

public class My Class { 

    private volatile ConcurrentHashMap<String,String> myMap = new ConcurrentHashMap<String,String>(); 
... 
} 

aggiungendo final per i risultati del campo myMap un errore dicendo che posso usare solo finale o volatile. Perché non può essere entrambi?

Answer 1

volatile ha rilevanza solo per le modifiche della variabile stessa, non l'oggetto a cui si riferisce. Non ha senso avere un campo final volatile perché i campi finali non possono essere modificati. Basta dichiarare il campo final e dovrebbe andare bene.

Answer 2

volatile viene utilizzato per le variabili che il loro valore può cambiare, in alcuni casi, in caso contrario non v'è alcuna necessità di volatile, e final significa che la variabile non può cambiare, quindi non c'è bisogno di volatile.

Le vostre preoccupazioni di concorrenza sono importanti, ma rendendo il HashMapvolatili non risolverà il problema, per la gestione dei problemi di concorrenza, si utilizza già ConcurrentHashMap.

Answer 3

Poiché volatile e final sono due estremi in Java

volatile intende la variabile è associata a variazioni

final intende il valore della variabile cambierà mai alcuna

Answer 4

Poiché non fa ha senso Volatile influisce sul valore di riferimento dell'oggetto, non sui campi dell'oggetto/ecc.

Nella tua situazione (hai una mappa concomitante) dovresti fare il campo final.

Answer 5

volatile modificatore garantisce che tutte le letture e le scritture vadano alla memoria principale, ad esempio l'accesso variabile è quasi nel blocco synchronized. Questo è irrilevante per la variabile finale che non può essere modificata.

Answer 6

È a causa di Java Memory Model (JMM).

In sostanza, quando si dichiara campo oggetto come final è necessario inizializzarlo nella funzione di costruzione dell'oggetto e quindi il campo final non modificherà il valore. E JMM promette che dopo che ctor è finito, qualsiasi thread vedrà lo stesso valore (corretto) del campo final. Pertanto, non è necessario utilizzare la sincronizzazione esplicita, ad esempio synchronize o Lock per consentire a tutti i thread di visualizzare il valore corretto del campo final.

Quando si dichiara il campo dell'oggetto come volatile, il valore del campo può cambiare, ma comunque ogni lettura di valore da qualsiasi thread vedrà l'ultimo valore scritto su di esso.

Quindi, final e volatile conseguire stesso scopo - visibilità del valore del campo dell'oggetto, ma prima è specifico per una variabile può essere assegnata una volta sola seconda è utilizzato per una variabile che può essere modificata molte volte.

Riferimenti:

• http://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.12.4

• http://docs.oracle.com/javase/specs/jls/se7/html/jls-8.html#jls-8.3.1.4

Answer 7

Un campo volatile ti dà garanzie di ciò che accade quando si cambia. (Non un oggetto che potrebbe essere un riferimento a)

Un campo final non può essere modificato (Cosa fanno riferimento i campi può essere modificato)

Non ha senso avere entrambi.