JPH03184123A - デジタルデータプロセッサのための手続き状態記述子システム - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 産業上の利用分野 本発明は一般にデジタルデータ処理システムの分野、さ
らに言えば、デジタルデータ処理システムによって実行
されている手続きの、正確な実行状態の表示を与えるシ
ステムに関する。

発明の背景 デジタルデータ処理システムは、基本的に、中央処理装
置、メモリ、それに入出力装置の３つの要素から成る。

中央処理装置は、時にはアプリケーションプロセスと呼
ばれる、プログラム中に存在する命令のセットに従って
、そこへと与えられたデータを操作する。メモリは、デ
ータ、プログラム命令、中間データ、それとシステムを
オペレイトするために要求されるシステム状態情報、及
びデータ操作を行った後に得られた最後の出力結果を記
憶するために用いられる。情報の各々の要素、命令、デ
ータ及び状態情報は、メモリの特定の所定アドレス内に
記憶される。入出力装置は、データ及びプログラム命令
をシステム内に入力させたり、そこから出力状態メツセ
ージやデータ操作の最後の出力を受信するための手段を
与える。

デジタルデータ処理システムが動作している時、中央処
理装置は、検索、あるいはフエツチング、メモリからの
情報、情報が命令かあるいはデータであるかという判断
、命令に従ってツェナされたデータの操作、それにデー
タ操作の結果のメモリ内への記憶によって動作を行う。

デジタルデータ処理システム上で実行するプログラムは
どんなものであっても、−船釣には手続きと呼ばれる多
数の小さなエンティティから作られており、それら各々
は特定のタスクを達成するよう設計されており、そして
中央処理装置実行可能命令のセットから成り立っている
。幾つかの手続きはユーザに供給されたソースコード内
に包含されている高レベル命令に基づいている。例えば
２つの数を足し合わせるためのユーザドラフト（ｕｓｅ
ｒ−ｄｒａｆｔｅｄ）命令は、選択されたメモリアドレ
スロケーションから数を検索し、それらの数を足し合わ
せ、そしてそれらの数の和をメモリアドレスロケーショ
ンに記憶するといった命令を含んだ、中央処理装置実行
可能手続きに変換される。

また他の中央処理装置実行可能手続きは、デジタルデー
タ処理システムのためのハウスキーピングフンクション
（ｈｏｕｓｅｋｅｅｐｉｎｇ　ｆｕｎｃｔｉｏｎｓ）を
実行する。例えば、ある手続きはデータ命令を入出力デ
バイ２からメモリロケーション内にロードし、また他の
手続きは入出力デバイスにメモリロケーション内に記憶
された情報を提供してくれるのである。ハウスキーピン
グ手続きは一般的に、オペレーティングシステムの一部
であり、アプリケーション処理の実行をデジタルデータ
処理システムによって制御するように設計されている。

一般にデジタルデータ処理システム上で実行している手
続きは、システム上で実行する他の手続きをインボウク
（ｉｎｖｏｋｉｎｇ）　したリコールしたりするための
容量を持っている。他の手続きへのコールは、実行して
いる手続きの一部である他の手続きの実行を開始するた
めに、その手続きの実行中に発生するものである。更に
、実行中の手続きは、もしコール中の手続きが、そのコ
ールされた手続きによって実行されるよう設計されてい
る特定のサブタスクが実行されることを望んでいれば、
それを実行するために他の手続きをコールすることも出
来るのである。このように、実際に実行しているデジタ
ルデータ処理システム上の処理は、システムによる多数
の個々の手続きの選択的、そして時には反復的な実行と
してみることが出来るのである。

デジタルデータ処理システムの動作中、現在システム上
で実行している手続きが解決するよう設計されていない
ようなイベントが起こるかもしれない。これらのイベン
トは、イクセプション（ｅｘｃｅｐｔｉｏｎｓ）と呼ば
れ、システム上で実行している処理の外部あるいは内部
のどちらでも可能である。外部イクセプションの例には
、入出力装置の故障、あるいは処理の進行を故意に止め
るためにコマンドを入力するといったシステムのユーザ
の場合もある。内部イクセプションは、実行中の手続き
の実行を崩壊させる、特定の命令の実行の結果として起
こるものである。内部イクセプションの例としては、数
を零で割り算するといった手続き上の命令がある。

多くのデータ処理システムのオペレーティングシステム
には、イクセプションサービスが提供されており、それ
は、デジタルデータ処理システムの動作中に起こりうる
イクセプションを解決するために設計されている手続き
である。イクセプションサービスは、多数の手続きから
成るものであり、それは、実行するための他の手続きを
インボウクすることによりイクセプションに応答するも
ので、イクセブションハンドラーとして知られており、
イクセプションを解決するために設計されている。イク
セプションが起きた時に実行中の手続きの特色、特定の
イクセプションの性質に従って、イクセプションサービ
スはイクセプションノ＼ンドラーあるいはイクセブショ
ンノ＼ンドラーのセットをインボウクすることが出来、
それは、イクセプションを治癒しようとし、イクセプシ
ョンを無視し、システムで実行している現在のプロセス
を、割り込みした手続きを直接的にまたは間接的にコー
ルした停止手続きに回復させることによって「元に戻し
」、そこでイクセプションは解決され、あるいはそれら
のアクションの組合せを受ける。

１つの手続きが他の手続きを実行するためにインボウク
している間にイクセプションが起こると、デジタルデー
タ処理システム内に問題が起こる。

幾つかのデジタルデータ処理システムには、手続きイン
ボケイションプロセスの間に、ある期間が存在する。そ
の期間、イクセプションサービスは、そのイクセプショ
ンがコール中の手続きの実行中に起こったものであって
もあるいはコールされた手続きの実行中に起こったもの
であっても、それを正確に達成することは不可能なので
ある。その結果、イクセプションサービスはコレクトイ
クセプションハンドラーをインボウクするのに失敗して
しまうかもしれないのである。このようなことは、イク
セプションサービスがインコレクトイクセプションハン
ドラーをインボウクした時にも、あるいは不正確な情報
を持つコレクトイクセプションハンドラーをインボウク
した時にもそのいづれにおいても起こり得る。さらに言
えば、もしイクセブションサービスが、イクセプション
が起きたときに実行中の特定の手続きを即座に判断でき
なければ、イクセプションサービスは実行中の手続きに
関連したデータ及び命令を正確にセーブすることが出来
ないかもしれないのである。

発明の概要 本発明はデータ処理システムの実行状態の検出方法にと
って新しくかつ有用なシステムを提供することにある。

本発明の第１の特徴は、システム上での実行のためにイ
ンボウクされあるいはコールされている処理中の手続き
の実行状態を判断するための容量にある。例えば、手続
き状態記述子システムは、コールされた手続きが、次の
ような状態にあることを示している状態レポートを提供
してくれる。つまり、インボケイションの状態の初めあ
るいは前であること、システムにより実行中であること
、あるいは、コールされた手続きが実行されそしてシス
テムがコール中の手続きへのリターン制御の処理中にあ
る、リターン、あるいはリストレイジョン状態であるこ
とといったことである。手続き状態記述子システムはこ
のように、イクセプションサービスに対して、イクセプ
ションサービスが適当なハンドラーをインボウクするこ
とが出来るよう、システムにより実行されている手続き
のインボケイション状態の表示を、どんな場合であって
も提供してくれるのである。

本発明の手続き状態記述子システムは、イクセプション
が起きたときに手続き状態レポートを作す出スための、
２つのコンプリメンタリな処理に頼っている。第１の処
理はフレーム記述子発生処理であり、好ましくは編集処
理の一部であり、それはシステムによって実行中の個々
の手続きのためのフレーム記述子を作り出すものである
。各々のフレーム記述子には、手続きの実行の特定のポ
イントを表示するオフセット値が含まれている。

実行のこれらの特定のポイントは、手続きの実行の異な
る状態間における境界を決定する。

第２の処理はイクセブションサービスの一部として実行
する手続き状態分析処理である。イクセブションが起こ
った時は常に、手続き状態分析処理は、イクセプション
が起こったときに実行中であった手続きのフレーム記述
子のためのフレーム記述子オフセット値を、中央処理装
置が手続きを実行した範囲を決定するための中央処理装
置からの状態情報と、比較するのである。さらに詳しく
言えば、手続き状態分析処理は、実行されるべき次の命
令のアドレス、あるいは値と、フレーム記述子オフセッ
ト値とを、どの命令が実行中であるのかを判断するため
に比較するのである。オフセット値により表された特定
の命令が実行されたかどうかの表示は、手続きの実行の
状態を表示するものである。このように手続き状態分析
処理は、手続きの実行が、相異なる実行状態間の境界を
越えてしまっているかどうか、つまりそれは、手続きの
インボケイション状態を判断することになるのである。

