Implementación de clase de sol insegura

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) ¿Cómo establecen "atómicamente" el valor de "o" en la posición "desplazamiento" en "x" si "valor == esperado"?

2) ¿Cómo "bloquean" el objeto cuando usamos el método sincronizado o el bloque sincronizado? Solo tengo curiosidad por saber qué pasa debajo del capó.

Answer 1

1. Como se trata de un método nativo, recurrirán a lo que ofrece la plataforma de destino. IIRC, "compare and swap" estuvo presente en MIPS y SPARC como comando de procesador hace más de 10 años.

2. que usar algo como 1 entre bastidores para obtener bloqueo en el objeto

Answer 2

La respuesta exacta a su pregunta depende de la implementación.

ver aquí para la documentación del paquete atómicas: instrucciones atómicas http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/atomic/package-summary.html

La aplicación utiliza generalmente a nivel de máquina como comparar y de intercambio.

Answer 3

Si, la llamada compareAndSwapObject se traduce en una llamada a método nativo o en una expansión en línea que hace el compare-and-swap utilizando instalaciones de hardware nativas.

En cuanto a la implementación de la palabra clave synchronized, se pueden usar cualquier cantidad de técnicas, pero todas se parecen a las de comparar y cambiar conceptualmente.

Answer 4

Es posible que tenga que echar un vistazo a lo que Intel ofrece para su familia de procesadores x86.

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