Los Monitores Java son Re-entrantes

El sistema de ejecución de Java permite que un thread re-adquiera el monitor que ya posee realmente porque los monitores Java son re-entrantes. Los monitores re-entrantes son importantes porque eliminan la posibilidad de que un sólo thread ponga en punto muerto un monitor que ya posee.

Consideremos esta clase:

class Reentrant {
    public synchronized void a() {
        b();
        System.out.println("Estoy aquí, en a()");
    }
    public synchronized void b() {
        System.out.println("Estoy aquí, en b()");
    }
}
Esta clase contiene dos métodos sincronizados: a() y b(). El primer método sincronizado, llama al otro método sincronizado.

Cuando el control entra en el método a(), el thread actual adquiere el monitor del objeto Reentrant. Ahora, a() llama a b() y como también está sincronizado el thread también intenta adquirir el monitor de nuevo. Como Java soporta los monitores re-entrantes, esto si funciona. El thread actual puede adquirir de nuevo el monitor del objeto Reentrant y se ejecutan los dos métoso a() y b(), como evidencia la salida del programa:

Estoy aquí, en b()
Estoy aquí, en a()
En sistemas que no soportan monitores re-entrantes, esta secuencia de llamadas a métodos causaría un punto muerto.


Ozito