手続き状態分析処理はまた、中央処理装置によって実行
されるべき次の手続き命令を再調査したりもする。もし
次の命令が特定のタイプの命令であれば、手続き状態分
析処理はその後も他の手続きインボケイション状態決定
を行うことが出来る。

例えば、もし実行されるべき次の手続き命令が、コール
された手続きを回復するための回復シーケンス命令であ
れば、手続き状態分析処理は、イクセブションが起きた
ときに実行中の手続きは回復状態であったかどうかの判
断をすることが出来るのである。手続きのインボケイシ
ョン状態に従って、手続き状態分析プロセスはその後イ
クセプションサービスに対して適当な状態レポートメツ
セージを発生するのである。

手続き状態記述子システムは、イクセプションが起きた
ときは常に、デジタルデータ処理システムによって実行
されている手続きの実行状態のプロンプト表示を与える
。手続き状態記述子システムはこのように、コールされ
た手続きの範囲の表示を持つイクセプションサービスを
与えてくれるのである。この表示を用いて、イクセプシ
ョンサ−ビスは適当な応答動作をとることが出来る。こ
のことは、イクセプションに応答するデジタルデータ処
理システムの全体的なスピードを増加させてくれる。な
ぜなら、インボケイションプロセスが解決されんとして
いる間に発生したイクセプションの前に、完全にインボ
ウクされるように、システム上で実行している手続きを
待つといった遅延がないからである。システムのスピー
ドもまた手続きの実行において増加させられる、なぜな
ら、コール中及び回復手続きの間にイクセプションを無
能にしたり再可能にしたりするために、余計な命令やハ
ードウェアサポートを設ける必要がなくなるからである
。さらに言えば、本発明は、遅延させられたイクセプシ
ョン処理が、データ処理システムの故障を引き起こしか
ねないプロセス命令やデータのロスを引き起こしてしま
う可能性を、本質的に取り除いているものなのである。

実施例 第１図はデジタルデータ処理システムＩＯの部分を示し
ており、そこでは本発明に従って構成された手続き状態
記述子システム１２を構成するプロセスが実行されてい
る。デジタルデータ処理システム１０は中央処理装置１
４を含んでおり、そこでは、そこで実行されるべき中央
処理装置実行可能命令及びデータ１８のセットを備えて
いるアプリケーションプロセス１６が実行されている。

メモリ装置２０は、プロセス命令及びデータ１８、それ
にプロセス１６のランニングからの中間及び最後の出力
結果を一時的にあるいは永久的に記憶するために提供さ
れている。メモリ２０内の個々の命令及びデータ１８の
アイテムは、特定の個々のメモリアドレスロケーション
内に書き込まれたり、その後読み出されたりする。第１
図には示されていないものとして、命令及びデータをデ
ジタルデータ処理システム１０内にロードしたり、状態
レポートや出力結果をそこから受は取るために設計され
ている入出力装置がある。アドレス及びデータバス２２
は、中央処理装置１４、メモリ装置２０それにそこへ接
続されている入出力装置間の通信リンクの必要性から設
けられている。

デジタルデータ処理システムＩＯが動作中の時は、中央
処理装置１４はメモリ２０からの情報にアクセス、ある
いはフェッチし、情報が命令かデータ１８かを判断し、
そしてデータ１８を命令に従って選択的に操作する。図
示した装置では、中央処理装置１４は、中央処理装置１
４によって丁度処理されようとしているあるいは処理さ
れた情報のために一時的な記憶ロケーションとして供給
されている、汎用レジスタのセットを含んでいる。中央
処理装置１４はまた、プログラムカウンタ２６として呼
ばれる一時記憶レジスタを含んでおり、それはフェッチ
されるべき次期中央処理装置実行可能命令のメモリアド
レスを有している。ある中央処理装置１４においてプロ
グラムカウンタ２６は、汎用レジスタから選択されたも
のであるということもあり得る。

アプリケーションプロセス１６の命令部分は、初めはユ
ーザドラフトソースコードファイル２８の形態をしてい
る。ソースコードレベルでは、それらの命令はＦＯＲＴ
ＲＡＮ　５ＰＡＳＣＡＬ、あるいはそれに似たような高
レベルコンピュータ言語の形態をしている。プロセス１
６の実行をロードする前に、システムはソースコードフ
ァイル２８を中央処理装置１４により実行可能な命令の
セットに変換する。第１図において、ソースコードファ
イル２８のこの変換はコンパイラ３０によって成される
。命令のセットはメモリ２０内に読み込まれそして第１
図内で、それら各々が特定のタスクを成し遂げるために
設計されている手続き３２．３４、それに３６として認
識される。

この後、より詳細に述べるように、コンパイラ３０は、
各々の手続き３２．３４．３６ごとに手続き記述子４０
．４２、あるいは４４を発生することにより、本発明を
サポートしそして本発明に寄与するのである。とりわけ
、第１図に示された装置においては手続き記述子４０は
、手続き３２の属性を記述し、手続き記述子４２は手続
き３４の属性を記述し、そして手続き記述子４４は手続
き３６の属性を記述する。また第１図に示すように、手
続き３２．３４、それに３６、手続き記述子４０．４２
、それに４４、そして手続き形態に従って操作されるべ
きデータ１８は、中央処理装置１４によって全体が処理
される、イメージ４６を形成する。

手続き３２内のコール命令によって示されるように、手
続き内のどのポイントにおいても中央処理装置１４は、
他の手続き、例えば手続き３４の、実行をインボウクし
たり始めたりするよう、命令されることが可能である。

手続き３２は、コールされた手続き３２が実行すべきも
のとして設計されている計算あるいはデータ処理を、コ
ール中の手続き３２が要求した時は、それを実行するた
めに他の手続きをコールしたりインボウクしたりするの
である。

コール命令４８は、所定の手続き３２．３４、あるいは
３６のいづれにおいても、またその中間あるいはその最
後においても現れることが可能なのである。

手続き３２．３４、あるいは３６のうちの１つが、１つ
またはそれより多い手続きをコールすることも出来るし
、同じ手続きを２度以上呼ぶことも出来るし、そしであ
る状況においては再帰的プロセスを通じてそれ自身をコ
ールすることも出来るのである。

第１図を参照するとオペレーティングシステム５０が示
されており、それはデジタルデータ処理システムｌＯ上
のイメージのランニングを制御するサービスのセットと
なっている。５２の線により示されるように、オペレー
ティングシステム５０によって与えられた関数には、手
続き３２．３４、それに３６及びフレーム記述子４０．
４２、それに４４のメモリ２０内へのロード、データ１
８の入力デバイスからメモリ２０内へのロード、それに
システム１０から出力デバイスへの情報の読み出しが含
まれる。

オペレーティングシステム５０はまた、デジタルデータ
処理システム１０の動作中に発生するイクセプションに
応答するためのプロセスである、イクセプションサービ
ス５４を含んでいる。イクセプションは、実行されてい
る手続きが解決するようには設計されていないイベント
であり、そしてそのようなイベントはアプリケーション
プロセス１６のランニングに関連されているものである
かもしれないしあるいは関連されていないものであるか
もしれない。アプリケーションプロセス１６に関連の無
いイクセプションは入出力デバイスのフイイラーであり
うる。アプリケーションプロセス１６のランニングに関
連したイクセプションの例としては、０で割り算しよう
としたような場合、あるいは手続きが中央処理装置１４
にデータ１８あるいは他の手続き３２．３４、あるいは
３６の両方にアクセスするよう命令したような時に誤っ
たメモリアドレスが現れたといったようなものが挙げら
れる。

従来技術として知られているように、イクセブションサ
ービス５４のようなイクセプションサービスは、システ
ムｌＯにより実行されている現在の手続きをセーブし、
そしてイクセプションを解決するために適当なイクセプ
ションハンドラー（図示されていない）をインボウクす
ることにより、イクセブションに応答している。これも
また従来技術として知られているように、イクセプショ
ンンハンドラーというのは、例えば、中央処理装置１４
にイクセプションを完全に矯正するよう段階を取ること
を指示し、中央処理装置にイクセブションを無視するよ
うに命令し、手続き３２．３４、それに３６を、割り込
みした手続きを直接的にあるいは間接的にコールした停
止手続きに戻し、そうしてイクセプションは解決され、
あるいはそれらの段階の色々な組合せを受けることによ
って、特定のイクセプションを解決するよう設計されて
いる手続きである。

