- código que esté "protegido" por un bloque
synchronized(obj) { ... }
[1] donde obj
es una referencia a la misma instancia a la que pertenece el método M
.
- el mismo método
M
o cualquier otro método synchronized
de instancia que pertenezca a la misma instancia.
- código que esté "protegido" por un bloque
synchronized(A.class) { ... }
[1] donde A
es la clase que define el método M
.
- el mismo método
M
o cualquier otro método synchronized
de clase o estático que pertenezca a la misma clase A
.
O, generalizando lo antedicho, mientras ejecutes algún código "protegido" por un bloque synchronized(obj1) { ... }
[1] [2], ningún otro hilo puede ejecutar el mismo código o cualquier otro código protegido por un bloque synchronized(obj2) { ... }
[1][2] donde obj1
y obj2
son referencias al mismo objeto.
Volviendo a la pregunta, esto signfica que mientras estés ejecutando un método synchronized
para una instancia x
, no hay nada que impida que otros hilos accedan a miembros o ejecuten métodos de x
que no estén protegidos por un bloque synchronized(x)
[1] [2].
[1] Cuando uso la expresión código "protegido" por un bloque synchronized(obj) { ... }
, me refiero a que el código lógicamente (en la pila de llamadas) queda dentro del bloque synchronized(obj) { ... }
al momento de ejecutarse.
[2] Un método synchronized
de instancia es equivalente a un método "normal" de instancia con un bloque synchronized(this) { ... }
. Y un método synchronized
estático es equivalente a un método "normal" estático con un bloque synchronized(A.class) { ... }
donde A
es la clase que define el método estático.