JP2000347872A - 例外を正規制御フローとして処理する方法及び装置 - Google Patents

Abstract

(57)【要約】 【課題】例外を正規プログラム制御フローの一部として
処理する方法及び装置を開示する。 【解決手段】本発明の一つの様態によると、オブジェク
トベースシステムにおいて例外を処理する方法が、ソー
スコードを得るステップを備える。この場合、ソースコ
ードには、例外検査に関する命令を明示的に指定するコ
ードセグメントが含まれる。また、この方法は、少なく
とも一部例外検査関連の呼出しを削除することにより、
ソースコードの最終内部表現を作成するステップ、最終
内部表現関連の機械コードを生成するステップも備え
る。一実施例では、該方法が、機械コードを実行するス
テップを更に備える。

Description

【発明の詳細な説明】

【０００１】（発明の分野）本発明は、一般に、ソフト
ウェアアプリケーションの実行を向上させる方法及び装
置に関する。より詳細には、本発明は、例外をコンピュ
ータプログラム正規制御の一部として処理する方法及び
装置に関する。

【０００２】（従来の技術）コンピュータプログラムの
実行効率を向上させるため、多くのコンピュータプログ
ラムが「最適化」される。コンピュータプログラムの最
適化は、一般に、実質的に使用されないコンピュータコ
ードの部分を削除する役割を果たす。また、コンピュー
タプログラムの最適化により、計算操作の再構築化が行
われ、計算全体がより効率的に実行されるようになる。
その結果、コンピュータ資源の消費が削減される。

【０００３】オプティマイザは、例えば、Ｃ＋＋、ＦＯ
ＲＴＲＡＮ、Ｊａｖａバイトコード等のプログラミング
言語で書かれたコンピュータプログラムを、より速いプ
ログラムに効果的に変換するよう構成される。より速
い、又は最適化されたプログラムには、一般に、元の、
或いは前もって変換されたコンピュータプログラムに観
測される動作と、ほぼ完全に等しい観測可能な動作が含
まれる。具体的には、最適化プログラムには、その関連
する元のプログラムと同じ数学的動作が含まれる。しか
し、最適化プログラムでは、一般に、より少ない計算で
同じ数学的動作が再現される。

【０００４】一般に、オプティマイザは、コンピュータ
プログラムに関連する例外を処理するよう構成される。
当業者であれば分かるように、通常、例外とは、正規制
御フロー外の処理を要求する事象、又は状態を指す。
「例外」という名称が示唆するように、まれな、又は例
外的な事象で使われる。正規の処理で例外を使用するこ
とは可能であるが、例外処理は、通常まれなエラー状態
に関連する。コンピュータプログラムに関連する例外に
は、通常、配列範囲検査又は無効ポインタアクセスのど
ちらかが含まれる。

【０００５】範囲検査は、配列参照が配列領域内にある
かどうか確認するため、コンピュータプログラム内で実
施される。範囲検査を処理するため、コンピュータプロ
グラムに特殊コードが含まれる。配列参照が、配列領域
内にないとき、例外が立てられ、参照が配列領域外であ
ることが示される。

【０００６】無効ポインタ参照には、一般に、どのよう
な有効メモリ位置も指さないポインタの使用が伴う。あ
るプログラミング言語、例えば、カリフォルニア州パロ
アルト、サンマイクロシステムズ社開発によるＪａｖａ
（商標）プログラミング言語では、ポインタは、有効メ
モリ位置を指すか、又はヌル値のどちらかとなる。ま
た、ヌルポインタ冗長試験、つまり「ヌル検査」が行わ
れる場合もある。第１の試験で、ポインタがヌル値では
ないことが判明した場合、ポインタがヌル値かどうかの
判定を行う第２の試験が、冗長試験である。当業者であ
れは分かるように、ヌルポインタ試験は、ポインタに関
連する内容をロードしようとするとき、暗黙のうちに実
行される。