第１図のメモリ２０内にはスタック５６も含まれている
が、これは手続き３２．３４、あるいは３６の実行の間
に使用されたデータを一時的に記憶するものである。ス
タック５６もまた情報を記憶するために使用される。他
の手続きによってコールされあるいはインボウクされた
手続きを実行している間、コールされた手続きそれにコ
ール中の手続きの両方に関連している情報は、別々のコ
ールフレーム５８及び６０内に記憶される。コールフレ
ーム５８および６０の各々は、図示されているようにス
タック５６内に部分的に記憶されることも可能だし、図
示されていないシステムの他の部分に記憶されることも
可能である。例えば、手続き３４が、手続き３２内のコ
ール命令４８に応答してシステム１０によって実行され
ている時は、コールフレーム５８は手続キ３２の実行に
関連した情報を含んでいる。コールフレーム６０は手続
き３４の実行に関係している情報を含んでいる。

コールフレーム５８及び６０は、固定サイズを持つこと
が可能であり、それは手続き３２．３４、及び３６内に
生じたソースコードのコンパイルの間に決定される。ま
た、コールフレーム５８及び６０は、手続きが実行され
るまでは決定されない「可変ｊサイズにすることも可能
である。中央処理装置１４は、スタックポインタ６２を
して認識された一時レジスタを含んでおり、そのポイン
タは、手続き３２．３４、あるいは３６の実行の間にス
タック５６上に配置された最後のアイテムのアドレスを
含んでいる。中央処理装置１４はまた、フレームポイン
タ６４と呼ばれる一時記憶を備えており、そのポインタ
は、スタック５６に配置された最後のコールフレーム５
８あるいは６０のアドレスを含んでいる。ある中央処理
装置１４において、スタックポインタ６２それにフレー
ムポインタ６４は、特定の汎用レジスタ２４となってい
る。

メモリ内にロードされた時、手続き３２．３４、それに
３６は各々、手続き３４のために第３図に示すような特
定の形態をしている。データアイテムの各々の命令は、
手続き３４の部分を形成しており、メモリ２０内の特定
のアドレスロケーションに記憶される。さらに命令及び
データアイテムは、第１図の中央処理装置１４によって
逐次的にフェッチされた順番で配列されている。第３図
に示すように、個々の手続き３４は、コーラーコンテク
ストセーブブロック（ａ　ｃａｌｌｅｒ’ｓ　ｃｏｎｔ
ｅｘｔ　５ａｖｅ　ｂｌｏｃｋ）がその後に続くエント
リプロローグ６８から成る手続きプロローグ６６を含む
。

エントリプロローグ６８は、手続き３４がコール命令４
８に応答して初めてインボウクされた時に実行される命
令のブロックである。エントリプロローグ６８にはスタ
ックポインタ命令７２が含まれている。

一般に、手続き３４のような手続きが実行のためにコー
ルされた時は、スタック５６内に情報を記憶するために
スペースが要求される。要求されたスペースが手続き３
４のインボケイションの間に割り当てられるとスタック
ポインタ命令７２はスタックポインタ６２（第１図）を
手続き３４のために要求されたスタックスペースを提供
する値にリセットする。

コーラーコンテクストセーブブロック７０は、エントリ
プロローグ６８の後に実行される命令のブロックである
。コーラーコンテクストセーブブロック７０は例えば、
１セットの命令を含み、この命令によって選択された汎
用レジスタ２４の内容が手続き３４の実行の前にセーブ
されて、上記レジスタには新しい値が書き込まれるので
ある。可変サイズのフレーム５８及び６０を有する手続
きのためのコーラーコンテクストセーブブロック７０の
最後は、フレームポインタ命令７３である。フレームポ
インタ命令７３は、フレームポインタ６４がコールされ
た手続き３４のためのコールフレームのアドレスにリセ
ットされるようにする。

手続きプロローグ６６の後には命令ブロックがあり、そ
れはデータ処理システム１０による手続き３４の実行を
引き起こすであろう、実行可能な命令のシーケンスを含
んでいる。第３図の手続き３４において、最後の命令の
セットはリストレイションシーケンス命令７６であり、
それは中央処理装置１４に対して手続き（考えられる例
として手続き３２）の実行に戻るように命令するのであ
る。第３図において、図示されたリストレイションシー
ケンス命令７６は、リストアフレームポインタ命令７７
を含み、この命令は、手続き３４をコールした手続き３
２のコールフレームアドレスをリストアする。リストア
フレームポインタ命令７７に続いて、リストアスタック
ポインタ命令７８があり、それはコール中の手続き３２
のスタックポインタアドレスがスタックポインタ６２内
にロードされるようにするものである。

リストアスタックポインタ命令７８に続いてリターン命
令８０があり、それは中央処理装置をコール中の手続き
３２にリターンさせるものである。あるデジタルデータ
処理システムＩＯにおいては、リターン命令８０が、リ
ストアスタックポインタ命令７８を絶対的に含まれるで
あろう。第３図において、リストレイションシーケンス
命令の単一のセット７６は手続き３４の最後に示されて
いる。他の手続き３２あるいは３６には、手続き３２あ
るいは３６のために命令ブロック７４中に渡って配置さ
れている、他のリストレイシションシーケンス命令７６
が存在するであろう。

システムｌＯによるイメージ４６の処理の間は、手続き
３２のような、どのような手続きでも、他の手続き３４
をインボウクするコール命令４８の実行を要求すること
が出来る。イクセプションが起こると、本発明の手続き
状態分析処理（第１図の１２）は、イクセプションサー
ビス５４に、コールされた手続きのインボケイション状
態レポートを与え、それは、イクセプションサービスに
よりコールされた手続き３４の実行の間に起こったイク
セプションが、コールされた手続き３４の間に起きたも
のとして処理されるべきか、あるいはコール中の手続き
３２の間に起きたものとして処理されるべきかを判断す
るために使用される。

現在本発明で行われているより好ましい実施例において
、どの手続きがイクセプションと関連されるべきである
かという問題は、４つのインボケイション状態に基づい
て判断されるものであり、そのインボケイション状態は
、実行の時に特定の手続き３２．３４、あるいは３６が
起こりうるであろう。

４つの可能なインボケイション状態とは、第１状態；ス
タックポインタ６２が変更されない、つまりエントリプ
ロローグ６８の実行がいまだ完成していない。

第２状態；エントリプロローグ６８の実行は完成された
が命令ブロック７４の実行は開始していない。

第３状態；手続きプロローグ６６の実行は完成され且つ
システム１０が命令ブロック７４命令を実行する準備を
し、あるいはそのプロセスにある（リストレイションシ
ーケンス７６の実行は始まっていない）そして、 第４状態；命令ブロック７４内に含まれる命令の実行が
完成しそしてシステム１０はプロセス中にあり、コール
中の手続き３２の実行をするためにリターンする。

第１、第２、第４手続きインボケイション状態は、イク
セプションサービス５４によって、コールされた手続き
が実行されていない（あるいはすでに実行されてしまっ
ている）−時の状態として見なされる。このように、こ
れらの状態の間に起きたイクセブションは、コール中の
手続き３２を参照して解決される。手続きインボケイシ
ョン状態プロセスの第３状態の間にイクセプションが起
こると、コールされた手続き３４が実際に準備され、あ
るいは中央処理装置１４によって実行される。故にイク
セプションサービス５４は、コールされた手続き３４に
関しては、インボケイションプロセスの第３状態の間に
起きたイクセプションを解決する。

手続き状態記述子システム１２は、ブロック８２により
表された手続き記述子発生プロセス（第１図に示されて
いる）及びコールされた手続き３４の実行の状態を決定
するための手続き状態分析プロセス（ブロック８４によ
り表されている）によるものである。手続き記述子発生
プロセス８２は、手続き３２．３４、それに３６それぞ
れにフレーム記述子４０．４２．４４を作り出す。イク
セプションが起こると、手続き状態分析プロセス８４は
、コールされた手続き３２．３４、あるいは３６のどの
実行の状態かを判断するため、中央処理装置１４からの
情報とともにフレーム記述子４０．４２、あるいは４４
内の情報を用いる。

手続き状態記述子システム１２は第１図において別個の
エントリの形態をしているが、図示するためであること
を理解して頂きたい。また本発明はより好ましくは、デ
ータ処理システム１０により実行されるプロセスに関連
して実行されるプロセスとして実施される。現在の本発
明の実施において、手続き記述子発生プロセス８２は、
コンパイラ３０のコンパイルの開に実行される。あるい
はまた、フレーム記述子の発生プロセスは、手続き３２
．３４、あるいは３６を発生するのに応答可能な他のど
のプロセスによっても実行されることが出来る。例えば
、プロセス記述子発生プロセス８２は、アセンブラ、図
示されていないが、によって、あるいはアプリケーショ
ンプロセス１６の部分であるランクイムコード発生手続
き、図示されてはいないが、によって、実行されること
もできる。ランタイムコード発生手続きは、手続き３２
．３４、それに３６を発生するため、それに後の中央処
理装置１４による実行のために同一のものをメモリ１８
あるいはスタック５６内に記憶するために使用されるこ
とが可能である。第１図に矢印８８によって示しである
ように、手続き状態分析ブロック８４により表された分
析プロセスは好ましくはイクセプションサービス５４の
部分として、オペレーティングシステム５０によって成
し遂げられる。

