Hilos de Java y bloques sincronizados

Question

Supongamos que estoy ejecutando un bloque de código synchronized dentro de un hilo y dentro del bloque synchronized llamo un método que genera otro hilo para procesar un bloque de código sincronizado que requiere el mismo bloqueo que el primer método . Así que en pseudo código Java:

public void someMethod() { 
    synchronized(lock_obj) { 
    // a whole bunch of stuff... 

    // this is the last statement in the block 
    (new Thread(someOtherMethod())).start(); 
    } 
    // some more code that doesn't require a lock 
} 

public void someOtherMethod() { 
    // some setup code that doesn't require a lock 

    // return the stuff we want to run in another thread 
    // that does require a lock 
    return new Runnable() { 
    @Override 
    public void run() { 
     synchronized(lock_obj) { 
     // some more code 
     } 
    } 
    }; 
} 

No tengo idea de cómo darle sentido a ese código. ¿Es lo que he escrito incluso legal? Sintácticamente no veo ningún problema, pero no estoy seguro de cómo razonar a través de un código como ese. Entonces, cuando ejecuto someOtherMethod() para crear una instancia de Runnable, ¿en qué tipo de ámbito se ejecuta el código anterior a la instrucción return? ¿Se ejecuta como parte del primer bloque sincronizado? Supongamos que hay otros subprocesos que también funcionan y que pueden requerir el bloqueo en lock_obj.

Answer 1

Aún mantiene presionado el candado durante la creación del hilo ejecutable y el hilo, pero después de llamar al inicio y antes de que el hilo realmente capte, está renunciando al bloqueo. El nuevo hilo tendrá que competir por el bloqueo con otros hilos.

Answer 2

No hay nada de malo en este código. Antes de la declaración de devolución en someOtherMethod(), el código se está ejecutando en el bloque sincronizado de someMethod(). Después de que se inicia el nuevo subproceso, se bloqueará en la instrucción synchronized dentro del método run() hasta que obtenga un bloqueo en lock_obj (como muy pronto, siempre que someMethod() salga de su bloque sincronizado).

Answer 3

Si someMétodo() se invoca primero, es el ejemplo clásico de un interbloqueo.

¿Es lo que he escrito incluso legal?
---- Sí, es perfectamente legal sintácticamente.

Entonces, cuando ejecuto someOtherMethod() para crear una instancia de Runnable, ¿en qué tipo de ámbito se ejecuta el código anterior a la instrucción return? ---- Si someOtherMethod() se invoca desde algún método(), entonces está en el alcance del bloque sincronizado del método someMethod().