【０００７】図１（ａ）は、ポインタをロードするコマ
ンドを含む、よってヌル検査を暗に含むソースコードを
示す図である。ソースコード１０２には、レジスタ内に
ポインタに関連する内容をロードするコマンド、又は命
令が含まれる。例えば、コマンド１０３は、ポインタ
「ｐｔｒ１」を通してフィールド「Ａ」の内容をロード
するコマンドである。このようなコマンドが発生する
と、中央処理装置［ＣＰＵ］ハードウェアが、そのポイ
ンタが有効なポインタかどうか判定する検査を行う。Ｊ
ａｖａ（商標）プログラミング言語では、唯一無効なポ
インタはヌルポインタである。よって、ＣＰＵハードウ
ェアによる検査は、本質的にはヌルポインタの検査であ
る。コマンド１０４も、ポインタ「ｐｔｒ１」を通して
ロードを行うコマンドである。一般的に、ポインタ「ｐ
ｔｒ１」がナルかどうかの判定はコマンド１０３に関し
てすでに行われているが、コマンド１０４に関して、ポ
インタ「ｐｔｒ１」に関する本質的に冗長な検査が行わ
れる。ソースコード１０２は、ソースコード１０２の最
適化を行うオプティマイザ１０６に提供される。最適化
処理が終了すると、ソースコード１０２に関連する機械
コード１１０が生成される。

【０００８】ヌルポインタの識別に応じて例外がスロー
されると、通常その例外を処理するため、テーブルがア
クセスされる。このようなテーブルは、例外処理用の適
当なコードセグメントに対して、例外の型のマッピング
を行うルックアップテーブルであることが多い。図１
（ｂ）は、例外を処理し、その例外処理過程でルックア
ップテーブルにアクセスするコードを示す図である。コ
ード１５２には、異なる型の例外をスローするための呼
出しが含まれる。「ＴｒｕｅＥｘｃｅｐｔｉｏｎ」をス
ローする機能への呼出し１５４があると、結果的にアク
セスされるのはルックアップテーブル１６０となる。具
体的には、「ＴｒｕｅＥｘｃｅｐｔｉｏｎ」は、「Ｔｒ
ｕｅＥｘｃｅｐｔｉｏｎ」のスローに関連した適当なコ
ードセグメント等、ルックアップテーブル１６０内への
指標として使用される。図示のように、結局、コードセ
グメント１５７が、呼出し１５４によりアクセスされ
る。同様に、「ＦａｌｓｅＥｘｃｅｐｔｉｏｎ」をスロ
ーする機能への呼出し１５６は、ルックアップテーブル
１６０を通してコードセグメント１５８へのマッピング
を行う。

【０００９】一般に、例外がスローされるたびに、例え
ば、「ＴｒｕｅＥｘｃｅｐｔｉｏｎ」をスローする機能
に呼出しがあると、例外オブジェクトへの記憶域が割当
てられる。即ち、スローされた各例外について、例外オ
ブジェクトが作成される。このような例外オブジェクト
は、当業者であれば分かるように、使用されないことが
多い。しかし、例外オブジェクトが使用されることも考
えられ、従って最適化処理中にオプティマイザによって
削除されないことが考えられる。その結果、他の使用の
ためにメモリスペース再割当てが行われないため、例外
オブジェクト及び例外オブジェクトが占めるメモリスペ
ースの初期化時間が浪費されてしまう。

【００１０】Ｊａｖａ（商標）プログラミング言語等の
プログラミング言語では、通常正確な例外処理が必要と
される。正確な例外処理には、一般に、例外検査が再命
令されず、削除もされないことが要求される。このよう
に、冗長コードが、前記ヌルポインタ例外等の例外処理
に関連することが多い。

【００１１】所定の例外処理コードは、例外処理に比較
的効果的であるが、例外を処理するコードが冗長である
ことが多いため、例外処理コードを含むソースコードの
最適化が完全でないことがある。換言すれば、最適化処
理において、できるかぎり最適化されたプログラムが生
成されないことがある。プログラムが、完全に最適化さ
れないと、プログラムの効率的実行は不可能である。更
に、前記のように、例外がスローされる毎に、例外オブ
ジェクトへの記憶域割当てが行われる。例外オブジェク
トは一般に使用されないため、冗長例外コードから作成
される冗長例外オブジェクトにより、コンピュータシス
テムに関連した浪費メモリスペースが増えることにな
る。

【００１２】正確な例外処理を有するプログラムを更に
最適化するため、通常、オプティマイザに、例外処理用
の特別最適化技術が含まれる。これら特別最適化技術で
は、オプティマイザへのカスタムコード付加が要求され
る。このカスタムコードは、しばしば微妙なバグの原因
となる。更に、このようなカスタムコードは、オプティ
マイザの残りの部分とよく統合されないことが多く、オ
プティマイザの能力が完全であれば削除が可能なはずの
例外検査が、削除不可能となる。