本発明に従った手続き状態記述子システムの働きは、第
１図と似た、本発明を別個のモジュールとして示してい
る第２図を参照することによって、よりよく理解するこ
とが出来るであろう。矢印８７によって示されるように
、コンパイラ３０が中央処理装置１４実行可能手続き３
２．３４、及び３６を発生した時、それはまたフレーム
記述子ジェネレータ８２よって表示されたプロセスを実
行する。前に述べたように、このプロセスは手続き３２
．３４、それに３６のためにフ゛レーム記述子４０．４
２、それに４４を発生する（第２図の矢印８９により示
されている）。

第４図には手続き３４のための記述子４２の配列が表さ
れており、第１図それに第２図の個々の手続き記述子４
０．４２、それに４４の典型的なものである。

第４図に示すように、手続き記述子４２は、多数の手続
き記述子フィールド９０ａ　、　ｂ　、　ｃ、・・・　
ｎを含んでおり、それら各々は関連した手続き３２．３
４、あるいは３６それぞれの幾つかの様相を記述する情
報を含んでいる。

図示した手続き記述子において、第１の記述子フィール
ドは手続きタイプフィールド９０ａであり、それは関連
した手続きのために発生されるであろうコールフレーム
（例えば第１図のコールフレーム５８それに６０）が固
定サイズか可変サイズかどうかの表示を含んでいる。手
続きタイプフィールド９０ａに続いてスタックポインタ
オフセットフィールド９０ｂがあり、それはメモリ２０
内の手続き３２．３４、あるいは３６の開始アドレスに
関連したスタックポインタ命令７２のオフセットロケー
ションを含んでいる。次の手続き記述フィールドはエン
トリレングスフィールド９０ｃであり、それは命令ブロ
ック７４内の第１の命令のためのアドレスロケーション
のオフセット値（手続き３４の開始アドレスに関連して
いる）を含んでいる。手続き記述子エントリレングスフ
ィールド９０ｃはまた、もし手続きプロローグ６６が何
も手続き記述子３２内に含まれていなければフラグ値（
−船釣には（１０（１０（１０（１０）にセットされる
であろう。手続きプロローグ６６が無い時は、手続き記
述子スタックポインタオフセットフィールド９０ｂ　も
またｏｏｏｏｏｏｏｏにセットされる。

手続きフィールド９０ａ　、　ｂ　、それにＣに加え、
手続き記述子４０．４２．４４は、付加的な手続き記述
子フィールドを含むことが出来る（第４図のフィールド
９０ｄ　、　ｆ　、　ｇ、、、、ｎ）。これらの付加的
な手続き記述子フィールドは、手続き３２．３４、それ
に３６の実行の制御に有用な他の環境情報のために使用
されることが可能である。ある付加的なフィールドの１
つは、コールされた手続き３２へのリターンアドレスを
含む汎用レジスタの認識を備えている、手続き記述子通
過アドレスフィールド９０ｄとすることが可能である。

ここで、リターンアドレスというのはコール命令４８の
後の次期命令のアドレスのことである。手続き記述子記
憶アドレスフィールド９０ｅを含むことも出来る。記憶
アドレスフィールドは、手続き３４のためにコールフレ
ーム５８内にロケーションを備えており、それは上で述
べた汎用レジスタのようにコールされた手続き３２への
リターンアドレスを含んでいる。他の環境情報を含むこ
とも可能である。それは例えば、汎用レジスタ２４の特
定のレジスタがセーブされるべきかあるいはオーバーラ
イドされるべきかを示すレジスタマスク、手続き３８の
サイズ、イクセブションが関連した手続きの実行の間に
発生したときに、インボウクされるべきイクセプション
ハンドラーの認識、それに、手続きがエントリポイント
手続きなのかあるいはノーエントリポイント手続きなの
かどうかを示すプロローグフラグフィールドである。

当業者にとって、手続き記述子４０．４２、それに４４
がシステムコンパイラプロセスの間に容易に形づくられ
るということは明らかなことであろう。

例えば、コンパイルの間に、手続き３２．３４、あるい
は３６が手続きプロローグを含んでいるかどうかが判断
されることが可能である。もし手続き３２．３４、ある
いは３６が手続きプロローグ６６を含んでいなければ、
命令手続き記述子スタックポインタオフセット及び手続
き記述子エントリレングスフィールド９０ｂ及び９０ｃ
は手続きプロローグが無いということを示すフラグ値に
セットされる。もし手続き３２．３４、あるいは３６が
手続きプロローグ６６を含んでいれば、手続きのスター
トからスタックポインタ命令７２までの間に含まれるべ
き命令の数が決定される。この値はその後、手続き３４
のために記述子スタックポインタオフセットフィールド
９０ｂに記憶される。手続き記述子エントリレングスフ
ィールド９０ｃ内に満たされるべき値はその後、手続き
のスタートから命令ブロック７４の命令の第１のナンバ
ーまでの命令をカウントすることによって決定される。

手続き記述子発生プロセス８２は、特定の手続きと協働
されるべきコールフレーム５８あるいは６０が、固定サ
イズなのかあるいは可変サイズなのかということを定め
る。これは、手続き３４がスタック上に記憶している全
てのデータが固定サイズかどうかを判断することによっ
て行われる。プロセス８２はその後、適当なタイプの値
を、そのフィールドが手続き３２．３４、あるいは３６
に協働されているコールフレームのタイプを示すよう、
手続きタイプフィールド９０ａのために発生する。

前に述べたように、アプリケーションプロセス１６がデ
ータ処理システムＩＯ上で実行されている時、オペレー
ティングシステム５０は、アプリケーションプロセス１
６を形成するイメージ４６の部分である手続き３２．３
４、それに３６の実行を制御する。イクセプションサー
ビス５４は、アプリケーションプロセス１６あるいは他
のプロセスが実行中の間に起こるイクセプションに反応
する。イクセプションが起こると、イクセプションサー
ビス５４はまず、システム１０により現在実行されてい
る手続き３２．３４、あるいは３６を、矢印９２により
示されているように（第２図）それから手続きのために
手続き記述子４０．４２、あるいは４４を、矢印９４に
より示されているように、割り当てる。イクセプション
サービス５４はその後、手続き状態分析プロセス８４を
、例えば手続き３６のような、手続きの実行の状態を判
断するためにインボウクする。

手続き状態分析プロセス８４は、例えば手続き３４よう
な特定の手続きのインボケ−ジョン状態を、実行が起き
た時にまさに実行されようとしていた手続きの部分を判
断することによって、判断する。

手続き状態分析プロセス８４は、プログラムカウンタ２
６内のアドレス、それに手続き３４のための手続き記述
子４２内の手続き記述子値に基づいた、状態数値を求め
る。手続き状態分析プロセス８４はまた、矢印１（１０
で表されるように、プロセス８４へのアクセスをもつ、
手続き開始フィールド９８に関する状態数値を求める。

手続き開始フィールド９８は、イクセプションが起きた
ときにシステムＩＯ上で実行されていた手続き３４のメ
モリ２０内にその開始アドレスを含む。手続き開始フィ
ールド９８内のアドレスは、オペレーティングシステム
５０の他の要素によって提供される。

手続き状態分析プロセス８４による状態決定の段階が、
第５図にフローチャートによって示されている。ブロッ
ク１０２によって示されているように、手続き状態分析
プロセス８４は先ず初めに、手続き３４内で実行される
べき次期命令のアドレスを、プログラムカウンタ２６か
ら、そして手続き３４の開始アドレスを、手続き開始フ
ィールド９８、手続き記述子手続きタイプフィールド９
０ａ　、手続き記述子スタックポインタオフセットフィ
ールド９０ｂ　、それに手続き記述子エントリレングス
フィールド９０ｃから読み込む。手続き状態記述子はそ
の後、決定ブロック１０４に示されるように、手続き記
述子エントリレングスフィールド９０ｃが、手続き３４
が手続きプロローグ６６を含んでいないことを示してい
るフラグを含んでいないかどうかを判断する。もし手続
き３４が手続きプロローグ６Ｇを含んでいなければ、手
続き状態分析８４は第３状態から第４状態への決定を行
うために進んでいく。

