Pergunta sobre a situação do impasse em Java
Estou aprendendo sobre deadlocks em Java, e há este exemplo de código do tutorial oficial da Sun:
Alphonse e Gaston são amigos e grandes crentes na cortesia. Uma regra estrita de cortesia é que quando você se curvar a um amigo, você deve permanecer curvado até que seu amigo tenha a chance de devolver o arco. Infelizmente, essa regra não leva em conta a possibilidade de dois amigos se curvarem ao mesmo tempo.
public class Deadlock {
static class Friend {
private final String name;
public Friend(String name) {
this.name = name;
}
public String getName() {
return this.name;
}
public synchronized void bow(Friend bower) {
System.out.format("%s: %s has bowed to me!%n",
this.name, bower.getName());
bower.bowBack(this);
}
public synchronized void bowBack(Friend bower) {
System.out.format("%s: %s has bowed back to me!%n",
this.name, bower.getName());
}
}
public static void main(String[] args) {
final Friend alphonse = new Friend("Alphonse");
final Friend gaston = new Friend("Gaston");
new Thread(new Runnable() {
public void run() { alphonse.bow(gaston); }
}).start();
new Thread(new Runnable() {
public void run() { gaston.bow(alphonse); }
}).start();
}
}
Aqui está a explicação de Sun:
Quando o Deadlock for executado, é extremamente provável que os dois segmentos sejam bloqueados quando tentarem invocar o bowBack. Nenhum dos dois blocos terminará, porque cada segmento está aguardando que o outro saia do arco.
Eu não pareço seguir. Quando alphonse.bow (gaston) é executado, o método de arco é bloqueado. Então agora vai imprimir primeiro "Gaston se curvou para mim!". Em seguida, ele vai ligar e chamar bowBack e bloqueia o bowBack também. Como isso pode causar um impasse? Eu estou entendendo mal o que acontece quando um método sincronizado é chamado?
Se alguém puder me dar uma explicação fácil, obrigado.