【００１３】従って、例外処理の効率的方法が望まれ
る。具体的には、オプティマイザが、正規プログラム制
御フローの一部として例外を処理可能とすることによ
り、冗長例外検査をほぼ削除する方法及び装置が必要で
ある。

【００１４】（発明の概要）本発明は、例外を、正規プ
ログラム制御フローの一部として処理することに関す
る。本発明の一つの様態によると、オブジェクトベース
システムにおいて例外を処理する方法が、例外検査に関
する命令を明示的に指定するコードセグメントを含むソ
ースコードを得るステップを備える。この方法は、少な
くとも一部例外検査に関連する呼出しを削除することに
より、ソースコードの最終内部表現を作成し、最終内部
表現関連の機械コードを生成するステップを備える。一
実施例では、該方法が、機械コードを実行するステップ
を更に備える。

【００１５】例外処理を正規プログラム制御フローに統
合することにより、例外処理効率が上がる。例えば、正
規プログラム制御フローの一部として処理される例外
は、正規制御フロー内で冗長検査を削除する機構により
冗長検査を削除させる。また、決して使用されることの
ない例外オブジェクトについては、例外が、正規プログ
ラム制御フローの一部として処理されるときに削除され
る。即ち、オプティマイザが既に不使用コードを削除し
ており、本発明では例外関連のコードも削除される。こ
れにより、例外オブジェクト資源が開放される。

【００１６】本発明の別の様態によると、例外関連のコ
ード部分を有するソースコード作成方法が、まずソース
コードを得るステップを備える。ソースコードには、第
１コード部内に収まる第１コード部が含まれる。そし
て、第１コード部が、第２コード部に対して冗長かどう
か判定するステップ及びソースコードを内部表現に変換
するステップを備える。内部表現へのソースコードの変
換では、第１コード部が、第２コード部に対して冗長と
判定されると、ソースコードから第１コード部が削除さ
れる。一実施例では、内部表現が、機械コードに更に変
換される。

【００１７】本発明の前記、他利点は、次の詳細な説明
を読み、添付の様々な図を検討することにより明白とな
る。

【００１８】（実施例の詳細な説明）カリフォルニア州
パロアルト、サンマイクロシステムズ社開発によるＪａ
ｖａ（商標）プログラミング言語等のプログラミング言
語では、正確な例外処理が要求されることが多い。正確
な例外処理では、一般に、特定領域でどのような例外も
起きず、所定例外処理コードの実施も必要ではないこと
が証明されない限り、例外検査の再命令、又は削除は行
わないことが要求される。各例外に、その例外処理のた
めのコードが必要となる。このように、冗長コードは、
ヌルポインタ例外等の例外処理に関連することが多い。
例えば、冗長コードは、特定ポインタがヌルかどうかの
試験に存在する。この場合、試験が、特定ポインタがヌ
ルであることを既に判定した後に行われることが前提と
なる。当業者であれば分かるように、ヌルポインタは、
一般に、メモリは参照しないが、そのかわりヌル値を含
むポインタである。ヌルポインタが参照されると、どの
ような例外もスローされない。

【００１９】ポインタがヌルであるかどうか判定するた
めの冗長例外処理過程は、特定ポインタがヌルポインタ
でないことが既に判定されている場合、不必要であり、
また非効率でもある。例外処理では、所定例外処理コー
ドが比較的効果的であるが、冗長例外処理コードを含む
ソースコードの最適化が、完全であるとは一般に考えら
れない。つまり、そのようなソースコードはまだ最適化
される余地があるということである。プログラムが完全
に最適化されないと、そのプログラムの実行は、いくぶ
ん非効率となる。

【００２０】コンピュータプログラムの正規制御フロー
内に明示的に例外処理命令を含むことにより、オプティ
マイザによるコンピュータプログラムの変換が可能とな
り、冗長例外処理に関連する命令が削除される。換言す
れば、例外処理命令をコンピュータプログラム内に明示
的にコード化することで、コンピュータプログラムが最
適化され、冗長例外処理コードの削除が可能となる。更
に、コンピュータプログラムの正規フロー内への例外処
理の統合は、例外スローの際作成されるオブジェクト
を、最適化過程で削除可能とする役割を果たす。従っ
て、統合された例外処理を有するプログラムから生成さ
れる機械コードは、通常、所定例外処理コードを有する
プログラムから生成される機械コードより効率よく実行
される。