もし手続き３４が手続きプロローグ６６を含んでいれば
、手続き状態分析８４は以下の計算を行う。

ブロック１０６により示されている、 プログラムカウンタアドレス−手続き開始アドレス この計算はイクセプション割り込みポイント、他の言葉
でいえば、イクセプションが起こった場所での手続き３
４の実行ポイントを作り出す。この計算の結果は、第１
及び第２決定が威されるように、矢印１１０により示さ
れているように手続き状態分析８４がアクセスすること
が出来るイクセプション割り込みポイントフィールド１
０８（第２図）内に記憶される。

手続き状態分析プロセス８４はその後、決定ブロック１
１２により示されるように、手続きインボケイションプ
ロセスの第１の状態にあるのかどうかを判断する。この
判断は、イクセプション割り込みポイントフィールド１
０８からのイクセブション割り込み値と、手続き記述子
スタックポインタオフセットフィールド９０ｂからのス
タックポインタオフセット値とを比較することによって
行われる。

もしイクセプション割り込み値が、スタックポインタオ
フセット値より小さいかあるいはそれと等しければ、プ
ロローグ６８の最後にあるスタックポインタ命令７２は
イクセプションが起きたときには実行されないのである
。別言すれば、イクセプションが起きたときにも、中央
処理装置１４はエントリプロローグ６８を処理し続けて
おり、スタックポインタ６２の内容はまだ変えられてい
ないということである。この場合、手続き状態分析プロ
セス８４はその後、イクセプションサービス５４に対し
て、ブロック１１４により示されるように手続き３４が
・手続きインボケイションプロセスの第１状態にあると
いうレポートを作るのである。

もしイクセプション割り込み値がスタックポインタオフ
セット値より大きければ、手続き状態分析プロセス８４
はその後、決定ブロック１１６により示されるように、
第２状態決定を行うために進む。

イクセプション割り込み値は、手続き状態記述子エント
リレングスフィールド９０ｃからの値によって示される
ような、手続き３４のための命令ブロック７４内の第１
命令のアドレスと比較される。もしイクセプション割り
込み値がエントリレングス値より小さければ、スタック
ポインタ６２が変更された後であって、コーラーコンテ
クストセーブブロック７０によって要求されたデータ及
び命令の読み込みが完全に実行される前にイクセプショ
ンは生じる。可変サイズコールフレーム５８あるいは６
０を有する手続きにおいて、このことは、フレームポイ
ンタ命令７３がフレームポインタ６４をリセットさせる
前に起こったイクセプションが実行される、ということ
を意味する。固定サイズコールフレーム５８あるいは６
０を有する手続きにおいて、このことは、コーラ−コン
チクストのセーブを成しとげる命令の前に起きたイクセ
プションが実行される、ということを意味する。このよ
うにイクセプションは手続きインボケイションプロセス
の第２状態の間に起きるものであり、そしてそれはブロ
ック１１８によって示されるようにイクセプションサー
ビス５４にレポートされるのである。

手続き３４の手続きインボケイションプロセスの第３、
第４状態決定は、手続きプロローグ６６が無いと判断し
た後、あるいは第２状態の決定の後に成されるものであ
る。決定の第１段階は、ブロック１２０により示される
ように、プログラムカウンタ２６内に含まれているアド
レスにある命令を読み出すことである。手続き状態分析
プロセス８４はその後、手続きが第４状態にあるかどう
かを、決定ブロック１２２により示されるように、命令
がリストレイションシーケンス命令７６であるかどうか
を判断することによって、判断する。固定サイズコール
フレーム６０を有する手続きにおいては、もしそれがリ
ターン命令８０ならば、リストレイションシーケンス命
令７６なのである。可変サイズコールフレーム６０を有
する手続きにおいては、もしそれがリターン命令８０が
下に続くリストアスタックポインタ命令７８のシーケン
スの部分ならば、リストレイションシーケンス命令７６
と考えられる。

もし次期命令がリストレイションシーケンス命令７６な
らば、その後システム１０はコールされた手続き３４の
実行を完成させ、そしてイクセプションが起きたときに
コール中のプロセス３２を実行するためリターニングの
プロセスになる。他の言葉で言えば、システム１０は、
イクセプションが起きた時、コールされた手続き３４の
ために手続きインボケイションプロセスの第４の状態に
あるということである。手続き状態分析プロセス８４は
その後、ブロック１２４により示されるように、イクセ
プションサービスに第４のレポートを作るために進む。

もし手続きが第４の状態に無ければ、手続き状態分析プ
ロセス８４はその後、手続き３４が手続きインボケイシ
ョンプロセスの第３の状態にあるのではないかというデ
フォルト決定を行う。手続き状態分析プロセス８４はそ
の後、ブロック１２６により示されるようにイクセプシ
ョンサービス５４に、第３状態レポートを作る。

イクセプションサービス５４は、どのイクセプションハ
ンドラーをイクセプションのためにインボウクすべきか
を判断するため、手続き状態分析プロセス８４からの状
態レボ−）　１１４．１１８．１２４、あるいは１２６
を使用する。手続き状態分析プロセス８４がインボケイ
ションプロセスコール手続き３４の第１、第２、第４状
態の間に起こされたイクセプションをレポートすると、
イクセプションサービス５４は、あたかもコール中の手
続き３２の実行の間に起きたかのようにイクセプション
を処理する。

手続き状態分析プロセス８４がコールされた手続き３４
のインボケイションプロセスの第３状態の間に起こされ
たイクセプションをレポートすると、イクセプションサ
ービス５４は、あたかもコールされた手続き３４の実行
の間に起きたかのようにイクセプションを処理する。イ
クセプションサービス５４はその後、インボウクされる
べき適当なイクセプションハンドラーのアドレスを得る
ため、手続き３４のための手続き記述子４２にアクセス
する。もしイクセプションサービス５４がコール中の手
続き３２の間に起きたものとしてイクセプションを処理
するのが適当であると判断すれば、インボウクされるべ
き適当なイクセプションハンドラーのアドレスを得るた
め、その手続きのための手続き記述子４０がイクセプシ
ョンサービス５４によってアクセスされる。

コールされた手続き３４の実行の、第２状態の間に起こ
されたイクセプションならば、イクセブションサービス
５４は、図示されてはいないが、スタックポインタリス
トレインョン手続きを、スタックポインタ５６の内容が
コール中の手続き３２のための適当なスタックアドレス
を含むように再書き込みされることを確実にするため、
インボウクすることも出来る。このことは、イクセプシ
ョンが解決されている間に保存された命令及びデータの
各々のセットが、イクセプションが起きたときに実行さ
れていた手続き３２に関連している真の命令及びデータ
であるということを保証してくれるのである。

さらに言えば、イクセプションサービスが、コール中の
手続き３２のリターンアドレスを判断することによる特
定の進行は、コールされた手続き３４のインボケイショ
ン状態によるものであるかもしれない。もしイクセプシ
ョンが第１あるいは第２インボケイシヨンの間に起きた
のならば、イクセプションサービス５４は、手続き記述
子通過アドレスフィールド９０ｄ内で認識されている汎
用レジスタ２４の内容を参照することによって、コール
中の手続きのリターンアドレスを判断するであろう。

もしイクセプションが第３あるいは第４インボケイシヨ
ン状態の間に起こったならば、イクセプションサービス
５４は、手続き記述子記憶リターンアドレスフィールド
９０ｇ内で認識されたコールフレーム５８０ケーシヨン
を参照することによって、コール中の手続き３２のリタ
ーンアドレスを判断するであろう。

本発明の手続き状態記述子システム１２は、手続き状態
レポートをいつでも発生することが出来、またそのレポ
ートは、デジタルデータ処理システムｌＯによって実行
されている手続き３２．３４、あるいは３６のうちのど
のインボケイション状態をも記述してくれるものである
。したがって、イクセプションが発生し、特定の手続き
３２．３４あるいは３６が割り込まれなければならない
時に、手続き記述子システム１２は、デジタルデータ処
理システム１０がどこまで実行を行ったかを知ることが
可能となり、それによってイクセプションサービス５４
は、実行されている手続きに関する手続き、あるいは実
行中の手続きをコールした手続きを解決することが出来
る。このように、イクセプションサービス５４は、デジ
タルデータ処理のランニングの間、どのようなイクセプ
ションに対しても即座に応答することが出来るのである
。なぜならイクセプションサービスは手続き３２．３４
、あるいは３６の実行の間、いつでも手続きの実行の状
態伝えることが可能だからである。このことによって、
コールされた特定の手続きが十分にインボウクされ且つ
実行されるまでに起きたイクセプションに応答できない
といった、イクセプションサービス５４に関連したエラ
ーは取り除かれた。さらに言えば、イクセプションの操
作に関連したエラーあるいは遅延が無いために、イクセ
プションサービス５４は、デジタルデータ処理システム
ＩＯによって処理されている現在のデータあるいは命令
を、デジタルデータ処理システ・ム１０から失わせてし
まうといった可能性を、基本的に取り除いたのである。

