JP2735523B2 - プロシージャ・ステップ処理方法 - Google Patents
プロシージャ・ステップ処理方法Info
- Publication number
- JP2735523B2 JP2735523B2 JP7311242A JP31124295A JP2735523B2 JP 2735523 B2 JP2735523 B2 JP 2735523B2 JP 7311242 A JP7311242 A JP 7311242A JP 31124295 A JP31124295 A JP 31124295A JP 2735523 B2 JP2735523 B2 JP 2735523B2
- Authority
- JP
- Japan
- Prior art keywords
- instruction
- subprogram
- execution
- procedure
- event
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Executing Machine-Instructions (AREA)
- Debugging And Monitoring (AREA)
Description
【０００１】
【発明の属する技術分野】本発明は、インサーキットエ
ミュレータにおける、プロシージャ・ステップ実行の非
検査対象であるユーザプログラム中のサブプログラムの
分岐命令のステップ実行処理方法に関するものである。
ミュレータにおける、プロシージャ・ステップ実行の非
検査対象であるユーザプログラム中のサブプログラムの
分岐命令のステップ実行処理方法に関するものである。
【０００２】
【従来の技術】従来技術の説明の前提としてサブプログ
ラムへの分岐命令（以下ＣＡＬＬ命令という）をステッ
プ実行する場合、サブプログラムの実行終了までをシン
グルステップ実行として行う実行処理について記述して
いる。
ラムへの分岐命令（以下ＣＡＬＬ命令という）をステッ
プ実行する場合、サブプログラムの実行終了までをシン
グルステップ実行として行う実行処理について記述して
いる。
【０００３】例えば、図３に示すように、ＣＡＬＬ命令
（２０２）により従来のシングルステップ実行でステッ
プ実行させた場合、分岐先のサブプログラムＸ（２０
４）の先頭アドレスでステップ実行処理を終了する。そ
れに対してプロシージャ・ステップ実行では、分岐先の
サブプログラムＸ（２０４）を実行し、メインプログラ
ム（２０１，ここではメインプログラムとはＣＡＬＬ命
令の存在する非検査対象であるユーザプログラムを示
す）に戻った時点、つまりメインプログラム２０１の中
におけるＣＡＬＬ命令（２０２）の次命令であるＭＯＶ
命令（２０６）でプロシージャ・ステップ実行（２０
５）が終了する。
（２０２）により従来のシングルステップ実行でステッ
プ実行させた場合、分岐先のサブプログラムＸ（２０
４）の先頭アドレスでステップ実行処理を終了する。そ
れに対してプロシージャ・ステップ実行では、分岐先の
サブプログラムＸ（２０４）を実行し、メインプログラ
ム（２０１，ここではメインプログラムとはＣＡＬＬ命
令の存在する非検査対象であるユーザプログラムを示
す）に戻った時点、つまりメインプログラム２０１の中
におけるＣＡＬＬ命令（２０２）の次命令であるＭＯＶ
命令（２０６）でプロシージャ・ステップ実行（２０
５）が終了する。
【０００４】従来のインサーキットエミュレータにおけ
るプロシージャ・ステップ実行処理は、インサーキット
エミュレータに搭載される実行前検出機能を用いる。こ
の実行前検出機能とは、イベント検出器に設定した条件
が被検査対象であるプログラムの実行中に発見された場
合、ただちに実行処理を中断する機能である。この実行
前検出機能を用いて、メインプログラム中にＣＡＬＬ命
令が存在するメインプログラム中のＣＡＬＬ命令の次命
令に実行前検出機能を検出させることで実現していた
が、次のような制限があった。再帰呼び出しや、サブプ
ログラム内からでもプロシージャ・ステップを行うプロ
グラムにおいては、ＣＡＬＬ命令の戻りアドレスを何度
も通過する場合が発生するため、ＣＡＬＬ命令で呼び出
したサブプログラムが正常終了する前に実行前検出機能
が検出される場合があった。
るプロシージャ・ステップ実行処理は、インサーキット
エミュレータに搭載される実行前検出機能を用いる。こ
の実行前検出機能とは、イベント検出器に設定した条件
が被検査対象であるプログラムの実行中に発見された場
合、ただちに実行処理を中断する機能である。この実行
前検出機能を用いて、メインプログラム中にＣＡＬＬ命
令が存在するメインプログラム中のＣＡＬＬ命令の次命
令に実行前検出機能を検出させることで実現していた
が、次のような制限があった。再帰呼び出しや、サブプ
ログラム内からでもプロシージャ・ステップを行うプロ
グラムにおいては、ＣＡＬＬ命令の戻りアドレスを何度
も通過する場合が発生するため、ＣＡＬＬ命令で呼び出
したサブプログラムが正常終了する前に実行前検出機能
が検出される場合があった。
【０００５】例えば、図４に示すように、ステップ実行
中のメインプログラム（３０１）にＣＡＬＬ命令（３０
２）を発見した場合、このＣＡＬＬ命令（３０２）の次
命令であるＮＯＰ命令（３０３）に実行前検出器をイベ
ントブレーク（イベントブレークとは、実行前（後）検
出器を用いて被検査対象であるプログラムの実行処理を
中断すること）として設定、イベントが検出されるまで
リアルタイムエミュレーションを行い、イベントが検出
された時点でイベントブレークを解除し、プロシージャ
・ステップ実行の処理を終了させるようにしてプロシー
ジャ・ステップ実行処理を実現している。
中のメインプログラム（３０１）にＣＡＬＬ命令（３０
２）を発見した場合、このＣＡＬＬ命令（３０２）の次
命令であるＮＯＰ命令（３０３）に実行前検出器をイベ
ントブレーク（イベントブレークとは、実行前（後）検
出器を用いて被検査対象であるプログラムの実行処理を
中断すること）として設定、イベントが検出されるまで
リアルタイムエミュレーションを行い、イベントが検出
された時点でイベントブレークを解除し、プロシージャ
・ステップ実行の処理を終了させるようにしてプロシー
ジャ・ステップ実行処理を実現している。
【０００６】通常、インサーキットエミュレータには実
行前検出機能と実行後検出機能が搭載されるが、実行前
検出機能が搭載されていない場合、従来技術としてイン
サーキットエミュレータを制御するソフトウェア（以
下、ファームウェアという）のみで行うプロシージャ・
ステップ実行中にＣＡＬＬ命令を発見した場合の処理に
ついて、図５のフローチャートにより説明する。
行前検出機能と実行後検出機能が搭載されるが、実行前
検出機能が搭載されていない場合、従来技術としてイン
サーキットエミュレータを制御するソフトウェア（以
下、ファームウェアという）のみで行うプロシージャ・
ステップ実行中にＣＡＬＬ命令を発見した場合の処理に
ついて、図５のフローチャートにより説明する。
【０００７】まず、カウントバッファ（以下、ＣＯＵＮ
Ｔという）を設け（初期値は０とする）、ステップ実行
中のメインプログラムに、ＣＡＬＬ命令を発見すると
（Ｓ１）、サブプログラムのステップ実行を行い、ＣＯ
ＵＮＴに１を加算する。すなわちＣＡＬＬ命令で呼び出
されるサブプログラムの実行処理を開始する（Ｓ２
１）。このサブプログラムの実行処理は、１命令ごとに
ＣＡＬＬ命令か（Ｓ２２）及びＲＥＴ命令なのか（Ｓ２
３）を確認しながら、シングルステップ実行を行う。そ
の際にＣＡＬＬ命令を発見するとＣＯＵＮＴに１を加算
し（Ｓ２４）、同様にＲＥＴ命令を発見した時には１を
減算し（Ｓ２６）、ＲＥＴ命令を実行（Ｓ２７）する。
そしてＣＯＵＮＴ値が０でなければステップＳ２５に戻
り、１命令ステップ実行を行い、ＣＯＵＮＴの値が０に
なった時点で（Ｓ２８）サブプログラムの実行処理終了
（Ｓ２９）と判断し、ＣＡＬＬ命令のプロシージャ・ス
テップ処理を終了させ、プロシージャ・ステップ実行処
理を実現している。
Ｔという）を設け（初期値は０とする）、ステップ実行
中のメインプログラムに、ＣＡＬＬ命令を発見すると
（Ｓ１）、サブプログラムのステップ実行を行い、ＣＯ
ＵＮＴに１を加算する。すなわちＣＡＬＬ命令で呼び出
されるサブプログラムの実行処理を開始する（Ｓ２
１）。このサブプログラムの実行処理は、１命令ごとに
ＣＡＬＬ命令か（Ｓ２２）及びＲＥＴ命令なのか（Ｓ２
３）を確認しながら、シングルステップ実行を行う。そ
の際にＣＡＬＬ命令を発見するとＣＯＵＮＴに１を加算
し（Ｓ２４）、同様にＲＥＴ命令を発見した時には１を
減算し（Ｓ２６）、ＲＥＴ命令を実行（Ｓ２７）する。
そしてＣＯＵＮＴ値が０でなければステップＳ２５に戻
り、１命令ステップ実行を行い、ＣＯＵＮＴの値が０に
なった時点で（Ｓ２８）サブプログラムの実行処理終了
（Ｓ２９）と判断し、ＣＡＬＬ命令のプロシージャ・ス
テップ処理を終了させ、プロシージャ・ステップ実行処
理を実現している。
【０００８】この場合、プログラムとの関係は、図６に
示すように、ステップ実行中のメインプログラム（４０
１）にＣＡＬＬ命令（４０２）を発見すると、ＣＯＵＮ
Ｔを加算（４０３）し、サブプログラムＸ（４０４）の
シングルステップを開始する。さらに、このサブプログ
ラム４０４でＣＡＬＬ命令（４０５）を発見するとＣＯ
ＵＮＴの加算（４０６）を行い、サブプログラムＹ（４
０８）を実行し、さらにこのサブプログラムＹ（４０
３）の実行中に、このサブプログラム（Ｙ）の終了を示
す命令のＲＥＴ命令（４０７）を発見すると、サブプロ
グラムＹ（４０８）からサブプログラムＸ（４０４）に
戻るが、この戻った時点でＣＯＵＮＴの減算（４０９）
を行う。このサブプログラムＸ（４０４）でＲＥＴ命令
（４１１）を発見した時にも同様にＣＯＵＮＴの減算
（４１０）を行う。ここでＣＯＵＮＴの値は０（６１
０）となり、シングルステップの処理を終了する。
示すように、ステップ実行中のメインプログラム（４０
１）にＣＡＬＬ命令（４０２）を発見すると、ＣＯＵＮ
Ｔを加算（４０３）し、サブプログラムＸ（４０４）の
シングルステップを開始する。さらに、このサブプログ
ラム４０４でＣＡＬＬ命令（４０５）を発見するとＣＯ
ＵＮＴの加算（４０６）を行い、サブプログラムＹ（４
０８）を実行し、さらにこのサブプログラムＹ（４０
３）の実行中に、このサブプログラム（Ｙ）の終了を示
す命令のＲＥＴ命令（４０７）を発見すると、サブプロ
グラムＹ（４０８）からサブプログラムＸ（４０４）に
戻るが、この戻った時点でＣＯＵＮＴの減算（４０９）
を行う。このサブプログラムＸ（４０４）でＲＥＴ命令
（４１１）を発見した時にも同様にＣＯＵＮＴの減算
（４１０）を行う。ここでＣＯＵＮＴの値は０（６１
０）となり、シングルステップの処理を終了する。
【０００９】また、従来のＣＡＬＬ，ＲＥＴ命令数をカ
ウントする処理を採用した理由は、再帰呼び出しや、サ
ブプログラム内からでもプロシージャ・ステップが正確
に行えるようにする為である。これは再帰呼び出しや、
サブプログラム内からのプロシージャ・ステップを行っ
た場合、ＣＡＬＬ命令の戻りアドレスを何度も通過する
場合が発生する為、従来方法としてサブプログラムの実
行処理を、スタックに退避された戻りアドレスとプログ
ラムカウンタＰＣが一致した時に、処理を終了するとい
う方法をとることが出来ないからである。従ってサブル
ーチンの深さ（ネスト）をＣＡＬＬ，ＲＥＴ命令により
加減算を行う方法で管理しプロシージャステップを実現
していた。
ウントする処理を採用した理由は、再帰呼び出しや、サ
ブプログラム内からでもプロシージャ・ステップが正確
に行えるようにする為である。これは再帰呼び出しや、
サブプログラム内からのプロシージャ・ステップを行っ
た場合、ＣＡＬＬ命令の戻りアドレスを何度も通過する
場合が発生する為、従来方法としてサブプログラムの実
行処理を、スタックに退避された戻りアドレスとプログ
ラムカウンタＰＣが一致した時に、処理を終了するとい
う方法をとることが出来ないからである。従ってサブル
ーチンの深さ（ネスト）をＣＡＬＬ，ＲＥＴ命令により
加減算を行う方法で管理しプロシージャステップを実現
していた。
【００１０】例えば、表１に示すプログラムにおいて
は、サブプログラムＳＵＢ_ Ａを呼び出す命令である
ＣＡＬＬ ！ＳＵＢ_ Ａからプロシージャ・ステップ
を行った場合、ラベルＪＭＰの実行前でプロシージャ
・ステップが終了しなければいけない。しかしＳＵＢ_
Ａは、ＲＰ１レジスタの値が０と一致するか否かを比
較する命令ＣＭＰ ＲＰ１、＃０、その比較結果が一
致した場合にラベルＪＭＰにブランチする命令ＢＥ
＄？ＪＭＰ、ＲＰ１レジスタの値を１減算する命令Ｓ
ＵＢＷ_ ＲＰ１、＃１による再帰呼び出しを行うサブ
プログラムの為、ＲＰ１レジスタの初期値が１の場合に
は、ＪＭＰが２度も実行されることになる。
は、サブプログラムＳＵＢ_ Ａを呼び出す命令である
ＣＡＬＬ ！ＳＵＢ_ Ａからプロシージャ・ステップ
を行った場合、ラベルＪＭＰの実行前でプロシージャ
・ステップが終了しなければいけない。しかしＳＵＢ_
Ａは、ＲＰ１レジスタの値が０と一致するか否かを比
較する命令ＣＭＰ ＲＰ１、＃０、その比較結果が一
致した場合にラベルＪＭＰにブランチする命令ＢＥ
＄？ＪＭＰ、ＲＰ１レジスタの値を１減算する命令Ｓ
ＵＢＷ_ ＲＰ１、＃１による再帰呼び出しを行うサブ
プログラムの為、ＲＰ１レジスタの初期値が１の場合に
は、ＪＭＰが２度も実行されることになる。
【００１１】
【表１】
【００１２】従って、サブプログラムの深さを管理しな
い場合、前述のスタックに退避された戻りアドレスとプ
ログラムカウンタＰＣの一致を検出する処理の場合、サ
ブプログラム深さ１以上（プロシージャ・ステップの開
始位置は深さ０とした場合）のＪＭＰでプロシージャ
・ステップが終了してしまう。このような問題を回避す
るためにＣＡＬＬ，ＲＥＴ命令をカウントする処理を追
加し実現していた。
い場合、前述のスタックに退避された戻りアドレスとプ
ログラムカウンタＰＣの一致を検出する処理の場合、サ
ブプログラム深さ１以上（プロシージャ・ステップの開
始位置は深さ０とした場合）のＪＭＰでプロシージャ
・ステップが終了してしまう。このような問題を回避す
るためにＣＡＬＬ，ＲＥＴ命令をカウントする処理を追
加し実現していた。
【００１３】
【発明が解決しようとする課題】上述した従来のシステ
ムでは、インサーキットエミュレータに実行前検出機能
が搭載されない場合にファームウェアにて行っていたプ
ロシージャ・ステップ実行処理において、ＣＡＬＬ命令
で呼び出されたサブプログラムがメインプログラムに戻
る手段として、サブプログラムの終了を示すＲＥＴ命令
を使用しない場合（例えばＢＲ命令で戻りアドレスにブ
ランチした場合など）にプロシージャ・ステップが正常
な動作を行わないことである。それは、従来処理がＣＡ
ＬＬ命令数とＲＥＴ命令数を加減算することで処理を実
現しているので、ＲＥＴ命令を使用しない場合にはその
加減算の関係が狂ってしまうためである。
ムでは、インサーキットエミュレータに実行前検出機能
が搭載されない場合にファームウェアにて行っていたプ
ロシージャ・ステップ実行処理において、ＣＡＬＬ命令
で呼び出されたサブプログラムがメインプログラムに戻
る手段として、サブプログラムの終了を示すＲＥＴ命令
を使用しない場合（例えばＢＲ命令で戻りアドレスにブ
ランチした場合など）にプロシージャ・ステップが正常
な動作を行わないことである。それは、従来処理がＣＡ
ＬＬ命令数とＲＥＴ命令数を加減算することで処理を実
現しているので、ＲＥＴ命令を使用しない場合にはその
加減算の関係が狂ってしまうためである。
【００１４】例えば、図５と同様な動作を行う場合、図
７に示すように、ステップ実行中のメインプログラム
（４０１）にＣＡＬＬ命令（４０２）を発見すると、Ｃ
ＯＵＮＴを加算（４０３）、サブプログラムＸ（４０
４）のシングルステップを開始する。さらにＣＡＬＬ
Ｙ（４０５）を発見するとＣＯＵＮＴの加算（４０６）
を行う。その後サブプログラムＹ（４０８）からサブプ
ログラムＸ（４０４）へ、またサブプログラムＸ（４０
４）からサブプログラムＹ（４０８）への移行時に、ス
タックエリアへ退避された戻りアドレスを読み出す命令
ＰＯＰ ＲＰ１（４１５）と、読み出したアドレスへブ
ランチするＢＲ命令（４１６）を用いて戻った場合、及
びサブプログラムＸ（４０４）からメインプログラム
（４０１）へ、サブプログラムＸ（４０４）への移行時
に、スタックエリアへ退避された戻りアドレスを読み出
す命令ＰＯＰ ＲＰ１（４１６）と、読出したアドレス
へブランチするＢＲ命令（４１７）を用いて戻った場合
には、メインプログラムに戻った時点でのＣＯＵＮＴの
値は２（４１９）である為、シングルステップの処理を
終了しない。従って、プロシージャ・ステップ実行処理
はシングルステップが中断せず、正常処理が行われな
い。
７に示すように、ステップ実行中のメインプログラム
（４０１）にＣＡＬＬ命令（４０２）を発見すると、Ｃ
ＯＵＮＴを加算（４０３）、サブプログラムＸ（４０
４）のシングルステップを開始する。さらにＣＡＬＬ
Ｙ（４０５）を発見するとＣＯＵＮＴの加算（４０６）
を行う。その後サブプログラムＹ（４０８）からサブプ
ログラムＸ（４０４）へ、またサブプログラムＸ（４０
４）からサブプログラムＹ（４０８）への移行時に、ス
タックエリアへ退避された戻りアドレスを読み出す命令
ＰＯＰ ＲＰ１（４１５）と、読み出したアドレスへブ
ランチするＢＲ命令（４１６）を用いて戻った場合、及
びサブプログラムＸ（４０４）からメインプログラム
（４０１）へ、サブプログラムＸ（４０４）への移行時
に、スタックエリアへ退避された戻りアドレスを読み出
す命令ＰＯＰ ＲＰ１（４１６）と、読出したアドレス
へブランチするＢＲ命令（４１７）を用いて戻った場合
には、メインプログラムに戻った時点でのＣＯＵＮＴの
値は２（４１９）である為、シングルステップの処理を
終了しない。従って、プロシージャ・ステップ実行処理
はシングルステップが中断せず、正常処理が行われな
い。
【００１５】本発明の目的は、このような問題を解決
し、ＣＡＬＬ命令で呼出されたサブプログラムがメイン
プログラムに戻る場合に、ＲＥＴ命令を用いないプログ
ラムを使用した時にも、その処理を正常に終了できるよ
うにしたプロシージャ処理方法を提供することにある。
し、ＣＡＬＬ命令で呼出されたサブプログラムがメイン
プログラムに戻る場合に、ＲＥＴ命令を用いないプログ
ラムを使用した時にも、その処理を正常に終了できるよ
うにしたプロシージャ処理方法を提供することにある。
【００１６】
【課題を解決するための手段】本発明の構成は、被検査
対象であるユーザプログラムを実行するインサーキット
エミュレータによりシングルステップ実行可能なデバッ
グ処理を行うプロシージャ・ステップ処理方法におい
て、前記ユーザプログラム中のサブプログラムへの分岐
命令のプロシージャ・ステップ実行処理を実行する前
に、戻りアドレスを退避するスタックエリアに前記イン
サーキットエミュレータの実行後検出を行うアクセスブ
レークイベントを設定し、前記スタックエリアへ退避し
た戻りアドレス値とプログラムカウント値との一致を検
出し、この検出結果が一致した場合はステップ実行処理
を終了し、前記検出結果が一致しない場合にはこの検出
結果が一致するまでステップ実行処理を継続することを
特徴とする。
対象であるユーザプログラムを実行するインサーキット
エミュレータによりシングルステップ実行可能なデバッ
グ処理を行うプロシージャ・ステップ処理方法におい
て、前記ユーザプログラム中のサブプログラムへの分岐
命令のプロシージャ・ステップ実行処理を実行する前
に、戻りアドレスを退避するスタックエリアに前記イン
サーキットエミュレータの実行後検出を行うアクセスブ
レークイベントを設定し、前記スタックエリアへ退避し
た戻りアドレス値とプログラムカウント値との一致を検
出し、この検出結果が一致した場合はステップ実行処理
を終了し、前記検出結果が一致しない場合にはこの検出
結果が一致するまでステップ実行処理を継続することを
特徴とする。
【００１７】本発明においては、従来技術のＣＡＬＬ命
令とＲＥＴ命令の数の一致によるカウント処理を使用せ
ず、スタックエリアに退避される戻りアドレスのスタッ
クアドレスにアクセスブレークイベント（アクセスブレ
ークイベントとは実行後検出器を用いて、この実行後検
出器に設定したアクセス条件を、検査対象であるプログ
ラムが実行処理中にアクセスした場合、実行処理を中断
することを指す）を仕掛ける処理及びメインプログラム
への戻りアドレスとプログラムカウントの値が一致した
ことを検出する処理を有する。
令とＲＥＴ命令の数の一致によるカウント処理を使用せ
ず、スタックエリアに退避される戻りアドレスのスタッ
クアドレスにアクセスブレークイベント（アクセスブレ
ークイベントとは実行後検出器を用いて、この実行後検
出器に設定したアクセス条件を、検査対象であるプログ
ラムが実行処理中にアクセスした場合、実行処理を中断
することを指す）を仕掛ける処理及びメインプログラム
への戻りアドレスとプログラムカウントの値が一致した
ことを検出する処理を有する。
【００１８】本発明において、スタックエリアに退避さ
れる戻りアドレスのスタックアドレスにアクセスブレー
クイベントを仕掛けるということは、ＣＡＬＬ命令のス
テップ実行によってサブプログラムへ移行する際に、ス
タックエリアに退避された戻りアドレスのスタックアド
レスにアクセスブレークイベントを設定し、リアルタイ
ムエミュレーションを行うことによって、ＣＡＬＬ命令
の次命令のアクセスが行われた時にアクセスブレークイ
ベントを発生させ、ＣＡＬＬ命令の次命令から再実行可
能な状態でリアルタイムエミュレーションを中断する処
理である。
れる戻りアドレスのスタックアドレスにアクセスブレー
クイベントを仕掛けるということは、ＣＡＬＬ命令のス
テップ実行によってサブプログラムへ移行する際に、ス
タックエリアに退避された戻りアドレスのスタックアド
レスにアクセスブレークイベントを設定し、リアルタイ
ムエミュレーションを行うことによって、ＣＡＬＬ命令
の次命令のアクセスが行われた時にアクセスブレークイ
ベントを発生させ、ＣＡＬＬ命令の次命令から再実行可
能な状態でリアルタイムエミュレーションを中断する処
理である。
【００１９】また、メインプログラムへの戻りアドレス
とプログラムカウントの値の一致を検出するというの
は、サブプログラムが終了していない状態中にスタック
エリアに退避された戻りアドレスのスタックアドレスを
アクセスした場合、サブプログラムが終了していないの
にも関わらずアクセスブレークイベントが発生してしま
う為、同スタックアドレスに退避した戻りアドレスとプ
ログラムカウントの値の一致を検出することでサブプロ
グラムが終了していると判断する処理である。これらの
処理によって、サブプログラムがメインプログラムに戻
る場合に、ＲＥＴ命令を使用しないプログラムを使用し
た場合にも、プロシージャ・ステップ実行処理が正常動
作を行う。
とプログラムカウントの値の一致を検出するというの
は、サブプログラムが終了していない状態中にスタック
エリアに退避された戻りアドレスのスタックアドレスを
アクセスした場合、サブプログラムが終了していないの
にも関わらずアクセスブレークイベントが発生してしま
う為、同スタックアドレスに退避した戻りアドレスとプ
ログラムカウントの値の一致を検出することでサブプロ
グラムが終了していると判断する処理である。これらの
処理によって、サブプログラムがメインプログラムに戻
る場合に、ＲＥＴ命令を使用しないプログラムを使用し
た場合にも、プロシージャ・ステップ実行処理が正常動
作を行う。
【００２０】
【発明の実施の形態】次に本発明の一実施形態について
図１のフローチャートを参照して詳細に説明する。まず
ステップ実行中のメインプログラムにＣＡＬＬ命令を発
見（Ｓ１）した時、スタックエリアに戻りアドレスが退
避される（Ｓ２）。次に設定されている全てのイベント
ブレーク情報を対比させ、全てのイベントブレークを解
除（Ｓ３）する。これは、サブプログラムの実行にリア
ルタイムエミュレーションを使用する為、そのリアルタ
イムエミュレーション中にイベントブレークを発生させ
ないようにする為である。
図１のフローチャートを参照して詳細に説明する。まず
ステップ実行中のメインプログラムにＣＡＬＬ命令を発
見（Ｓ１）した時、スタックエリアに戻りアドレスが退
避される（Ｓ２）。次に設定されている全てのイベント
ブレーク情報を対比させ、全てのイベントブレークを解
除（Ｓ３）する。これは、サブプログラムの実行にリア
ルタイムエミュレーションを使用する為、そのリアルタ
イムエミュレーション中にイベントブレークを発生させ
ないようにする為である。
【００２１】次に、戻りアドレスが対比されたスタック
エリアのアドレスにアクセスブレークイベントを設定
（Ｓ４）する。次にサブプログラムのリアルタイムエミ
ュレーションを開始（Ｓ５）し、アクセスブレークイベ
ントが検出（Ｓ６）されたら、プログラムカウンタＰＣ
とスタックエリアに対比した戻りアドレスの値が一致す
る（Ｓ７）までリアルタイムエミュレーションを行い、
値が一致したらリアルタイムエミュレーションを中断す
る（Ｓ８）。次に先に設定したアクセスブレークイベン
ト（Ｓ９）を解除し、あらかじめ対比しておいた全ての
イベントブレーク情報から、全てのイベントブレークの
再設定（Ｓ１０）を行い、ＣＡＬＬ命令を発見（Ｓ１）
した時と同様の状態に復元する。以上のような流れを経
てプロシージャ・ステップ実行の終了（Ｓ１１）とな
る。
エリアのアドレスにアクセスブレークイベントを設定
（Ｓ４）する。次にサブプログラムのリアルタイムエミ
ュレーションを開始（Ｓ５）し、アクセスブレークイベ
ントが検出（Ｓ６）されたら、プログラムカウンタＰＣ
とスタックエリアに対比した戻りアドレスの値が一致す
る（Ｓ７）までリアルタイムエミュレーションを行い、
値が一致したらリアルタイムエミュレーションを中断す
る（Ｓ８）。次に先に設定したアクセスブレークイベン
ト（Ｓ９）を解除し、あらかじめ対比しておいた全ての
イベントブレーク情報から、全てのイベントブレークの
再設定（Ｓ１０）を行い、ＣＡＬＬ命令を発見（Ｓ１）
した時と同様の状態に復元する。以上のような流れを経
てプロシージャ・ステップ実行の終了（Ｓ１１）とな
る。
【００２２】次に本実施形態について図２のプログラム
の流れ図により詳細に説明する。メインプログラム（１
０１）中のＣＡＬＬ命令（１０２）を発見すると、対比
されたアドレスのスタックアドレスにアクセスブレーク
イベントを仕掛け（１０３）、サブプログラムＸ（１０
４）の先頭からリアルタイムエミュレーション（１０
５）を開始する。次にアクセスブレークイベントが発生
するまでリアルタイムエミュレーション（１０５）を行
う。この場合、サブプログラムＸ（１０４）のシングル
ステップが開始されさらにＣＡＬＬ Ｙ（１０５）を発
見されると、サブプログラムＹ（１０８）が実行され
る。この後サブプログラムＹ（１０８）からサブプログ
ラムＸ（１０４）へスタックエリアへ対比された戻りア
ドレスを読み出す命令ＰＯＰ ＲＰ１（１０９）と、読
み出したアドレスへブランチするＢＲ命令（１１０）と
が実行され、またサブプログラムＸ（１０４）からメイ
ンプログラム（１０１）へのサブプログラムＸ（１０
４）への移行時に、スタックエリアへ対比された戻りア
ドレスを読み出す命令ＰＯＰ ＲＰ１（１１１）と、読
出したアドレスへブランチするＢＲ命令（１１２）とが
実行されることにより、戻りアドレス（１１３）とプロ
グラムカウンタＰＣのカウント値が一致し、リアルタイ
ムエミュレーション（１０５）が終了する。このように
してプロシージャ・ステップ実行処理を実現することが
できる。
の流れ図により詳細に説明する。メインプログラム（１
０１）中のＣＡＬＬ命令（１０２）を発見すると、対比
されたアドレスのスタックアドレスにアクセスブレーク
イベントを仕掛け（１０３）、サブプログラムＸ（１０
４）の先頭からリアルタイムエミュレーション（１０
５）を開始する。次にアクセスブレークイベントが発生
するまでリアルタイムエミュレーション（１０５）を行
う。この場合、サブプログラムＸ（１０４）のシングル
ステップが開始されさらにＣＡＬＬ Ｙ（１０５）を発
見されると、サブプログラムＹ（１０８）が実行され
る。この後サブプログラムＹ（１０８）からサブプログ
ラムＸ（１０４）へスタックエリアへ対比された戻りア
ドレスを読み出す命令ＰＯＰ ＲＰ１（１０９）と、読
み出したアドレスへブランチするＢＲ命令（１１０）と
が実行され、またサブプログラムＸ（１０４）からメイ
ンプログラム（１０１）へのサブプログラムＸ（１０
４）への移行時に、スタックエリアへ対比された戻りア
ドレスを読み出す命令ＰＯＰ ＲＰ１（１１１）と、読
出したアドレスへブランチするＢＲ命令（１１２）とが
実行されることにより、戻りアドレス（１１３）とプロ
グラムカウンタＰＣのカウント値が一致し、リアルタイ
ムエミュレーション（１０５）が終了する。このように
してプロシージャ・ステップ実行処理を実現することが
できる。
【００２３】
【発明の効果】以上説明したように、本発明のＣＡＬＬ
命令のプロシージャ・ステップ実行処理によれば、実行
前検出機能を搭載していないインサーキットエミュレー
タにおいて、実行後検出機能を用いてスタックエリアに
対比される戻りアドレスにアクセスブレークイベントを
設定し、リアルタイムエミュレーションを行い、アクセ
スブレークイベントが検出され、プログラムカウンタＰ
Ｃとスタックエリアに対比した戻りアドレスの値が一致
した時に、リアルタイムエミュレーションを中断するこ
とにより、ＣＡＬＬ命令で呼び出されたサブプログラム
がメインプログラムに戻る手段として、ＲＥＴ命令を使
用しないプログラム環境下でもプロシージャ・ステップ
実行処理を行うことができる。
命令のプロシージャ・ステップ実行処理によれば、実行
前検出機能を搭載していないインサーキットエミュレー
タにおいて、実行後検出機能を用いてスタックエリアに
対比される戻りアドレスにアクセスブレークイベントを
設定し、リアルタイムエミュレーションを行い、アクセ
スブレークイベントが検出され、プログラムカウンタＰ
Ｃとスタックエリアに対比した戻りアドレスの値が一致
した時に、リアルタイムエミュレーションを中断するこ
とにより、ＣＡＬＬ命令で呼び出されたサブプログラム
がメインプログラムに戻る手段として、ＲＥＴ命令を使
用しないプログラム環境下でもプロシージャ・ステップ
実行処理を行うことができる。
【００２４】また、本発明によるＣＡＬＬ命令のプロシ
ージャ・ステップ実行処理により、サブプログラム内の
プログラム実行をリアルタイムエミュレーションにて行
い、従来技術で行っていた１命令ごとによるシングルス
テップ実行処理の繰り返しを行う必要がなくなったた
め、プロシージャ・ステップ実行処理中でのサブプログ
ラムのステップ実行処理速度が高速化されるという特徴
もある。
ージャ・ステップ実行処理により、サブプログラム内の
プログラム実行をリアルタイムエミュレーションにて行
い、従来技術で行っていた１命令ごとによるシングルス
テップ実行処理の繰り返しを行う必要がなくなったた
め、プロシージャ・ステップ実行処理中でのサブプログ
ラムのステップ実行処理速度が高速化されるという特徴
もある。
【図１】本発明のステップ実行処理を使用した実施形態
のフローチャートである。
のフローチャートである。
【図２】図１のステップ実行処理を使用した例のプログ
ラム流れ図である。
ラム流れ図である。
【図３】従来のＣＡＬＬ命令時のステップ／プロシージ
ャ・ステップ実行のプログラム流れ図である。
ャ・ステップ実行のプログラム流れ図である。
【図４】従来の実行前検出器を用いたイベントブレーク
のプログラム流れ図である。
のプログラム流れ図である。
【図５】従来の実行前検出器がない場合のファームウェ
アで対応したフローチャートである。
アで対応したフローチャートである。
【図６】図５の処理を説明するプログラム流れ図であ
る。
る。
【図７】図５で異常が発生する場合のプログラム流れ図
である。
である。
１０１，２０１，３０１，４０１ メインプログラム １０２，２０２，３０２，４０２ ＣＡＬＬ（Ｘ） １０３ アクセスブレークイベントの仕掛 １０４，２０４，４０４ サブプログラムＸ １０５ リアルタイムエミュレーション １０８，４０８ サブプログラムＹ １０９，１１１，４１５，４１７ ＰＯＰ ＲＰ１ １１０，１１２，４１６，４１８ ＢＲ ＲＰ１ １１３ 戻りアドレス ２０５ プロシージャ・シングルステップ実行 ２０６ ＭＯＶ ３０３ ＮＯＰ ４０３，４０９ ＣＯＵＮＴ＝１ ４０５ ＣＡＬＬ Ｙ ４０６，４１９ ＣＯＵＮＴ＝２ ４０７，４１１ ＲＥＴ
───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平５−313948（ＪＰ，Ａ) 特開 平４−332055（ＪＰ，Ａ) 特開 平３−223938（ＪＰ，Ａ) 特開 平１−130234（ＪＰ，Ａ) 特開 平５−216717（ＪＰ，Ａ) 実開 昭62−201860（ＪＰ，Ｕ)
Claims (2)
- 【請求項１】 被検査対象であるユーザプログラムを実
行するインサーキットエミュレータによりシングルステ
ップ実行可能なデバッグ処理を行うプロシージャ・ステ
ップ処理方法において、前記ユーザプログラム中のサブ
プログラムへの分岐命令のプロシージャ・ステップ実行
処理を実行する前に、戻りアドレスを退避するスタック
エリアに前記インサーキットエミュレータの実行後検出
を行うアクセスブレークイベントを設定し、前記スタッ
クエリアへ退避した戻りアドレス値とプログラムカウン
ト値との一致を検出し、この検出結果が一致した場合は
ステップ実行処理を終了し、前記検出結果が一致しない
場合にはこの検出結果が一致するまでステップ実行処理
を継続することを特徴とするプロシージャステップ処理
方法。 - 【請求項２】 ステップ実行処理を行う命令がサブプロ
グラムへの分岐命令か否かを判断し、前記サブプログラ
ムへの分岐命令であればプロシージャ・ステップ実行処
理を開始し、前記サブプログラムへの分岐命令でなけれ
ば前記プロシージャ・ステップ実行処理を行わないステ
ップと、前記分岐命令であればスタックエリアに戻りア
ドレスの退避を行うステップと、次に設定されているイ
ベントの退避を行い前記戻りアドレスに実行後検出によ
るアクセスイベントブレークの設定を行うステップと、
前記ステップ実行処理をリアルタイムエミュレーション
にて行うステップと、前記アクセスイベントブレークを
検出し前記戻りアドレスとプログラムカウント値とが一
致した時前記リアルタイムエミュレーションの中断を行
うステップと、前記リアルタイムエミュレーションの中
断後に前記ステップ実行後検出による前記アクセスイベ
ントブレークの解除を行い前記退避したイベントの復元
を行うステップとを含むことを特徴とするプロシージャ
ステップ実行処理方法。
Priority Applications (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP7311242A JP2735523B2 (ja) | 1995-11-29 | 1995-11-29 | プロシージャ・ステップ処理方法 |
| EP96118360A EP0778524A1 (en) | 1995-11-17 | 1996-11-15 | Method and device for evaluating a program |
| US08/751,619 US6185700B1 (en) | 1995-11-17 | 1996-11-18 | Method and device for evaluating a program |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP7311242A JP2735523B2 (ja) | 1995-11-29 | 1995-11-29 | プロシージャ・ステップ処理方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH09152980A JPH09152980A (ja) | 1997-06-10 |
| JP2735523B2 true JP2735523B2 (ja) | 1998-04-02 |
Family
ID=18014807
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP7311242A Expired - Fee Related JP2735523B2 (ja) | 1995-11-17 | 1995-11-29 | プロシージャ・ステップ処理方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2735523B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8341383B2 (en) * | 2007-11-02 | 2012-12-25 | Qualcomm Incorporated | Method and a system for accelerating procedure return sequences |
-
1995
- 1995-11-29 JP JP7311242A patent/JP2735523B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH09152980A (ja) | 1997-06-10 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP5905911B2 (ja) | シングルステップ実行を用いる診断コード | |
| GB2329049A (en) | A debugger interface unit for identifying selected exceptions | |
| EP0530816A2 (en) | Microprocessor with cache memory and trace analyzer therefor | |
| JP3872196B2 (ja) | マイクロコンピュータ | |
| JP2735523B2 (ja) | プロシージャ・ステップ処理方法 | |
| JP2713124B2 (ja) | インサーキット・エミュレータ | |
| JPH04332055A (ja) | プログラム暴走検知方法 | |
| JP3159155B2 (ja) | プログラムのデバッグ方法および装置 | |
| JPS595932B2 (ja) | デ−タ処理方式 | |
| JP2002116926A (ja) | プログラム処理装置およびプログラム処理方法 | |
| JP3068578B2 (ja) | インサーキットエミュレータおよび飽和演算処理方法 | |
| JP3124788B2 (ja) | 組込型マルチタスクオペレーティングシステムの例外処理方法 | |
| JP2743889B2 (ja) | プログラム評価の方法および装置 | |
| JP2786215B2 (ja) | 再開処理制御方式 | |
| JP2550708B2 (ja) | デバッグ方式 | |
| JPH07225681A (ja) | 割込制御装置 | |
| JP2984674B1 (ja) | プロシージャ・ステップ処理方法、プロシージャ・ステップ処理装置、及びその記録媒体 | |
| JPH07210421A (ja) | スレッド環境におけるデバッグ方法 | |
| CN111767119A (zh) | 一种不触发系统保护的内核挂钩方法 | |
| JPH04199336A (ja) | マイクロコンピュータ | |
| JPS6146535A (ja) | 擬似エラ−設定制御方式 | |
| JPH07210420A (ja) | スレッド環境におけるデバッグ方法 | |
| JPH11242613A (ja) | マイクロプロセッサ | |
| KR19990076180A (ko) | 리스크 기반의 내장된 시스템에서 유효하지 않은 주소공간접근에 의한 시스템 장애 조기 발견 방법 | |
| JPH10312310A (ja) | 中央処理装置の自己診断方法および自己診断機能を備えた中央処理装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19971209 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
| R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080109 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090109 Year of fee payment: 11 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100109 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110109 Year of fee payment: 13 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110109 Year of fee payment: 13 |
|
| S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110109 Year of fee payment: 13 |
|
| R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110109 Year of fee payment: 13 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120109 Year of fee payment: 14 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130109 Year of fee payment: 15 |
|
| LAPS | Cancellation because of no payment of annual fees |