Up Top

Exception の処理 ： 処理の詳細 (4) ： 例外ハンドラの探索処理 ： 異種フレーム境界での処理 ： 非ランタイム(かつ非ネイティブ)フレーム → ランタイムフレームの境界での処理

概要(Summary)

例外がランタイムフレーム内で伝搬され続け, 非ランタイム(かつ非ネイティブ)フレームまで戻ってきた場合, その境界で (ランタイムフレーム用のものから別の種類のフレーム用のものへと) 例外ハンドラ探索処理が切り替わる. 切り替えは, ランタイムを呼び出した側がリターン後に pending_exception をチェックすることで行っている.

切り替え後の例外ハンドラ探索処理は, StubRoutines::forward_exception_entry (アクセサは StubRoutines::forward_exception_entry()) が指しているスタブコードが行う このスタブは, 例外ハンドラの取得とその呼び出し処理を行う. このスタブは, HotSpot の初期化時に StubGenerator::generateforward_exception() という関数で生成されている.

ランタイムを呼び出す各種のコードでは, ランタイムからのリターン後に pending_exception がセットされていれば, このスタブにジャンプして例外処理を行う.

備考(Notes)

• なお, どこまで遡ってもランタイムのフレームしかない場合もありうるが, その場合はどこにも例外のキャッチ場所がないので異常終了になる.

• それぞれの場合におけるランタイムとの境界は以下の通り.

処理の流れ (概要)(Execution Flows : Summary)

初期化時のスタブ生成の流れ

(See: here for details)
-> StubGenerator::generate_initial()
  -> StubGenerator::generate_forward_exception()

スタブを呼び出す処理の流れ

ランタイムを呼び出す各種のコード (See: here and here for details)
-> StubRoutines::forward_exception_entry() が指しているコード (= StubGenerator::generate_forward_exception() が生成したコード)
   -> SharedRuntime::exception_handler_for_return_address() で, 適切な例外ハンドラのエントリポイントを取得.
      -> SharedRuntime::raw_exception_handler_for_return_address()
   -> 取得したアドレスにジャンプ

処理の流れ (詳細)(Execution Flows : Details)

StubGenerator::generate_forward_exception() (sparc の場合)

See: here for details

StubGenerator::generate_forward_exception() (x86_64 の場合)

See: here for details

SharedRuntime::exception_handler_for_return_address()

See: here for details

SharedRuntime::raw_exception_handler_for_return_address()

(#Under Construction) See: here for details

This document is available under the GNU GENERAL PUBLIC LICENSE Version 2.