また、手続き状態記述子システム１２の他の利点は、シ
ステム１２が、手続き３２．３４、それに３６のソース
であったソースコードファイル２８の言語を別個に取り
扱うといったことである。必要なものは、必要な手続き
記述子４０．４２、それに４４を作り出すための手続き
記述子発生プロセス８２だけなのである。手続き３２．
３４、あるいは３６から発生したソースコード言語にも
係わらず、手続き状態分析プロセス８４はその後、イク
プションが起きた時は、手続きの実行の状態を判断する
ために、手続き記述子４０．４２、それに４４にアクセ
スできるのである。

手続き状態記述子システム１２の他の実施例も勿論可能
である。手続きインボケイションの実際の状態や、手続
き状態記述子１２のプロセスをなす段階を、上で述べた
ものとは違ったものにすることの出来る。例えば、手続
き記述子発生８２プロセスは、コンパイラ３０と関連さ
れている必要は無く、例えば、リンカ、ローダあるいは
オペレーティングシステム５０の一部である他のプロセ
スに関連させ、それによって手続き記述子４０．４２、
それに４４はイメージ４６の一部としてメモリ２０内に
形成されそしてロードされることも可能なのである。あ
るいは、手続き記述子ジェネレータ８２を、手続き３２
．３４、それに３６を発生する他のアプリケーションプ
ロセス１６の一部とすることも出来る。手続き状態分析
プロセス８４によって実行される状態決定は全てイクセ
プションサービスによって実行されることは不可能であ
るが、オペレーティングシステム５０の一部であり、ま
たイクセプションサービス５４を含むオペレーティング
システムの他の部分によってアクセスされるものである
別個のプロセスとすることも出来る。

手続きインボケイション状態の間を区別するオフセット
値のロケイションも同様に上で述べたものとは異なるも
のとすることも出来る。例えば、本発明の他の実施例で
は、インボケイションプロセスの少数あるいは多数の状
態を記述するために多少のオフセット値をもつことの出
来るのである。

このように、本発明のある実施例においては、前記した
発明の実行の手続きの第１及び第２状態を単一の状態と
することも出来るのである。本発明の他の実施例におい
ては、選択された汎用レジスタ２２だけが、コールされ
た特定の手続きによって要求された新しい情報と−とも
にロードされるということを示す、付加的な状態を持つ
ことも可能である。

また本発明の他の実施例では、システム１０での実行の
前に形成された特定の手続き３２．３４、それに３６の
構成が、前記したバージョンから変化すると、手続き記
述子フィールド９０及び手続き状態分析８４によりなさ
れた状態決定も同様に変化するといったものとすること
も可能である。リストアフレームポインタ命令７７、リ
ストアスタックポインタ命令７８、あるいはリターン命
令８０の他に、あるいはそれに加えて、他の命令が、手
続きのための実行の第４あるいは最後の状態を示すリス
トレイションシーケンス命令７６の一部になることも可
能である。故に、これら個々の違いを作るため、手続き
記述子ジェネレータ８２により発生された手続き記述子
フィールド、それに手続き状態分析プロセス８２により
実行されたその後のリード及びライト決定段階は、適当
に修正されなくてはならない。

さらに言えば、あるデジタルデータ処理システム１０に
おいては、第３状態から第４状態への決定が必要無いと
いうことも注意すべきである。もしデジタルデータ処理
システムＩＯが、単一のアトミックステップでのコール
中の手続きによって、要求されたスタックポインタ６２
、フレームポインタ６４、それにプログラムカウンタ２
６の値を回復することが出来るのならば、手続きインボ
ケイションプロセスの、リストレイジョン状態、あるい
は第４状態は無くてもよいことになる。これによって第
３状態から第４状態への決定シーケンスを実行する手続
き状態分析プロセス８４を備える必要が取り除かれるこ
とになる。また、手続き状態分析プロセス８４が、固定
サイズのコールフレーム５８を有する手続きのために、
第３状態から第４状態への状態決定シーケンスを行う必
要もなくなる。コールフレーム５８は、スタックポイン
タ６２及びプログラムカウンタ２６だけを単一のアトミ
ックステップでリストアできるシステムｌＯで実行され
る。故に、そのようなデジタルデータ処理システム１０
において、手続き状態分析８４によって実行される分析
は、第３状態から第４状態への決定が、可変サイズコー
ルフレーム６０を備える手続き３２．３４、それに３６
のためだけに実行されるように配列されている。

例えば、第５図に示されたプロセスは、プログラムカウ
ンタブロックＩ２０内のリード命令の前に、点線で示さ
れている固定コールフレーム可変コールフレーム決定ブ
ロック１２８に置き換えることによって修正されること
が出来る。もし手続きが、手続き記述子手続きタイプフ
ィールド９０ａの内容によって示されるような固定コー
ルフレームならば、その時季続きは実行の第３状態に先
天的にあることになり、そして手続き状態分析８４は適
当なレポートを作ることになる。もし手続きが可変サイ
ズコールフレーム５８を持っているならば、その後手続
き状態分析８４は第３状態から第４状態への決定シーケ
ンスを遂行する。

同様に、第５図に関連して述べられているシーケンスを
色々な方法に変形することも出来る。例えば、他の実施
例では、手続き状態分析プロセス８４は単一の状態決定
を行う前に、まず個々のそして全ての状態決定を行うた
めに必要な全てのデータを読み込むかもしれない。本発
明の他の実施例では、手続き状態分析プロセス８４は状
態決定の直前で各々の状態決定に必要なデータを読み込
むことも出来る。さらに、第５図に記述した段階は、同
一の状態決定を行うために異なるシーケンスで実行され
ることも可能である。それ故に、上の記述あるいは添付
した図面に含まれる全ての事項は実例として挙げたもの
でありこれに限定されるということではない。このよう
に、請求項は、本発明の真に意図するところ及び範囲内
にある全ての変調と変形をカバーすることが目的なので
ある。

【図面の簡単な説明】

第１図は、本発明による手続き状態記述子システムを具
体化するために形成され配置されたデジタルデータ処理
システムを、ブロック図形式で示したものである。 第２図は、本発明の手続き記述子処理を分割されたモジ
ュール形式で図示したものである。 第３図は、システムで実行を行うために、本発明のメモ
リデジタルデータ処理システム内にロードされた手続き
の、フォーマットを示したものである。 第４図は、本発明により構成された手続き記述子のフォ
ーマットを示したものである。 第５図は、デジタルデータ処理システムによって実行中
の手続き上で状態分析を実行するために本発明によって
利用可能なシーケンスを示すシーケンス図表、即ちフロ
ーチャートである。

Claims (28)

【特許請求の範囲】
1. （１）デジタルデータ処理システムで使用する手続き状
   態レポーティング方法において、前記方法はデジタルデ
   ータ処理システムによる実行のためにインボウクされた
   手続きのインボケイション状態をレポートするものであ
   り、その手続きは少なくとも２つの可能なインボケイシ
   ョン状態を備えており、前記方法は、 （ａ）手続きの２つのインボケイション状 態間の境界を示す実行のポイントを示す少なくとも１つ
   のオフセット値を備える手続き記述子を個々の手続きの
   ために発生するための、手続き記述子ジェネレータプロ
   セスと、 （ｂ）実行されインボウクされた手続きの 部分を決定し、インボウクされた手続きのインボケイシ
   ョン状態を決定するために、実行されインボウクされた
   手続きの部分を、前記手続き記述子オフセット値の１つ
   と比較し、インボウクされた手続きのインボケイション
   状態をレポートする段階を備える手続き状態分析プロセ
   スとを備えることを特徴とする方法。
2. （２）請求項（１）記載の手続き状態レポーティング方
   法において、インボウクされた手続きは少なくとも３つ
   の可能なインボケイション状態を備え、（ａ）前記手続
   き記述子ジェネレータプロ セスは更に、個々の前記手続き記述子のために、各々の
   オフセット値が手続きの実行のポイントを示しており、
   個々の前記実行のポイントが手続きのインボケイション
   状態間の別々の境界を示している、少なくとも２つの前
   記手続き記述子オフセット値を発生する段階を備え、 （ｂ）前記手続き状態分析プロセスは更に、第１の状態
   決定を行うために、実行されインボウクされた手続きの
   部分を前記手続き記述子オフセット値の１つと比較し、
   そして前記第１状態決定に応答し、第２の状態決定を行
   うために、実行されインボウクされた手続きの部分を前
   記手続き記述子オフセット値の第２の１つと比較する段
   階を備える方法。
3. （３）請求項（２）記載の手続き状態レポーティング方
   法において、個々の手続きはデジタルデータ処理システ
   ム実行可能命令の１セットを備えており、選択された命
   令のセットがシステムによって実行された時、その手続
   きは識別可能なインボケイション状態にあり、そして、 手続き状態分析プロセスは更に、実行されインボウクさ
   れた手続きの前記部分と前記手続き記述子オフセット値
   の１つとの、少なくとも１度の比較の結果に応答し、実
   行されるべき次期命令にアクセスすることによって選択
   的に付加的な状態決定を行い、そして前記次期命令が前
   記選択された命令のセットからのものかどうかを決定す
   る段階を備える方法。
4. （４）請求項（１）記載の手続き状態レポーティング方
   法において、各々の手続きはデジタルデータ処理システ
   ム実行可能命令の１セットを含み、選択された命令のセ
   ットがシステムによって実行可能な時、その手続きは特
   定のインボケイション状態にあり、そして、 その手続き状態分析プロセスは更に、実行されインボウ
   クされた手続きの前記部分と前記手続き記述子オフセッ
   ト値の１つとの少なくとも１度の比較に応答して、実行
   されるべき次期命令に選択的にアクセスし、そして最後
   の状態決定を行うべく、前記次期命令が前記選択された
   命令のセットからのものかどうかを決定するため、前記
   次期命令を再調査する段階を含む方法。
5. （５）請求項（１）記載の手続き状態レポーティング方
   法において、個々の手続きは、アドレス読み書き可能な
   メモリ内に記憶されておりそして手続きの個々の部分は
   、メモリ内のシーケンシャルなアセンディングアドレス
   ロケーション内に記憶されており、そして、 前記手続き記述子オフセット値は、手続きの開始に関連
   する協働された手続きの、特定の部分のロケーションを
   示す値である方法。
6. （６）請求項（５）記載の手続き状態レポーティング方
   法において、実行されインボウクされた手続きの部分を
   決定する段階は、インボウクされた手続きのために開始
   メモリアドレスを決定し、実行されるべきインボウクさ
   れた手続きの次期部分のためにメモリアドレスを決定し
   そして手続き開始メモリアドレスと次にインボウクされ
   た手続き部分のメモリアドレスとの間の違いを決定しそ
   れによって実行されインボウクされた手続き部分を決定
   する段階を備える方法。
7. （７）請求項（１）記載の手続き状態レポーティング方
   法において更に、 （ａ）前記手続きジェネレータプロセスは、手続きが実
   行された時に特定のインボケイション状態が手続きに存
   在しないかどうかを判断し、そしてもし前記特定の状態
   が存在しなければ、前記手続き記述子オフセット値の１
   つのためにフラグ値を発生し、そして、 （ｂ）前記手続き状態分析プロセスは更に、前記手続き
   記述子オフセット値が前記フラグ値にセットされたかど
   うかということに基づいて状態決定を行う段階を含む方
   法。
8. （８）請求項（５）記載の手続き状態レポーティング方
   法において、個々の前記手続きは、その後部にスタック
   ポインタ変更命令を備えるエントリプロローグとコーラ
   ーコンテクストセーブブロックとを備える手続きプロロ
   ーグを有することが可能であり、その手続き内において
   その手続きプロローグの後ろには命令ブロックがあり、
   その命令ブロックはその後部に０、１、あるいはそれよ
   り多いリストレイションシーケンス命令のセットを備え
   ており、そして、 （ａ）手続きプロローグを有する個々の手 続きのための前記手続き記述子ジェネレータプロセスは
   、フレームの開始に関連する前記スタックポインタ変更
   命令のロケーションを決定しそして前記ロケーションを
   第１の手続き記述子オフセット値として供給し、手続き
   の開始に関連する前記命令ブロック内の第１の命令のロ
   ケーションを決定しそして前記ロケーションを第２の手
   続き記述子値オフセット値として供給する段階を含み、 （ｂ）手続きプロローグを有する個々の手 続きのための前記手続き状態分析プロセスは、更に、 インボウクされた手続きの手続きのため に開始メモリアドレスを決定し、実行されるべきインボ
   ウクされた手続きの次期部分のメモリアドレスを決定し
   、そして前記手続き開始メモリアドレスと次期手続き部
   分の前記メモリアドレスとの違いを決定しそれによって
   実行されインボウクされた手続きの前記部分を決定し、
   前記スタックポインタ変更命令が実行さ れたかどうかを決定するため、実行されインボウクされ
   た手続きの前記部分を前記第１の手続き記述子オフセッ
   ト値と比較し、そしてもし前記スタックポインタ変更命
   令が実行されていなければ、第１のインボケイション状
   態レポートを作成し、 もし前記スタックポインタ変更命令が 実行されていれば、前記命令ブロック第１命令が実行さ
   れていないかを決定するため、実行されインボウクされ
   た手続きの前記部分を前記第２の手続き記述子オフセッ
   ト値と比較し、第２のインボケイション状態レポートを
   作成し、そして、 もし前記命令ブロック命令が実行され ていれば、実行されるべき次にインボウクされた手続き
   の部分が、リストレイションシーケンス命令かどうかを
   決定し、そしてもしそうならば、第４のインボケイショ
   ン状態レポートを作成し、そしてもしそうでなければ、
   第３のインボケイション状態レポートを作成する段階を
   含む方法。
9. （９）請求項（８）記載の手続き状態レポーティング方
   法において、個々の手続きに協働されているのは固定あ
   るいは可変サイズのスタックコールフレームであり、そ
   して、 前記手続き記述子発生プロセスは更に、 手続きに協働されたコールフレームが固定サイズコール
   フレームを持つのかあるいは可変サイズコールフレーム
   を持つのかを決定し、そして、その手続きに協働された
   スタックコールフレームが固定あるいは可変サイズかど
   うかを示す手続き記述子手続きタイプフィールドを発生
   する段階を含む方法。
10. （１０）請求項（９）記載の手続き状態レポーティング
    方法において、それに協働されている固定サイズコール
    フレームを有する個々の手続きは第１のリストレイショ
    ンシーケンス命令のセットを備えそしてそれに協働され
    ている可変サイズコールフレームを有する個々の手続き
    は第２のリストレイションシーケンス命令のセットを備
    えており、そして実行されるべき次のインボウクされた
    手続きの部分がリストレイションシーケンス命令である
    かどうかということを決定する、前記手続き状態分析プ
    ロセス決定は更に、前記手続き記述子手続きタイプフィ
    ールドからインボウクされた手続きが固定サイズコール
    フレームを持つのかあるいは可変サイズコールフレーム
    を持つのかを決定し、もし前記インボウクされた手続き
    が固定サイズコールフレームを持っていれば、第１のリ
    ストレイションシーケンス命令のセットについて前記リ
    ストレイションシーケンス命令決定を成し、そしてもし
    前記インボウクされた手続きが可変サイズコールフレー
    ムを持っていれば、第２のリストレイションシーケンス
    命令のセットについて前記リストレイションシーケンス
    命令決定を成す段階を含む方法。
11. （１１）請求項（９）記載の手続き状態レポーティング
    方法において、実行されるべき次の手続き部分がリスト
    レイションシーケンス命令であるかどうかの前記決定を
    成す前に、前記手続き状態分析プロセスは更に、前記手
    続き記述子手続きタイプフィールドからインボウクされ
    た手続きが固定サイズスタックコールフレームを持つの
    かあるいは可変サイズスタックコールフレームを持つの
    かを決定し、そしてもし前記インボウクされた手続きが
    固定サイズスタックコールフレームを持っていれば、第
    ３のインボケイション状態レポートを作成し、そしても
    し前記インボウクされた手続きが可変サイズスタックコ
    ールフレームを持っていれば、実行されるべき次の手続
    き部分がリストレイションシーケンス命令かどうかの前
    記決定を行うために先に進む段階を含む方法。
12. （１２）請求項（７）記載の手続き状態分析プロセスに
    おいて、前記手続き記述子オフセット値が前記フラグ値
    にセットされたかどうかを決定する前記段階は、実行さ
    れインボウクされた手続きの部分と前記手続き記述子値
    の１つとの比較の前に行われるプロセス。
13. （１３）請求項（８）記載の手続き状態分析プロセスに
    おいて、 （ａ）前記手続きジェネレータプロセス は、手続きが実行された時に手続きプロローグが手続き
    に無いかどうかを決定し、そしてもし手続きプロローグ
    が無ければ、前記特定の手続き記述子オフセット値の１
    つのためにフラグ値を発生し、そして、 （ｂ）前記手続き状態分析プロセスは、 実行されインボウクされた手続きの部分を前記第１の手
    続き記述子オフセット値と比較する前に、更に、前記特
    定の手続き記述子オフセット値が前記フラグにセットさ
    れているかということを決定し、もし前記フラグ値がセ
    ットされていれば、実行されるべきインボウクされた手
    続きの次の部分がリストレイションシーケンス命令かど
    うかを決定する前記段階へと進み、そしてもし前記フラ
    グ値がセットされていなければ、インボウクされた手続
    きの部分と前記第１の手続き記述子値との前記比較を行
    う段階を含むプロセス。
14. （１４）デジタルデータ処理システムによる実行のため
    にインボウクされた少なくとも２つのインボケイション
    状態を有する手続きの、インボケイション状態の決定を
    行うために、デジタルデータ処理システム内で使用する
    手続き状態分析プロセスにおいて、前記プロセスは、実
    行されインボウクされた手続きの部分の決定、及び、実
    行されインボウクされた手続きの部分と手続きのための
    手続き記述子オフセット値との比較といった段階を備え
    ており、前記手続きオフセット値は、その手続きの実行
    のポイントを示しており、前記実行のポイントは手続き
    の２つのインボケイション状態間の境界を示しており、
    前記比較はその手続きのインボケイション状態を決定す
    ることを特徴とするプロセス。
15. （１５）請求項（１４）記載の手続き状態分析プロセス
    において、インボウクされた手続きは少なくとも３つの
    インボケイション状態を備えておりそしてその手続きは
    それに協働された少なくとも２つの手続き記述子オフセ
    ット値を備えており、手続き記述子オフセット値の各々
    は手続きの実行の別々のポイントを示しており、前記実
    行の別々のポイントは手続きのインボケイション状態間
    の別々の境界を示しており、 前記状態分析プロセスは更に、実行されイ ンボウクされた手続きの部分と前記手続き記述子オフセ
    ット値の１つとを、第１の状態決定を行うために比較し
    、そして、 実行されインボウクされた手続きの部分と 前記手続き記述子オフセット値の第２の１つとを、第２
    の状態決定を行うために選択的に比較する段階を含むプ
    ロセス。
16. （１６）請求項（１４）記載の手続き状態分析プロセス
    において、インボウクされた手続き内の選択された命令
    のセットがシステムによって実行された時、手続きは識
    別可能なインボケイション状態にありそして前記手続き
    状態分析プロセスは更に、実行されるべき次の手続き命
    令にアクセスすることによって付加的な状態決定を行い
    、そして、前記次期命令が前記選択された命令のセット
    に含まれるどうかの決定を行う段階を含むプロセス。
17. （１７）請求項（１５）記載の手続き状態分析プロセス
    において、手続きは識別可能なインボケイション状態に
    ありそして前記プロセスは更に、前記状態決定の少なく
    とも１つの結果に応答し、実行されるべき次の手続き命
    令にアクセスすることによって付加的な状態決定を選択
    的に行い、そして、前記次の命令が前記選択された命令
    のセットからのものなのかどうかを決定する段階を含む
    プロセス。
18. （１８）請求項（１４）記載の手続き状態分析プロセス
    において、個々の手続きはデジタルデータ処理システム
    のアドレス読み書き可能なメモリ内に記憶されており、
    手続きの各々の部分はメモリ内のシーケンシャルアドレ
    スロケーション内に記憶されており、前記手続き記述子
    オフセット値は手続きの開始に関連する、手続きの特定
    の部分のロケーションを示している値であり、そして実
    行されインボウクされた手続きの部分の決定は、 インボウクされた手続きの開始メモリアド レスを決定し、 実行されるべきインボウクされた手続きの、次の部分の
    ためのメモリアドレスを決定し、開始メモリアドレスと
    次期インボウクされた手続き部分のメモリアドレスとの
    違いを決定し、それによって実行されインボウクされた
    手続きの前記部分を決定する段階を備えるプロセス。
19. （１９）請求項（１４）記載の手続き状態分析プロセス
    において、特定のインボケイション状態がインボイウク
    された手続き内には無い場合、手続きのための手続き記
    述子オフセット値はフラグ値にセットされ、そして前記
    プロセスは更に、手続き記述子オフセット値がフラグ値
    にセットされているかどうかを判断する段階を含むプロ
    セス。
20. （２０）請求項（１５）記載の手続き状態分析プロセス
    において、特定のインボケイション状態がインボイウク
    された手続き内に無い場合、選択された手続き記述子オ
    フセット値の１つが手続きのためにフラグ値にセットさ
    れ、そして前記プロセスは更に、選択された手続き記述
    子オフセット値が前記フラグ値にセットされたかどうか
    を決定する段階を含むプロセス。
21. （２１）請求項（１９）記載の手続き状態分析プロセス
    において、手続き記述子オフセット値がフラグ値を含む
    かどうかの前記決定は、実行されインボウクされた手続
    きの部分と手続き記述子値との前記比較を成す前に行わ
    れるプロセス。
22. （２２）請求項（２０）記載の手続き状態分析プロセス
    において、選択された手続き記述子オフセット値がフラ
    グ値にセットされたかどうかの前記決定は、実行されイ
    ンボウクされた手続きの部分と前記選択された前記手続
    き記述子値の１つとの前記比較を成す前に行われるプロ
    セス。
23. （２３）請求項（２２）記載の手続き状態分析プロセス
    において、特定のインボケイション状態がインボイウク
    された手続き内に無い場合、選択された手続き記述子オ
    フセット値の１つがフラグ値にセットされ、そして、実
    行されインボウクされた手続きの部分と手続き記述子値
    の１つとの前記比較の前に、前記プロセスは更に、選択
    された手続き記述子オフセット値がフラグ値にセットさ
    れたかどうかの決定段階を含むプロセス。
24. （２４）請求項（２３）記載の手続き状態分析プロセス
    において、インボウクされた手続き内の選択された命令
    のセットがシステムによって実行された時、手続きは識
    別可能インボケイション状態にあり、そして前記プロセ
    スは更に、実行されインボウクされた手続きの部分と手
    続き記述子オフセット値の１つとの、少なくとも１度の
    比較の結果に応答する段階を備え、前記プロセスは更に
    、実行されるべき次の命令にアクセスすることによって
    付加的な状態決定を選択的に行い、そして前記次期命令
    が前記選択された命令のセット内にあるかどうかの決定
    をする段階を含むプロセス。
25. （２５）システムによって実行されるべき手続きのため
    に手続き記述子を作るべく、デジタルで処理システム内
    で使用する手続き記述子発生プロセスにおいて、個々の
    手続きはアドレス読み書き可能メモリ内にロードされ、
    手続きの各々の部分はメモリのシーケンシャルアドレス
    ロケーション内に記憶され、前記プロセスは、手続きの
    ための開始アドレスに関連した、手続きの選択された部
    分のロケーションを決定し、そして手続き記述子のため
    に手続き記述子オフセット値を発生する段階を備えてお
    り、ここで前記ロケーションは手続きの２つのインボケ
    イション状態間の境界を示しており、また、前記手続き
    記述子オフセット値は前記手続きの選択された部分の前
    記ロケーションを示す値を含んでいることを特徴とする
    プロセス。
26. （２６）請求項（２５）記載の手続き状態分析プロセス
    において、前記プロセスは更に、手続きの開始アドレス
    に関連した、手続きの少なくとも２つの選択された部分
    のロケーションを決定し、そして手続き記述子のために
    少なくとも２つの手続き記述子オフセット値を発生する
    ことを含み、また、手続きの個々の部分は手続きの２つ
    のインボケイション状態間の別々の境界を決定し、各々
    の前記手続き記述子オフセット値は手続きの別々の、選
    択されたロケーションを含むプロセス。
27. （２７）請求項（２５）記載の手続き状態分析プロセス
    において更に、選択されたインボケイション状態が手続
    きに含まれるかどうかを決定し、そして、もし選択され
    たインボケイション状態が手続き内に含まれていなけれ
    ば、前記手続き記述子オフセット値をフラグ値にセット
    するプロセス。
28. （２８）請求項（２６）記載の手続き状態分析プロセス
    において更に、選択されたインボケイション状態が手続
    きに含まれるかどうかを決定し、そして、もし選択され
    たインボケイション状態が手続き内に含まれていなけれ
    ば、前記手続き記述子オフセット値の１つをフラグ値に
    セットするプロセス。