【００２１】図２は、本発明の実施例による正規プログ
ラム制御フロー内に例外処理を統合するオプティマイザ
を示す図である。例外フロー、例えば例外処理に関連す
るプログラムフローを明示的に指定するソースコード２
０２が、オプティマイザ２２２に入力される。オプティ
マイザ２２２は、一般に、数学演算上ソースコード２０
２に相当する機械コード２４２に、ソースコード２０２
を変換するよう構成される。

【００２２】好適実施例では、オプティマイザ２２２
が、Ｊａｖａ（商標）プログラミング言語等の言語を基
に、ソースコード２０２の中間内部表現２２６を作成す
る。中間内部表現２２６は、中間内部表現２２６関連の
プログラムフローが、実質的には最適化されない点にお
いて、ソースコード２０２の「リテラル」の表現と考え
られる。中間内部表現２２６には、例外をスローするた
めの機能に対する呼出し２２８が含まれる。このような
機能は、特定例外関連のコードセグメントに対して、特
定例外のマッピングを行うルックアップテーブルにアク
セス可能である。ルックアップテーブルのマッピング
は、一実施例では従来の「ｇｏｔｏ」コマンドに変換可
能である。

【００２３】オプティマイザは、余分の「ｇｏｔｏ」コ
マンドをその正規処理の一部として削除するよう構成さ
れる。また、オプティマイザ２２２は、不使用、例えば
デッドコードが最終内部表現２３０から削除されるよ
う、中間内部表現２２６の最適化も行う。最終内部表現
２３０は、機械コード２４２を作成するため、オプティ
マイザ２２２により使用される。図示するように、中間
内部表現２２６に存在する呼出し２２８は、最終内部表
現２３０から削除されるが、一方最終内部表現２３０
は、演算上中間内部表現２２６に相当するものとして扱
うことが可能である。換言すれば、最終内部表現２３０
は、実質的に中間内部表現２２６を簡単にしたものであ
る。例外をスローする機能の呼出し２２８を削除するす
ることにより、スローされた例外に応じて作成される不
使用例外オブジェクトを、ほぼ削除することができる。

【００２４】本発明に実施例による機械コード作成プロ
セスに関連するステップを、図３を参照に説明する。こ
のプロセスでは、例外処理が、正規制御フローに統合さ
れる。まず、ステップ３０２において、機械コード作成
プロセス３００が開始され、オプティマイザにより、暗
黙の例外フローを有するプログラムが得られる。暗黙の
例外フローを有するプログラムの例を、以下図４を参照
に説明する。

【００２５】オプティマイザによりプログラムが得られ
ると、ステップ３０４において、プログラムの中間内部
表現が作成される。一般に、プログラム中間内部表現
は、すべての暗黙の例外フローを明示させ、また明示さ
れた例外検査を含む。また、中間内部表現には、例外ハ
ンドラの呼出しも含まれる。ステップ３０６において、
この中間内部表現の最適化が行われる。最適化処理中
は、オプティマイザが、他の最適化に加え、例外呼出し
関連のほぼ全ての冗長例外検査、デッドコードの削除を
行う。即ち、オプティマイザにより、不使用コードを削
除することにより、中間内部表現が最適化される。他の
最適化には、それに限定するわけでなはいが、例外スロ
ー関連のテーブルルックアップの実行、「ｇｏｔｏ」命
令へのスロー命令の変換が含まれる。

【００２６】プロセスは、ステップ３０６からステップ
３０８に進み、そこで、中間内部表現からプログラム最
終内部表現が作成される。当業者であれば分かるよう
に、最終内部表現は、対応する中間内部表現から不使用
コード、又はデッドコードが削除されるとき生成され
る。図２を参照し上述したように、最終内部表現は、例
外処理を正規制御フロー内に統合する。ステップ３０８
におけるプログラム最終表現作成の後、オプティマイザ
により、最終内部表現から機械コードが作成される。機
械コードが作成されると、例外処理を正規制御フロー内
に統合する機械コード作成プロセスが作成される。

【００２７】前記のように、暗黙の例外フローを有する
コンピュータプログラムを最適化するオプティマイザに
より、冗長例外検査の削除が可能となる。図４は、本発
明の実施例に従って冗長例外検査を削除するため、オプ
ティマイザにより処理される明示された例外フローを有
するコンピュータプログラムを示す図である。オプティ
マイザ４１０は、一般に、機械コード４２０、つまりオ
プティマイザ４１０作成の機械コードに関連する実行を
最適化するため、ソースコード４０２から不使用コード
部を削除するよう構成される。更に、オプティマイザ４
１０は、通常、ソースコード４０２内で実行される演算
の検査を行い、不必要な、例えば冗長な演算の削除も行
う。

【００２８】例外フローを明示的に指定するソースコー
ド４０２には、ポインタ「ｐｔｒ１」がヌルポインタと
判定されるとき例外をスローする命令４０４が含まれ
る。ポインタ「ｐｔｒ１」がヌルポインタと判定される
と、ソースコード４０２関連の正規制御フローの一部と
して、追加の命令４０６、４０８が処理される。命令４
０８は、ポインタ「ｐｔｒ１」がヌルポインタかどうか
の冗長試験である。これは、命令４０４において、結果
的にポインタ「ｐｔｒ１」がヌルポインタではないと判
定されるとき、正規制御フロー内で到達できるのは、命
令４０８のみだからである。オプティマイザ４１０は、
命令４０８が、命令４０４に照らして不要であることを
判定するよう構成される。オプティマイザ４１０が、命
令４０８が冗長であることを判定すると、オプティマイ
ザ４１０は、命令４０８を削除し、機械コード４２０を
作成することができる。機械コード４２０では、レジス
タＲＺのロードが、レジスタＲＹのロードの上に引き上
げられ、それにより比較的遅い除算（ＤＩＶ）命令がよ
り早く実行開始可能となる。その結果、ＲＹローディン
グと除算命令が、時間的に重なり、より速いプログラム
が作成される。図３を参照し上述したように、一実施例
では、オプティマイザ４１０は、内部表現（図示せず）
の正規制御フロー内への例外処理の統合も行い、よって
機械コード４２０も統合される。

【００２９】図５は、本発明に適した通常の汎用コンピ
ュータシステムを示す図である。コンピュータシステム
１０３０には、主記憶装置１０３４（通常、ランダムア
クセスメモリ、ＲＡＭ）、主記憶装置１０３６（通常、
読出し専用メモリ、ＲＯＭ）を含むメモリ装置に接続さ
れる任意の数のプロセッサ１０３２（中央処理装置、Ｃ
ＰＵとも称する）が含まれる。

【００３０】コンピュータシステム１０３０、より詳細
にはＣＰＵ１０３２は、当業者であれば分かるように、
仮想計算機を支持するよう構成できる。コンピュータシ
ステム１０３０上に支持される仮想計算機の一例とし
て、図６に示す以下のものが上げられる。従来より公知
のように、ＲＯＭは、ＣＰＵ１０３２に対して一方向に
データ及び命令を転送するする役割を果たす。一方、Ｒ
ＡＭは、通常双方向にデータ及び命令を転送するために
使用される。ＣＰＵ１０３２には、一般に任意の数のプ
ロセッサが含まれる。主記憶装置１０３４、１０３６に
は、両方とも適当であればどのようなコンピュータ読出
し可能媒体も含まれる。二次記憶媒体１０３８は、通常
大容量メモリ装置であり、これも双方向でＣＰＵ１０３
２に接続され、追加の記憶容量を提供する。大容量メモ
リ装置１０３８は、コンピュータ読出し可能媒体であ
り、コンピュータコード、データ等を含むプログラムの
記憶の際使用可能である。通常、大容量メモリ装置１０
３８は、一般に主記憶装置１０３４、１０３６より遅い
ハードディスク、テープ等の記憶媒体である。大容量メ
モリ装置１０３８は、磁気、又は紙テープリーダ、他よ
く知られた装置の形態を取ることができる。ここで、大
容量メモリ装置１０３８内に保持される情報は、適当で
あれば、仮想計算機としてのＲＡＭ１０３６の一部とし
て標準的に内蔵可能である。ＣＤ−ＲＯＭ等、特定の主
記憶装置１０３４も、ＣＰＵ１０３２に対して一方向に
データを渡すことができる。

【００３１】ＣＰＵ１０３２も、一つ以上の入出力装置
１０４０に接続される。入出力装置１０４０には、限定
するわけではないが、ビデオモニタ、トラックボール、
マウス、キーボード、マイクロフォン、タッチセンセィ
ティブディスプレイ、変換器カードリーダ、磁気、又は
紙テープリーダ、タブレット、スタイラス、音声、又は
手書き認識器等の装置、他当然ながらコンピュータ等の
よく知らた入力装置が含まれる。最後に、ＣＰＵ１０３
２は、ネットワーク接続１０１２を使用し、コンピュー
タ、又は電気通信ネットワーク、例えばローカルエリア
ネットワーク、インターネット、イントラネット等、に
任意に接続可能である。このようなネットワーク接続
で、ＣＰＵ１０３２は、前記方法ステップの実行中に、
ネットワークから情報を受信したり、そこに送信したり
することが可能となることが考えられる。このような情
報は、ＣＰＵ１０３２を使い実行される一連の命令とし
て表されることが多く、例えば、搬送波内のコンピュー
タデータ信号の形態で、ネットワークに対して受信、送
信したりすることができる。

【００３２】前記のように、仮想計算機は、コンピュー
タシステム１０３０上で実行可能である。図６は、図５
のコンピュータシステム１０３０により支持され、本発
明の実施に適した仮想計算機を示す図である。コンピュ
ータプログラム、例えば、カリフォルニア州パロアル
ト、サンマイクロシステムズ社開発によるＪａｖａ（商
標）プログラミング言語で書かれたコンピュータプログ
ラムが実行されると、ソースコード１１１０が、コンパ
イル時間環境１１０５内のコンパイラ１１２０に提供さ
れる。コンパイラ１１２０により、ソースコード１１１
０は、バイトコード１１３０に書き換えられる。一般
に、ソースコード１１１０は、そのソフトウェア開発者
が作成するときに、バイトコード１１３０に書き換えら
れる。

【００３３】バイトコード１１３０は、一般に、再生、
ダウンロード、又はネットワーク、例えば図５のネット
ワーク１０１２を通して分配されたり、或いは図５の主
記憶装置１０３４等の記憶装置に記憶されたりする。本
実施例では、バイトコード１１３０は、プラットフォー
ム独立である。即ち、バイトコード１１３０は、適当な
仮想計算機１１４０を運行しているほぼどのようなコン
ピュータシステム上でも実行可能である。例えば、Ｊａ
ｖａ（商標）環境では、バイトコード１１３０は、Ｊａ
ｖａ（商標）仮想計算機を運行しているコンピュータシ
ステム上で実行できる。

【００３４】バイトコード１１３０は、仮想計算機１１
４０を含むルーチン環境１１３５に提供される。ルーチ
ン環境１１３５は、一般に、図５のＣＰＵ１０３２等の
プロセッサを使い実行できる。仮想計算機１１４０に
は、コンパイラ１１４２、インタプリタ１１４４、ルー
チンシステム１１４６が含まれる。バイトコード１１３
０は、一般にコンパイラ１１４２、インタプリタ１１４
４のどちらか一方に提供される。

【００３５】バイトコード１１３０がコンパイラ１１４
２に提供されると、前記のように、バイトコード１１３
０内に含まれる方法が、機械命令にコンパイルされる。
他方、バイトコード１１３０がインタプリタ１１４４に
提供されると、バイトコード１１３０は、一度に１バイ
トコードずつインタプリタ１１４４内に読み込まれる。
次に、インタプリタ１１４４は、各バイトコードがイン
タプリタ１１４４内に読み込まれる毎に、各バイトコー
ドが定義する操作を実行する。一般に、インタプリタ１
１４４は、ほぼ継続的に、バイトコード１１３０を処理
し、バイトコード１１３０関連の操作を実行する。

【００３６】オペレーティングシステム１１６０からあ
る方法が呼び出されると、該方法が、解釈された方法と
して発動されるものと判定されると、ルーチンシステム
１１４６が、その方法をインタプリタ１１４４から得
る。一方、該方法が、コンパイルされた方法として発動
されるものと判定されると、ルーチンシステム１１４６
は、コンパイラ１１４２を作動させる。次に、コンパイ
ラ１１４２が、バイトコード１１３０から機械命令を生
成し、機械言語命令を実行する。一般に、機械言語命令
は、仮想計算機１１４０が終了すると廃棄される。

