JPS60179847A - 実配列および仮配列間の整合性チエツク方式 - Google Patents
実配列および仮配列間の整合性チエツク方式Info
- Publication number
- JPS60179847A JPS60179847A JP59035800A JP3580084A JPS60179847A JP S60179847 A JPS60179847 A JP S60179847A JP 59035800 A JP59035800 A JP 59035800A JP 3580084 A JP3580084 A JP 3580084A JP S60179847 A JPS60179847 A JP S60179847A
- Authority
- JP
- Japan
- Prior art keywords
- array
- size
- subprogram
- actual
- real
- 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.)
- Granted
Links
Landscapes
- Executing Machine-Instructions (AREA)
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔発明の技術分野〕
本発明は、プログラム処理におけるエラー検出方式に関
し、特にＦＯＲＴＲＡＮプログラム等のプログラム処理
において、サブルーチンの呼び出しが行われた場合に、
サブルーチン側のデータの仮配列の大きさと実引数で渡
されたデータの配列の大きさとの間の整合性をチェック
する方式に関する。
し、特にＦＯＲＴＲＡＮプログラム等のプログラム処理
において、サブルーチンの呼び出しが行われた場合に、
サブルーチン側のデータの仮配列の大きさと実引数で渡
されたデータの配列の大きさとの間の整合性をチェック
する方式に関する。
たとえば、主副構造のＦＯＲＴＲＡＮプログラムでは２
本体の主プログラムから副プログラムのサブルーチンを
呼び出しくＣＡＬＬ）したり、関数を引用したりする場
合、副プログラムの仮引数に対してプログラム実行段階
で主プログラムから実引数の配列が引き渡され、副プロ
グラムの処理が行われる。
本体の主プログラムから副プログラムのサブルーチンを
呼び出しくＣＡＬＬ）したり、関数を引用したりする場
合、副プログラムの仮引数に対してプログラム実行段階
で主プログラムから実引数の配列が引き渡され、副プロ
グラムの処理が行われる。
ところで従来のコンパイラは、主プログラムも副プログ
ラムも連係させずに別々にコンパイルするようになって
おり、主副相互間の配列不整合はチェックしていない。
ラムも連係させずに別々にコンパイルするようになって
おり、主副相互間の配列不整合はチェックしていない。
このため、副プログラムの仮配列の大きさが不定のもの
であった場合に、副プログラムが、少なくとも主プログ
ラムから引き渡された実配列の大きさを超える処理を行
うものであったとしてもこれを知ることができず、プロ
グラム実行の結果、許容されていない他の領域を破壊し
てしまうことがあった。
であった場合に、副プログラムが、少なくとも主プログ
ラムから引き渡された実配列の大きさを超える処理を行
うものであったとしてもこれを知ることができず、プロ
グラム実行の結果、許容されていない他の領域を破壊し
てしまうことがあった。
第１図は、このようなプログラム処理の１例を示したも
のである。図中、１は主プログラム、２はサブルーチン
副プログラム、３は実引数テーブル、４は仮引数テーブ
ルを示す。
のである。図中、１は主プログラム、２はサブルーチン
副プログラム、３は実引数テーブル、４は仮引数テーブ
ルを示す。
実引数テーブル３および仮引数テーブル４は。
それぞれ主プログラム１およびサブルーチン副プログラ
ム２のソースをコンパイルする際に、オブジェクトと一
緒に作成されるものであり、対応するプログラムの引数
の属性を示している。
ム２のソースをコンパイルする際に、オブジェクトと一
緒に作成されるものであり、対応するプログラムの引数
の属性を示している。
実引数テーブル３の内容は図示のように、■配列名：Ａ
、■１要素の長さ： ４ Ｂｙｔｅｓ、■配列の大きさ
： ２０ Ｂｙｔｅｓ、■１次元の下限；１．■１次元
の上限：５となり、第２図に斜線部分で示すように、実
行時に定まる■の配列の先頭番地から２０ Ｂｙｔｅｓ
の領域が、配列Ａの領域となる。
、■１要素の長さ： ４ Ｂｙｔｅｓ、■配列の大きさ
： ２０ Ｂｙｔｅｓ、■１次元の下限；１．■１次元
の上限：５となり、第２図に斜線部分で示すように、実
行時に定まる■の配列の先頭番地から２０ Ｂｙｔｅｓ
の領域が、配列Ａの領域となる。
これに対して仮引数テーブル４では、■配列名：Ｂとな
るが、■の項目は使用されず、■配列の大きさ：不定、
■１次元の下限：１．■１次元の上限：不定、となる。
るが、■の項目は使用されず、■配列の大きさ：不定、
■１次元の下限：１．■１次元の上限：不定、となる。
このため、サブルーチン副プログラム２のＢ （１０）
＝Ｃが実行されると。
＝Ｃが実行されると。
第２図に示すように、主プログラム１から渡された実配
列の領域外にＣ″を書き込むことになり。
列の領域外にＣ″を書き込むことになり。
許容されていない他の領域を破壊することになる。
しかも、このような他の領域の破壊は実行段階で直ちに
知ることができないため、システムの信頼性において問
題があった。
知ることができないため、システムの信頼性において問
題があった。
本発明の目的は、主、側構造のプログラムの処理におい
て、大きさ不定の仮配列をもつ副プログラムが主プログ
ラムから渡された実配列の大きさを超えた処理を行った
とき、これをエラーとして直ちに検出できるようにする
ことにあり、そのための構成として、実引数をもつ主プ
ログラムと該主プログラムによって呼ばれる仮引数をも
つ副プログラムとからなり、前記実引数および仮引数の
それぞれの属性を示すテーブル手段をそなえたプログラ
ム処理システムにおいて、前記テーブル手段は少なくと
も実引数についての実配列の大きさを表すデータと仮引
数についての仮配列が大きさ不定であるか否かの表示と
を含み、前記副プログラムの実行に際して前記テーブル
手段より当該副プログラムの仮配列が大きさ不定である
か否かの表示を読み出し、大きさ不定である場合にさら
に主プログラムから引き渡された実引数の実配列の大き
さを読み出すとともに、副プログラムで使用している配
列の大きさを計算し、これら双方の大きさを比較して、
副プログラムで使用している配列の大きさが実施列の大
きさを超えている場合にエラー表示を行うことを特徴と
するものである。
て、大きさ不定の仮配列をもつ副プログラムが主プログ
ラムから渡された実配列の大きさを超えた処理を行った
とき、これをエラーとして直ちに検出できるようにする
ことにあり、そのための構成として、実引数をもつ主プ
ログラムと該主プログラムによって呼ばれる仮引数をも
つ副プログラムとからなり、前記実引数および仮引数の
それぞれの属性を示すテーブル手段をそなえたプログラ
ム処理システムにおいて、前記テーブル手段は少なくと
も実引数についての実配列の大きさを表すデータと仮引
数についての仮配列が大きさ不定であるか否かの表示と
を含み、前記副プログラムの実行に際して前記テーブル
手段より当該副プログラムの仮配列が大きさ不定である
か否かの表示を読み出し、大きさ不定である場合にさら
に主プログラムから引き渡された実引数の実配列の大き
さを読み出すとともに、副プログラムで使用している配
列の大きさを計算し、これら双方の大きさを比較して、
副プログラムで使用している配列の大きさが実施列の大
きさを超えている場合にエラー表示を行うことを特徴と
するものである。
以下に２本発明の詳細を実施例にしたがって説明する。
第３図は９本発明の１実施例によるデータ処理装置の構
成図である。図中、５はデータ処理装置。
成図である。図中、５はデータ処理装置。
６はプログラム処理部、７はメモリ、８は主プログラム
、９はサブルーチン副プログラム、１０は実引数テーブ
ル、１１は仮引数テーブル、１２はデパック情報である
。また■乃至■は制御ステップを表している。
、９はサブルーチン副プログラム、１０は実引数テーブ
ル、１１は仮引数テーブル、１２はデパック情報である
。また■乃至■は制御ステップを表している。
本実施例の主プログラム８．サブルーチン副プログラム
９．実引数テーブル１０は、それぞれ第１図に示した従
来例の主プログラム１．サブルーチン副プログラム２．
実引数テーブル３と同じものとして示されている。しか
し１本実施例の仮引数テーブル１１には、第１図の仮引
数テーブル４で使用されていなかった“■１要素の長さ
”の項目の代わりには、デパック情報１２の項目が設け
られ、仮配列が大きさ不定である場合に、コンパイル処
理時にその表示が設定されるようになっている。
９．実引数テーブル１０は、それぞれ第１図に示した従
来例の主プログラム１．サブルーチン副プログラム２．
実引数テーブル３と同じものとして示されている。しか
し１本実施例の仮引数テーブル１１には、第１図の仮引
数テーブル４で使用されていなかった“■１要素の長さ
”の項目の代わりには、デパック情報１２の項目が設け
られ、仮配列が大きさ不定である場合に、コンパイル処
理時にその表示が設定されるようになっている。
動作において、プログラム処理部６は、主プログラム８
がサブルーチン副プログラム９を呼び出したとき、まず
ステップ■で仮引数テーブル１１を参照し、そのデパッ
ク情＠１２から、仮配列の大きさが不定であるか否かを
識別する。仮配列の大きさが不定である場合には、ステ
ップ■で実引数テーブル１０中の“配列の大きさ”の値
ＡＩ（２０Ｂｙｔｅｓ）を仮引数テーブル１１の“配列
の大きさ”の値として取り込み２次にステップ■でサブ
ルーチン副プログラム９を実行する。その際配列を使用
する命令を実行するごとにその配列要素の位置Ａ２を計
算し、ステップ■でその値Ａ２が仮引数テーブル１１中
の“配列の大きさ′の値Ａ＋ （２０Ｂｙｔｅｓ）の内
にあるか否かを判定する。
がサブルーチン副プログラム９を呼び出したとき、まず
ステップ■で仮引数テーブル１１を参照し、そのデパッ
ク情＠１２から、仮配列の大きさが不定であるか否かを
識別する。仮配列の大きさが不定である場合には、ステ
ップ■で実引数テーブル１０中の“配列の大きさ”の値
ＡＩ（２０Ｂｙｔｅｓ）を仮引数テーブル１１の“配列
の大きさ”の値として取り込み２次にステップ■でサブ
ルーチン副プログラム９を実行する。その際配列を使用
する命令を実行するごとにその配列要素の位置Ａ２を計
算し、ステップ■でその値Ａ２が仮引数テーブル１１中
の“配列の大きさ′の値Ａ＋ （２０Ｂｙｔｅｓ）の内
にあるか否かを判定する。
図示のＢ （１０）＝Ｃの例でば、Ａ２が４ｏＢｙｔｅ
ｓとなるため、 Ａ ＋ ＜ Ａ ｚとなる。このよう
なＡ１＜Ａ２の場合には他領域破壊のおそれがあるため
。
ｓとなるため、 Ａ ＋ ＜ Ａ ｚとなる。このよう
なＡ１＜Ａ２の場合には他領域破壊のおそれがあるため
。
ステップ■でエラーメツセージを出力し、使用者に通知
する。
する。
使用者は、このエラーメソセージによりサブルーチン副
プログラムの配列の大きさの不整合を知り、その適切な
対応をとるときに、破壊が生じた場合の他領域の復元を
行うことができる。
プログラムの配列の大きさの不整合を知り、その適切な
対応をとるときに、破壊が生じた場合の他領域の復元を
行うことができる。
以上のように１本発明によれば、使用者は実引数と仮引
数との間で不整合が生じた場合を確実にチェックできる
ので、信頼性を向上できるとともに、エラー処理が容易
となる。
数との間で不整合が生じた場合を確実にチェックできる
ので、信頼性を向上できるとともに、エラー処理が容易
となる。
第１図は大きさ不定の仮配列が実配列の大きさを超える
プログラム処理例の説明図、第２図は第１図のプログラ
ム処理例における配列の説明図。 第３図は本発明の１実施例データ処理装置の構成図であ
る。。 図中、１および８は主プログラム、２および９はサブル
ーチン副プログラム、３および１０は実引数テーブル、
４および１１は仮引数テーブル。 ５はデータ処理装置、６はプログラム処理部、７はメモ
リ、１２はデパック情報を示す。 特許出願人 冨士通株式会社
プログラム処理例の説明図、第２図は第１図のプログラ
ム処理例における配列の説明図。 第３図は本発明の１実施例データ処理装置の構成図であ
る。。 図中、１および８は主プログラム、２および９はサブル
ーチン副プログラム、３および１０は実引数テーブル、
４および１１は仮引数テーブル。 ５はデータ処理装置、６はプログラム処理部、７はメモ
リ、１２はデパック情報を示す。 特許出願人 冨士通株式会社
Claims (1)
- 【特許請求の範囲】 実引数をもつ主プログラムと該主プログラムによって呼
ばれる仮引数をもつ副プログラムとからなり、前記実引
数および仮引数のそれぞれの属性を示すテーブル手段を
そなえたプログラム処理システムにおいて、前記テーブ
ル手段は少なくとも実引数についての実配列の大きさを
表すデータと仮引数についての仮配列が大きさ不定であ
るか否かの表示とを含み、前記副プログラムの実行に際
して前記テーブル手段より当該副プログラムの仮配列が
大きさ不定であるか否かの表示を読み出し。 大きさ不定である場合にさらに主プログラムから引き渡
された実引数の実配列の大きさを読み出すとともに、副
プログラムで使用している配列の大きさを計算し、これ
ら双方の大きさを比較して。 副プログラムで使用している配列の大きさが実配列の大
きさを超えている場合にエラー表示を行うことを特徴と
する実配列および仮配列間の整合性チェック方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP59035800A JPS60179847A (ja) | 1984-02-27 | 1984-02-27 | 実配列および仮配列間の整合性チエツク方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP59035800A JPS60179847A (ja) | 1984-02-27 | 1984-02-27 | 実配列および仮配列間の整合性チエツク方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS60179847A true JPS60179847A (ja) | 1985-09-13 |
| JPH0377541B2 JPH0377541B2 (ja) | 1991-12-10 |
Family
ID=12451991
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP59035800A Granted JPS60179847A (ja) | 1984-02-27 | 1984-02-27 | 実配列および仮配列間の整合性チエツク方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS60179847A (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS62224824A (ja) * | 1986-03-26 | 1987-10-02 | Hitachi Ltd | リンケ−ジコンベンシヨン方法 |
| JPS63147232A (ja) * | 1986-12-10 | 1988-06-20 | Nec Corp | 整合性検査方式 |
| JP2008145135A (ja) * | 2006-12-06 | 2008-06-26 | Shimadzu Corp | 粒度分布測定装置 |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS57113149A (en) * | 1980-12-29 | 1982-07-14 | Fujitsu Ltd | Interprogram control system |
-
1984
- 1984-02-27 JP JP59035800A patent/JPS60179847A/ja active Granted
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS57113149A (en) * | 1980-12-29 | 1982-07-14 | Fujitsu Ltd | Interprogram control system |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS62224824A (ja) * | 1986-03-26 | 1987-10-02 | Hitachi Ltd | リンケ−ジコンベンシヨン方法 |
| JPS63147232A (ja) * | 1986-12-10 | 1988-06-20 | Nec Corp | 整合性検査方式 |
| JP2008145135A (ja) * | 2006-12-06 | 2008-06-26 | Shimadzu Corp | 粒度分布測定装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0377541B2 (ja) | 1991-12-10 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPS63278145A (ja) | パラメ−タ対応検査方式 | |
| JPS60179847A (ja) | 実配列および仮配列間の整合性チエツク方式 | |
| JPH0736734A (ja) | アーギュメント値のチェック方法 | |
| JP2924392B2 (ja) | マイクロコンピュータシステム | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| JP2590083B2 (ja) | ソース・プログラム翻訳処理方法 | |
| JP2686801B2 (ja) | マイクロコンピュータのプログラム開発ツール | |
| JPS6051135B2 (ja) | パリテイビツト付加による命令語の検定方式 | |
| JPH03294934A (ja) | 高級プログラム言語用デバッガ | |
| JPH0244432A (ja) | 電子計算機制御方式 | |
| JPS6373437A (ja) | パリテイ回路検査方式 | |
| JPH0355633A (ja) | モジュール間インタフェイス検査装置 | |
| JPS60167043A (ja) | 情報処理装置 | |
| JPH04148432A (ja) | 情報処理装置 | |
| JPS63193235A (ja) | 条件コ−ド検査方法 | |
| JPH046019B2 (ja) | ||
| JPH0314148A (ja) | プログラム破壊検出装置 | |
| JPH03235135A (ja) | プログラムの自動検査方式 | |
| JPH03100837A (ja) | 共有データアクセス検出方式 | |
| JPS60110045A (ja) | 自動トレ−スダンプ方法 | |
| JPH03263134A (ja) | データ処理装置のテスト処理方式 | |
| JPS6250937A (ja) | 情報処理装置の試験方式 | |
| JPH01320547A (ja) | プログラム実行情報の収集方式 | |
| JPS62208136A (ja) | シ−ケンシヤル・コントロ−ル回路試験方式 | |
| JPS63228237A (ja) | プログラムデバツグ方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |