wait中にinterruptを呼ばれたスレッドの振る舞いについて

質問

はじめまして。javaの初心者です。
どうしてもわからないことがあります。
例えば、以下のコードで、
class Foo
{
public synchronized void foo()
{
while(条件)
{
try
{
this.wait();
}
catch(InterruptedException ex)
　　　{
　　　　処理
　　　}
}
}
}
wait中であったスレッドは、他のスレッドによって
interrupt()メソッドを実行されたときは、Fooの
ロックを取得してからcatch節を実行すると思うのですが、もし、以下のコードの場合は、
class Foo
{
public synchronized void foo()
throws InterruptedException
{
while(条件)
{
this.wait();
}
}
}
wait中であったスレッドは、他のスレッドによって
interrupt()を実行されたときにすぐにInterrupted
Exceptionをスローするのか、それとも
Fooクラスのロックを取得してからInterruptedExceptionをスローするのかどちらなのか
がわかりません。どうか教えてください。よろしく
お願いします。

回答No.1

UKY · ベストアンサー

当然 Foo のインスタンス (Foo クラスじゃないよ!) のロックを取得してから例外がスローされます。
そもそもロックの取得も例外のスローも wait() メソッドの中で行われることなのだから、catch の有無によって動作が変わることなどありえません。wait() メソッドの中から呼び出し元 (つまり foo() メソッド) のコードがどうなっているかなんて知る由もありませんからね。

念のため foo() メソッドの全体の動作を書いておきます。
foo() メソッドがどこからか呼ばれる。
↓
Foo のインスタンスのロックを取得
↓
wait() メソッドが呼ばれる
↓
(wait() メソッドの中で) Foo のインスタンスのロックを解除して、待機状態に入る
↓
その後ほかのスレッドから interrupt されると、
(wait() メソッドの中で) Foo のインスタンスのロックを再取得して、InterruptedException をスローする
↓
wait() メソッドから foo() メソッドに戻る
↓
例外は foo() の中ではキャッチされない
↓
Foo のインスタンスのロックを解除して、foo() メソッドを抜ける
↓
InterruptedException は foo() の呼び出し元に伝播する

お礼

UKY様へ

ご回答ありがとうございました。また、ご丁寧に
foo() メソッドの全体の動作まで書いていただき
ありがとうございました。とてもわかりやすかった
です。勉強になりました。勉強不足を痛感しています。