【００３７】以上、本発明の実施例を２、３説明した
が、本発明の精神、範囲を超えることなく、他多くの具
体的形態が可能である。例えば、明示された例外フロー
を指定するソースコードから、機械コードを作成する関
連したステップは、再命令、削除、付加が可能である。
一般に、本発明の方法に関するステップは、本発明の精
神、範囲を超えることなく、その記録、削除、付加が可
能である。

【００３８】コンピュータプログラムの正規制御フロー
の一部としての例外処理を、Ｊａｖａ（商標）環境を基
に一般的に説明したが、そのような例外処理は、適当で
あればほぼどのような環境でも実施可能である。例え
ば、Ｊａｖａ（商標）仮想計算機関連の環境の代わり
に、他の仮想計算機関連の環境が実施可能である。従っ
て、本例は、例示的なものであり、何ら限定を加えるも
のでもない。また、本発明は、ここでの詳細な説明に限
定されるわけではなく、前記特許請求の範囲内での修正
が可能である。

【図面の簡単な説明】

本発明は、添付図面に基づく前記説明で明らかである
が、ここで各図は次のとおりである。

【図１】（ａ）は、ヌル検査と機械コードを暗黙に含む
ソースコードを示す図であり、この場合機械コードは、
ソースコードに関連した、オプティマイザにより生成さ
れたものであり、（ｂ）は、例外を正規実行の一部とし
て処理する機械コードを示す図である。

【図２】本発明の一実施例による例外処理を正規プログ
ラム制御フローに変換するオプティマイザの動作を示す
図であり、この場合区オプティマイザは、例外を使用す
るプログラム上で作動される。

【図３】本発明の一実施例による明示的な例外フローを
有するソースコードの最適化関連ステップを示すプロセ
スフロー図である。

【図４】本発明の一実施例によるオプティマイザによっ
て処理済みの明示的な例外フローを有するコンピュータ
プログラムを示す図である。

【図５】本発明を実施するのに好適な汎用コンピュータ
システムを示す図である。

【図６】図５のコンピュータシステムにより支持され、
本発明を実施するのに好適な仮想計算機を示す図であ
る。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 クリフォード エヌ． クリック， ジュ ニア アメリカ合衆国， カリフォルニア州， サン ノゼ， ウォーレイス ドライヴ 955 (72)発明者 クリストファー エー． ヴィック アメリカ合衆国， カリフォルニア州， サン ノゼ， リオ グランデ ドライヴ 5290 (72)発明者 マイケル エイチ． パレッツィニィ アメリカ合衆国， カリフォルニア州， サニーヴェイル， アリバ ドライヴ 241 ナンバー 10

Claims (18)

【特許請求の範囲】
1. 【請求項１】 オブジェクトベースシステムにおける例
   外を処理するコンピュータ実施の方法において、 例外チェックに関する命令を明示的に指定するコードセ
   グメントを含むソースコードを得るステップと、 前記例外チェック関連の呼出を削除することを含む、前
   記ソースコードの最終内部表現を作成するステップと、 前記最終内部表現を使用し機械コードを生成するステッ
   プとを備えるコンピュータ実施の方法。
2. 【請求項２】 前記機械コードを実行するステップを更
   に備える請求項１に記載のコンピュータ実施の方法。
3. 【請求項３】 前記ソースコードの最終内部表現を作成
   するステップが、前記例外を、前記ソースコードに関連
   する制御フローの一部として処理するこを含む請求項１
   又は２の何れか１項に記載のコンピュータ実施の方法。
4. 【請求項４】 前記ソースコードの最終内部表現を作成
   するステップが、前記例外チェック処理を最適化するこ
   とを更に含む請求項３に記載のコンピュータ実施の方
   法。
5. 【請求項５】 前記ソースコードを書き込むステップを
   更に備え、前記ソースコードを書き込むステップが、前
   記例外チェックに関する命令を明示的に指定する前記コ
   ードセグメントを書き込むことを含む前記請求項の何れ
   かに記載のコンピュータ実施の方法。
6. 【請求項６】 前記最終内部表現を作成するステップ
   が、前記例外チェック関連の機能を呼び出し、前記例外
   関連機能の呼出しに応じ、前記例外チェック関連のオブ
   ジェクトを作成することを含む請求項１〜５の何れか１
   項に記載のコンピュータ実施の方法。
