例外并行同期处理ゴミ集め.PPTVIP

例外，並行?同期処理，ゴミ集め 2002年7月7日 海谷 治彦 目次 例外処理とは何かの復習とJVMでの扱い try catch と throw スレッドと同期処理のJVMでの扱い Threadクラスとモニタ，synchronized フラグ ゴミ集め．いわゆる Garbage Collection 不用なメモリ領域の回収． 失敗と例外（一般論) あるメソッドが想定した利用条件下において実行を終了した場合，そのメソッド呼び出しは成功(success)したといい，そうでない場合，失敗(failure)したという． 例外(exception)とは，メソッド呼び出しの失敗原因である実行時の出来事(event)である． 例外処理 （一般論) 例外処理は，例外が起きてしまったメソッドの呼び出し側が行う． 例外処理の方針は大きく分けて以下の2種類となる． Retrying: 例外が起きた条件を変更して，メソッドの再実行を行う． Failure: 呼び出し側の処理も停止し，そのまた呼び出し側に失敗を通知する．(要は始末を呼び出し元，呼び出し元へと押し付ける) 例外の具体例 配列添え時の範囲を超えて，アクセスを行った． ゼロで割り算してしまった． ロードしたいクラスが見つからなかった． 権限を越えた操作を行おうとして，セキュリティ違反が起こってしまった． 入出力装置がおかしくなった． 一般にメソッドの利用規定外のことが起こったことと考えて良い． 例外発生の例 例外発生の簡単な例 簡単な例に対応するアセンブラ JVMでの例外発生のポイント 要は例外インスタンスを作成して，athrow 命令に渡す． 教科書にあるとおり，.throws 節はクラスファイルには無くてもOK Javaスタック上で，該当するハンドラ(後述)をもつ最も浅いフレームでcatchされる．(最後までcatchできるフレームが無いと，無視されるようだ．) 詳細は教科書p.168～，p.237 参照． 例外通過の例 1/2 例外通過の例 2/2 C.methの例外は，直接の呼び出し側 B.meth ではなく，１つおいた A.meth でキャッチされる． 実はこのコードのコンパイルにはトリックが必要． まずは，Cは例外を投げないようにコーディングして，A.java B.java C.java をコンパイル． C.java を編集しなおして，例外を投げるようにして，C.java を再コンパイル． そして，実行． JVMとは関係なく，コンパイラが例外キャッチのチェックを行うので，それを騙す必要がある． 例外のキャッチ(捕獲) Javaコード上で，catch節にあったコードは，アセンブラ上では，goto文で，「飛ばし読み」しているように翻訳される． 別途，割り込みハンドラという部分が追加され， 割り込みを監視範囲 監視する割り込みの種類 起こった場合の対処コード(catch内)の位置 を示す． finallyの解説は省略．(話が厄介) 単なるtry-catch: javaソース 単なる try-catch: アセンブラ 単なる try-catch: ポイント catch節に相当する部分はgoto文で，すっ飛ばしている．(gotoからLabel5まで) 例外ハンドラ(.catch節)として，アセンブラに展開される．ここの例では， 見張る範囲は，Label1から2 FNFExp.がおきると，Label3の処理をする． Exp.がおきると，Labal4の処理をする． と書いてある． 入れ子のtry-catch: ソース 入れ子のtry-catch: アセンブラ 並行処理と同期 スレッド自体は，アセンブラでもバイトコードでも，通常のコードを大きな違いは無い． 問題は，同期処理． ブロックによる同期 モニタを利用 メソッドによる同期 メソッドのフラグが立つ (p.73) 教科書 p.180, p.73等を参照． synchronizedブロックの場合 詳細は，./mutiIncB/ 以下の例を参照． monitorenter 教科書p.427 スタックトップから参照されているオブジェクトをロックする． ロックするとは，他のスレッドから，そのオブジェクトへのアクセスをさせないこと． monitorexit 教科書p.431 同，ロックを解除する． ロック区間で例外がおきたら，必ずロック解除をするように，自動的に仕込まれる． 例題の解説 synchronizedメソッドの場合 詳細は，./mutiIncM/ 下を参照． 3つのincrement スレッドが共有変数を1つづつ増加させる例題． アセンブラ，バイトコード共に変わったところはない． ちなみに，この例題では，synchronized をとると，