Threadクラスの動きを理解したい

Question

現在JavaGoldの問題を解いていて理解しづらいところがあるので質問させてください。

Threadクラスの問題（問題78）なのですが、
結論から言うと
なぜ実行結果が「ex2 run run」や「run ex2 run」になるときがあるのか理解しがたいです。

コードは以下です。

class Foo implements Runnable {
  public void run() {
    try {
      System.out.print("run ");
      Thread.sleep(1000);
    } catch (InterruptedException e) { System.out.print("ex1 "); }
  }
}
class Test {
  public static void main(String[] args) {
    Foo obj = new Foo();
    Thread t1 = new Thread(obj);
    Thread t2 = new Thread(obj);
    try {
      t1.start();
      t2.start();
      t1.start();
    } catch (Exception e) { System.out.print("ex2 "); }
  }
}

調べていると次のような説明がありました。

start()メソッドを呼び出した時点で、スレッドが即座に実行を開始するわけではありません。start()メソッドは、スレッドを「実行可能状態」にします。

そのため実行開始するタイミングはコードの順番とは限らないため「run run ex2」になるとは限らず「run ex2 run」となるときもあるのかなと仮定しています。

だとしてもなぜ「ex2 run run」になるのかは解釈できません。
ex2が出力されるのはExceptionが発生したからであり、その原因は「1つのスレッドオブジェクトに対し、2回start()メソッドを呼び出した」からだと思っています。だとすると1度目にいきなり「ex2」が出力されるのは辻褄が合いません。

そこで**「run ex2 run」になるときの私なりの解釈があっているかやなぜ「ex2 run run」になるときがあるのか**を教えていただきたいです。

もし分かる方がいらっしゃればお願い致します。

---

※追記
「ex2 run run」に関しても同じことが言えるのでしょうか。
start()メソッドを呼び出した時点で「実行可能状態」にはしたけれど、「実行開始」はされていない。
その「実行開始」されるまでに「2回start()メソッドを呼び出す」ことが発生するとき、「ex2 run run」と出力される。

私はこのように仮定してみましたが、どうでしょうか。わかる方がいればよろしくお願い致します。

Answer 1

「run ex2 run」の解釈は間違っていないと思います。
「ex2 run run」のパターンですが、当方で検証してみたら結構な頻度で出てきました。
おそらく、スレッドが起動してから実際に実行に移るまで意外に時間がかかり、その間に元のスレッド(mainを実行しているスレッド)が進行してしまっているのだと思います。すなわち、
0. 1回目のt1.start() → 実行待ち
0. t2.start() → t1もt2も実行待ち
0. 2回目のt1.start()、しかしすでにstartされているため例外発生し、"ex2"を出力
0. ようやくt1やt2が実行開始し、"run"を出力

という具合ではないでしょうか…

Comments

[k499778]

swordoneさん
毎度回答ありがとうございます。大変助けていただいております。
やはりそういうことですよね。。
私も最初気づかなかったんですが、その可能性に先ほど気づきました。
意外とrun()メソッドが実行されるまで時間がかかるのかもしれませんね。
安心しました。ありがとうございました。