7. 【請求項７】 前記最終内部表現を作成するステップ
   が、前記例外チェック関連のオブジェクトを破棄するこ
   とを更に含む請求項６に記載のコンピュータ実施の方
   法。
8. 【請求項８】 前記例外チェックが、ヌルポインタチェ
   ック、又は範囲チェックのどちらかである請求項１〜７
   の何れか１項に記載のコンピュータ実施の方法。
9. 【請求項９】 例外処理用コンピュータシステムにおい
   て、プロセッサと、 例外チェックに関する命令を明示的に指定するコードセ
   グメントを生成するソースコードジェネレータと、 少なくとも部分的に前記例外チェック関連の呼出しを削
   除することにより、ソースコードの最終内部表現を作成
   する最適化装置と、 前記最終内部表現を使用する、機械コードを生成する機
   械コードジェネレータとを備えるコンピュータシステ
   ム。
10. 【請求項１０】 前記最適化装置が、前記例外を、前記
    ソースコード関連の制御フローの一部として更に処理す
    る請求項９に記載のコンピュータシステム。
11. 【請求項１１】 前記最適化装置が、更に前記例外チェ
    ック関連の機能を呼び出し、前記例外チェック関連の機
    能呼出しに応じ、前記例外チェック関連のオブジェクト
    を作成する請求項９又は１０の何れか１項に記載のコン
    ピュータシステム。
12. 【請求項１２】 前記最適化装置が、更に前記例外チェ
    ック関連のオブジェクトを破棄する請求項９〜１１の何
    れか１項に記載のコンピュータシステム。
13. 【請求項１３】 オブジェクトベースシステムにおける
    例外を処理するためのコンピュータプログラム製品にお
    いて、 例外チェックに関する命令を明示的に指定するコードセ
    グメントを含むソースコードを得るためのコンピュータ
    コードと、 前記例外チェック関連の呼出しを削除するためのコンピ
    ュータコードを含む前記ソースコードの最終内部表現を
    作成するためのコンピュータコードと、 前記最終内部表現を使用し機械コードを生成するための
    コンピュータコードと、前記コンピュータコードを記憶
    するコンピュータ読出し可能媒体を備えるコンピュータ
    プログラム製品。
14. 【請求項１４】 前記コンピュータ読出し可能媒体が、
    搬送波、ＣＤ−ＲＯＭ、ハードディスク、フロッピー
    （登録商標）ディスク、テープドライブ、フラッシュメ
    モリ内のデータ信号よりなるグループから選択される請
    求項１３に記載のコンピュータプログラム製品。
15. 【請求項１５】 例外関連の複数のコード部を含むソー
    スコードの表現を作成するためのコンピュータ実施の方
    法において、 前記複数のコード部から選択された第１コード部が、前
    記複数のコード部から選択された第２コード部内に収容
    される前記例外関連の複数のコード部を含む前記ソース
    コードを得るステップと、 前記第１コード部が、前記第２コード部に対して冗長か
    どうか判定するステップと、 前記第１コード部が、前記第２コード部に対して冗長で
    あることが判定されると、前記第１コード部を、前記第
    ２コード部から削除することを含む前記ソースコードを
    内部表現に変換するステップとを備えるコンピュータ実
    施の方法。
16. 【請求項１６】 前記内部表現を機械コードに変換する
    ステップを更に備える請求項１５に記載のコンピュータ
    実施の方法。
17. 【請求項１７】 各前記第１、第２コード部が、特定例
    外を投入すべきかどうかの判定を含み、前記特定例外を
    投入すべきでない場合、前記第１コード部が前記第２コ
    ード部に対して冗長かどうかの判定に、前記第１コード
    部が、いつ前記ソースコードと関連するプログラム制御
    フローにより到達されるかの判定が含まれる請求項１５
    又は１６の何れか１項に記載のコンピュータ実施の方
    法。
18. 【請求項１８】 前記特定例外を投入すべきでない場
    合、前記ソースコード関連のプログラム制御フローが前
    記第１コード部に到達すると判定されると、前記第１コ
    ード部が、前記第２コード部に対して冗長であることが
    判定される請求項１７に記載のコンピュータ実施の方
    法。