Implementazione della classe di protezione solare non sicura

Question

/** 
    * Atomically update Java variable to <tt>x</tt> if it is currently 
    * holding <tt>expected</tt>. 
    * @return <tt>true</tt> if successful 
    */ 
    public final native boolean compareAndSwapObject(Object o, long offset, 
                Object expected, 
                Object x); 

1) In che modo impostano "atomicamente" il valore di "o" nella posizione "offset" a "x" se "valore == previsto"?

2) In che modo "bloccano" l'oggetto quando utilizziamo il metodo sincronizzato o il blocco sincronizzato? Sono solo curioso di sapere cosa va sotto il cofano.

Answer 1

1. Poiché questo è un metodo nativo, ricadranno su qualsiasi piattaforma offerta. IIRC, "confronta e scambia" era presente su MIPS e SPARC come comando del processore più di 10 anni fa.

2. che usare qualcosa come 1 dietro le quinte per ottenere il blocco oggetto

Answer 2

La risposta esatta alla tua domanda è a carico di attuazione.

vedi qui per la documentazione del pacchetto atomiche: http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/atomic/package-summary.html

L'implementazione di solito utilizzato a livello macchina istruzioni atomiche come confrontare e swap.

Answer 3

Sì, la chiamata compareAndSwapObject si traduce in una chiamata al metodo nativo o in una espansione in linea che esegue il confronto e scambio utilizzando le funzionalità hardware native.

Per quanto riguarda l'implementazione della parola chiave synchronized, è possibile utilizzare qualsiasi numero di tecniche, ma sono tutte simili al confronto e scambio concettualmente.

Answer 4

Potrebbe essere necessario dare un'occhiata a ciò che Intel offre per la famiglia di processori x86.

Implementing scalable atomic locks for multi core intel em64t and ia32 architectures.