JPH04163637A - セグメンテーション機能をもつ電子計算機システム - Google Patents
セグメンテーション機能をもつ電子計算機システムInfo
- Publication number
- JPH04163637A JPH04163637A JP2288414A JP28841490A JPH04163637A JP H04163637 A JPH04163637 A JP H04163637A JP 2288414 A JP2288414 A JP 2288414A JP 28841490 A JP28841490 A JP 28841490A JP H04163637 A JPH04163637 A JP H04163637A
- Authority
- JP
- Japan
- Prior art keywords
- exit
- range
- segment
- branch
- exception
- 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.)
- Pending
Links
- 230000011218 segmentation Effects 0.000 title claims description 16
- 238000007689 inspection Methods 0.000 claims description 21
- 230000007257 malfunction Effects 0.000 abstract description 5
- 238000010586 diagram Methods 0.000 description 3
- 238000007796 conventional method Methods 0.000 description 1
Landscapes
- Executing Machine-Instructions (AREA)
- Debugging And Monitoring (AREA)
- Memory System Of A Hierarchy Structure (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
本発明は、セグメンテーション機能をもつ電子計算機シ
ステムに関する。 ｒ従来の技術】 従来、セグメンテーション機能をもつ電子計算機システ
ムにおいて、セグメント間の分岐を行う場合に、分岐先
アドレスが分岐先セグメント内にあるかの検査は行って
いたが、分岐先アドレスが正当な実行開始アドレスかの
検査は行っていなかった。 また、セグメント間の分岐命令のアドレスが正当な実行
終了アドレスかの検査も行っていなかった。
ステムに関する。 ｒ従来の技術】 従来、セグメンテーション機能をもつ電子計算機システ
ムにおいて、セグメント間の分岐を行う場合に、分岐先
アドレスが分岐先セグメント内にあるかの検査は行って
いたが、分岐先アドレスが正当な実行開始アドレスかの
検査は行っていなかった。 また、セグメント間の分岐命令のアドレスが正当な実行
終了アドレスかの検査も行っていなかった。
このように従来では、分岐先アドレスが正当な実行開始
であるか否かの検査を行わず、またセグメント間の分岐
命令のアドレスが正当な実行終了アドレスであるか否か
の検査も行っていなかったので、プログラムミス等によ
り、セグメント内のプログラムの途中に分岐して実行を
開始したり、プログラムの途中からセグメント外へ分岐
してしまうことによって、システムが誤動作する危険性
があった。 本発明はこのような従来の欠点を改善したもので、その
目的は、プログラムミス等により、システムが誤動作す
ることを有効に防止することの可能なセグメンテーショ
ン機能をもつ電子計算機システムを提供することにある
。
であるか否かの検査を行わず、またセグメント間の分岐
命令のアドレスが正当な実行終了アドレスであるか否か
の検査も行っていなかったので、プログラムミス等によ
り、セグメント内のプログラムの途中に分岐して実行を
開始したり、プログラムの途中からセグメント外へ分岐
してしまうことによって、システムが誤動作する危険性
があった。 本発明はこのような従来の欠点を改善したもので、その
目的は、プログラムミス等により、システムが誤動作す
ることを有効に防止することの可能なセグメンテーショ
ン機能をもつ電子計算機システムを提供することにある
。
本発明のセグメンテーション機能をもつ電子計算機シス
テムは、セグメント外からセグメント内に分岐できる範
囲を示す入口記述フィールドをセグメント記述子に設け
、分岐命令実行時に前記入口記述フィールドで示される
入口範囲内に分岐するかを検査する入口検査手段と、前
記入口検査手段により範囲外と判断された場合に例外を
発生させる入口例外発生手段とを有している。 また、セグメント内からセグメント外へ分岐できる範囲
を示す出口記述フィールドをセグメント記述子に設け、
分岐命令実行時に前記出口記述フィールドで示される出
口範囲内から分岐するかを検査する出口検査手段と、前
記出口検査手段により範囲外と判断された場合に例外を
発生させる出口例外発生手段とを有している。
テムは、セグメント外からセグメント内に分岐できる範
囲を示す入口記述フィールドをセグメント記述子に設け
、分岐命令実行時に前記入口記述フィールドで示される
入口範囲内に分岐するかを検査する入口検査手段と、前
記入口検査手段により範囲外と判断された場合に例外を
発生させる入口例外発生手段とを有している。 また、セグメント内からセグメント外へ分岐できる範囲
を示す出口記述フィールドをセグメント記述子に設け、
分岐命令実行時に前記出口記述フィールドで示される出
口範囲内から分岐するかを検査する出口検査手段と、前
記出口検査手段により範囲外と判断された場合に例外を
発生させる出口例外発生手段とを有している。
分岐命令実行時に、入口記述フィールドに示される入口
範囲内に分岐するかを検査し、また出口記述フィールド
で示される出口範囲内から分岐するかを検査して、範囲
内にないときには例外を発生させ、プログラムミス等に
よる誤動作を防止している。
範囲内に分岐するかを検査し、また出口記述フィールド
で示される出口範囲内から分岐するかを検査して、範囲
内にないときには例外を発生させ、プログラムミス等に
よる誤動作を防止している。
以下、本発明について図面を参照して説明する。
第１図は本発明の一実施例のブロック図であり、第１図
には、セグメント１ａからセグメント１ｂへの分岐命令
１５を実行する場合が例として示されている。 第１図を参照すると、本実施例の電子計算機システムで
は、２つのセグメントｌａ、ｌｂに対応させて、２つの
セグメント記述子２ａ、２ｂが設けられており、各セグ
メント記述子２ａ、２ｂは、セグメント外からセグメン
ト内に分岐できる範囲を示す入口記述フィールド３ａ、
３ｂと、セグメント内からセグメント外へ分岐できる範
囲を示す出口記述フィールド４ａ、４ｂとを有している
。 また計算システムは、分岐命令１５の実行時に、入口記
述フィールド３ｂで示される入口範囲内に分岐するかを
検査する入口検査手段 １１と、入口検査手段１１によ
り範囲外と判断された場合に、例外を発生させる入口例
外発生手段１３と、分岐命令１５の実行時に出口記述フ
ィールド４ａで示される出口範囲内から分岐するかを検
査する出口検査手段１２と、出口検査手段１２により範
囲外と判断された場合に例外を発生させる出口例外手段
１４とを有している。 第２図、第４図、第６図、第８図には、このような構成
の計算システムの具体例が示されている。 第２図にはセグメント記述子２ａ、２ｂの入口記述フィ
ールド３ａ、３ｂにおいて、セグメント外からセグメン
ト内に分岐できる範囲を開始アドレス５ｂおよび終了ア
ドレス６ｂで示し、また、セグメント記述子２ａ、２ｂ
の出口記述フィールド４ａ、４ｂにおいてセグメント内
からセグメント外へ分岐できる範囲を開始アドレス５ａ
および終了アドレス６ａで示す場合が示されている。 この場合の処理動作を第３図のフローチャートを用いて
説明する。 セグメント１ａからセグメント１ｂへの分岐命令１５を
実行する時、出口検査手段１２は、分岐命令１５のアド
レス（＝１０５１０５番地グメント記述子２ａ内の出口
記述フィールド４ａの開始アドレス５ａ（＝１（１０）
番地）以上でかつ終了アドレス６ａ（＝１１０１１０番
地であるが否かを検査する（ステップＳｌ）。 第２図の場合には、範囲内にあるため例外は発生しない
が、もし範囲外ならば出口例外発生手段１４により例外
を発生させる（ステップＳ２）。 ステップＳ１において範囲内であると判断されると、入
口検査手段１１は、分岐先アドレス（＝３番地）がセグ
メント記述子２ｂ内の入口記述フィールド３ｂの開始ア
ドレス５ｂ（＝１番地）以上でかつ終了アドレス６ｂ（
＝５番地）以下であるか否かを検査する（ステップＳ３
）。 第２図の場合には、範囲内にあるため例外は発生しない
が、もし範囲外ならば入口例外発生手段１３により例外
を発生させる（ステップ３４）。 ステップＳ１、Ｓ３のいずれにおいても、範囲内にある
と検査されたときには、分岐を行う（ステップＳ′５）
。 また、第４図には、入口記述フィールド３ａ。 ３ｂ、出口記述フィールド４ａ、４ｂにおいて、分岐で
きる範囲を特定アドレス７ｂ、７ａに限る場合が示され
ている。 この場合の処理動作を第５図のフローチャートを用いて
説明する。 セグメント１ａからセグメント１ｂへの分岐命令１５を
実行する時、出口検査手段１２は、分岐命令の１５のア
ドレス（＝１０５番地）がセグメント記述子２ａ内の出
口記述フィールド４ａの特定アドレス７ａ（＝１．０５
５番地と等しいか否かを検査する（ステップ５１１）。 この結果、等しくなければ出口例外発生手段１４により
例外を発生させる（ステップ１２）。 これに対し、ステップＳｌｌで範囲内であると検査され
ると、入口検査手段１１は、分岐先アドレス（−３番地
）がセグメント記述子２ｂ内の入口記述フィールド３ｂ
の特定アドレス７ｂ（＝３３番地と等しいか否かを検査
する（ステップ１３）。 この結果、等しくなければ、入口例外発生手段１２によ
り例外を発生させ（ステップ５１４）、等しければ、分
岐を行う（ステップ５１５）。 また、第６図には、入口記述フィールド３ａ。 ３ｂにおいて、分岐できる範囲を開始ページ番号８ｂ及
び終了ページ番号及び終了ページ番号９ｂで示し、また
、出口記述フィールド４ａ、４ｂにおいて、分岐できる
範囲を開始ページ番号８ａ及び終了ページ番号９ａで示
す場合が示されている。 この場合の処理動作を第７図のフローチャートを用いて
説明する。いま、１ページを１（１０）０語とすると、
出口検査手段１２は、分岐命令１５のアドレス（＝２１
（１０）番地）が属するページ番号（−第２ページ）が
セグメント記述子２ａ内の出口記述フィールド４ａの開
始ページ番号８ａ（＝第１ページ）以上でかつ終了ペー
ジ番号９ａ（＝第３ページ）以下であるか否かを検査す
る（ステップ５２１）。この結果、上記範囲内になけれ
ば、例外を発生させる（ステップ５２２）。 これに対し、上記範囲内にあれば、入口検査手段１１は
、分岐先アドレス（＝ １５（１０）番地）が属するペ
ージ番号（＝第１ページ）がセグメント記述子２ｂ内の
入口記述フィールド３ｂの開始ページ番号８ｂ（＝第０
ベージ）以上でかつ終了ページ番号９ｂ（＝第２ページ
）以下である７１１）否かを検査する（ステップ５２３
）。この結果、上記範囲内になければ、例外を発生させ
（ステップ５２４）、上記範囲内にあれば分岐を行う（
ステップ２５）。 第８図には、分岐できる範囲を特定ページ番号１０ｂ、
１０ａに限る場合が示されている。この場合の処理動作
を第９図のフローチャートを用いて説明する。 出口検査手段１２は、分岐命令１５のアドレス（＝２１
（１０）番地）が属するページ番号（＝第２ページ）が
セグメント記述子２ａ内の出口記述フィールド４ａの特
定ページ番号１０ａ（＝第２ページ）と等しいか否かを
検査する（ステップ５３１）。 この結果、等しくなければ、例外を発生させる（ステッ
プ５３２）。これに対し、等しければ、入口検査手段１
１は、分岐先アドレス（＝ １５（１０）番地）が属す
るページ番号（＝第１ページ）がセグメント記述子２ｂ
内の入口記述フィールド３ｂの特定ページ番号１０ｂ（
＝第１ページ）と等しいか否かを検査する（ステップ５
３３）。この結果、等しくなければ、例外を発生させ（
ステップ５３４）、等しければ、分岐を行う（ステップ
５３５）。
には、セグメント１ａからセグメント１ｂへの分岐命令
１５を実行する場合が例として示されている。 第１図を参照すると、本実施例の電子計算機システムで
は、２つのセグメントｌａ、ｌｂに対応させて、２つの
セグメント記述子２ａ、２ｂが設けられており、各セグ
メント記述子２ａ、２ｂは、セグメント外からセグメン
ト内に分岐できる範囲を示す入口記述フィールド３ａ、
３ｂと、セグメント内からセグメント外へ分岐できる範
囲を示す出口記述フィールド４ａ、４ｂとを有している
。 また計算システムは、分岐命令１５の実行時に、入口記
述フィールド３ｂで示される入口範囲内に分岐するかを
検査する入口検査手段 １１と、入口検査手段１１によ
り範囲外と判断された場合に、例外を発生させる入口例
外発生手段１３と、分岐命令１５の実行時に出口記述フ
ィールド４ａで示される出口範囲内から分岐するかを検
査する出口検査手段１２と、出口検査手段１２により範
囲外と判断された場合に例外を発生させる出口例外手段
１４とを有している。 第２図、第４図、第６図、第８図には、このような構成
の計算システムの具体例が示されている。 第２図にはセグメント記述子２ａ、２ｂの入口記述フィ
ールド３ａ、３ｂにおいて、セグメント外からセグメン
ト内に分岐できる範囲を開始アドレス５ｂおよび終了ア
ドレス６ｂで示し、また、セグメント記述子２ａ、２ｂ
の出口記述フィールド４ａ、４ｂにおいてセグメント内
からセグメント外へ分岐できる範囲を開始アドレス５ａ
および終了アドレス６ａで示す場合が示されている。 この場合の処理動作を第３図のフローチャートを用いて
説明する。 セグメント１ａからセグメント１ｂへの分岐命令１５を
実行する時、出口検査手段１２は、分岐命令１５のアド
レス（＝１０５１０５番地グメント記述子２ａ内の出口
記述フィールド４ａの開始アドレス５ａ（＝１（１０）
番地）以上でかつ終了アドレス６ａ（＝１１０１１０番
地であるが否かを検査する（ステップＳｌ）。 第２図の場合には、範囲内にあるため例外は発生しない
が、もし範囲外ならば出口例外発生手段１４により例外
を発生させる（ステップＳ２）。 ステップＳ１において範囲内であると判断されると、入
口検査手段１１は、分岐先アドレス（＝３番地）がセグ
メント記述子２ｂ内の入口記述フィールド３ｂの開始ア
ドレス５ｂ（＝１番地）以上でかつ終了アドレス６ｂ（
＝５番地）以下であるか否かを検査する（ステップＳ３
）。 第２図の場合には、範囲内にあるため例外は発生しない
が、もし範囲外ならば入口例外発生手段１３により例外
を発生させる（ステップ３４）。 ステップＳ１、Ｓ３のいずれにおいても、範囲内にある
と検査されたときには、分岐を行う（ステップＳ′５）
。 また、第４図には、入口記述フィールド３ａ。 ３ｂ、出口記述フィールド４ａ、４ｂにおいて、分岐で
きる範囲を特定アドレス７ｂ、７ａに限る場合が示され
ている。 この場合の処理動作を第５図のフローチャートを用いて
説明する。 セグメント１ａからセグメント１ｂへの分岐命令１５を
実行する時、出口検査手段１２は、分岐命令の１５のア
ドレス（＝１０５番地）がセグメント記述子２ａ内の出
口記述フィールド４ａの特定アドレス７ａ（＝１．０５
５番地と等しいか否かを検査する（ステップ５１１）。 この結果、等しくなければ出口例外発生手段１４により
例外を発生させる（ステップ１２）。 これに対し、ステップＳｌｌで範囲内であると検査され
ると、入口検査手段１１は、分岐先アドレス（−３番地
）がセグメント記述子２ｂ内の入口記述フィールド３ｂ
の特定アドレス７ｂ（＝３３番地と等しいか否かを検査
する（ステップ１３）。 この結果、等しくなければ、入口例外発生手段１２によ
り例外を発生させ（ステップ５１４）、等しければ、分
岐を行う（ステップ５１５）。 また、第６図には、入口記述フィールド３ａ。 ３ｂにおいて、分岐できる範囲を開始ページ番号８ｂ及
び終了ページ番号及び終了ページ番号９ｂで示し、また
、出口記述フィールド４ａ、４ｂにおいて、分岐できる
範囲を開始ページ番号８ａ及び終了ページ番号９ａで示
す場合が示されている。 この場合の処理動作を第７図のフローチャートを用いて
説明する。いま、１ページを１（１０）０語とすると、
出口検査手段１２は、分岐命令１５のアドレス（＝２１
（１０）番地）が属するページ番号（−第２ページ）が
セグメント記述子２ａ内の出口記述フィールド４ａの開
始ページ番号８ａ（＝第１ページ）以上でかつ終了ペー
ジ番号９ａ（＝第３ページ）以下であるか否かを検査す
る（ステップ５２１）。この結果、上記範囲内になけれ
ば、例外を発生させる（ステップ５２２）。 これに対し、上記範囲内にあれば、入口検査手段１１は
、分岐先アドレス（＝ １５（１０）番地）が属するペ
ージ番号（＝第１ページ）がセグメント記述子２ｂ内の
入口記述フィールド３ｂの開始ページ番号８ｂ（＝第０
ベージ）以上でかつ終了ページ番号９ｂ（＝第２ページ
）以下である７１１）否かを検査する（ステップ５２３
）。この結果、上記範囲内になければ、例外を発生させ
（ステップ５２４）、上記範囲内にあれば分岐を行う（
ステップ２５）。 第８図には、分岐できる範囲を特定ページ番号１０ｂ、
１０ａに限る場合が示されている。この場合の処理動作
を第９図のフローチャートを用いて説明する。 出口検査手段１２は、分岐命令１５のアドレス（＝２１
（１０）番地）が属するページ番号（＝第２ページ）が
セグメント記述子２ａ内の出口記述フィールド４ａの特
定ページ番号１０ａ（＝第２ページ）と等しいか否かを
検査する（ステップ５３１）。 この結果、等しくなければ、例外を発生させる（ステッ
プ５３２）。これに対し、等しければ、入口検査手段１
１は、分岐先アドレス（＝ １５（１０）番地）が属す
るページ番号（＝第１ページ）がセグメント記述子２ｂ
内の入口記述フィールド３ｂの特定ページ番号１０ｂ（
＝第１ページ）と等しいか否かを検査する（ステップ５
３３）。この結果、等しくなければ、例外を発生させ（
ステップ５３４）、等しければ、分岐を行う（ステップ
５３５）。
以上説明したように本発明は、プログラムミス等による
セグメント間の不正な分岐を検出してシステムの誤動作
を未然に防止することができるという効果がある。
セグメント間の不正な分岐を検出してシステムの誤動作
を未然に防止することができるという効果がある。
第１図は本発明に係るセグメンテーション機能をもつ電
子計算機システムの一実施例を示すブロック図、第２図
乃至第９図は第Ｉ１図の電子計算機システムの具体例を
示す図である。 図において、ｌａ、ｌｂ・・・セグメント、２ａ。 ２ｂ・・・セグメント記述子、３ａ、３ｂ・・・入口記
述フィールド、４ａ、４ｂ・・・出口記述フィールド、
５ａ、５ｂ・・・、開始アドレス、６ａ、６ｂ・・・終
了アドレス、７ａ、７ｂ・・・特定アドレス、８ａ、８
ｂ・・・開始ページ番号、９ａ、９ｂ・・・終了ページ
番号、１０ａ、１０ｂ・・・特定ページ番号、１１・・
・入口検査手段、１２・・・出口検査手段、１３・・・
入口例外発生手段、１４・・・出口例外発生手段、１５
・・・分岐命令。 代理人 弁理士 山 下 譲 平 第３図 第５図 第７図
子計算機システムの一実施例を示すブロック図、第２図
乃至第９図は第Ｉ１図の電子計算機システムの具体例を
示す図である。 図において、ｌａ、ｌｂ・・・セグメント、２ａ。 ２ｂ・・・セグメント記述子、３ａ、３ｂ・・・入口記
述フィールド、４ａ、４ｂ・・・出口記述フィールド、
５ａ、５ｂ・・・、開始アドレス、６ａ、６ｂ・・・終
了アドレス、７ａ、７ｂ・・・特定アドレス、８ａ、８
ｂ・・・開始ページ番号、９ａ、９ｂ・・・終了ページ
番号、１０ａ、１０ｂ・・・特定ページ番号、１１・・
・入口検査手段、１２・・・出口検査手段、１３・・・
入口例外発生手段、１４・・・出口例外発生手段、１５
・・・分岐命令。 代理人 弁理士 山 下 譲 平 第３図 第５図 第７図
Claims (10)
- （１）セグメント外からセグメント内に分岐できる範囲
を示す入口記述フィールドをセグメント記述子に設け、
分岐命令実行時に前記入口記述フィールドで示される入
口範囲内に分岐するかを検査する入口検査手段と、前記
入口検査手段により範囲外と判断された場合に例外を発
生させる入口例外発生手段とを有していることを特徴と
するセグメンテーション機能をもつ電子計算機システム
。 - （２）セグメント内からセグメント外へ分岐できる範囲
を示す出口記述フィールドをセグメント記述子に設け、
分岐命令実行時に前記出口記述フィールドで示される出
口範囲内から分岐するかを検査する出口検査手段と、前
記出口検査手段により範囲外と判断された場合に例外を
発生させる出口例外発生手段とを有していることを特徴
とするセグメンテーション機能をもつ電子計算機システ
ム。 - （３）セグメント外からセグメント内に分岐できる範囲
を開始アドレス及び終了アドレスで示す入口記述フィー
ルドをセグメント記述子に設け、分岐命令実行時に前記
入口記述フィールドで示される入口範囲内に分岐するか
を検査する入口検査手段と、前記入口検査手段により範
囲外と判断された場合に例外を発生させる入口例外発生
手段とを有していることを特徴とするセグメンテーショ
ン機能をもつ電子計算機システム。 - （４）セグメント内からセグメント外へ分岐できる範囲
を開始アドレス及び終了アドレスで示す出口記述フィー
ルドをセグメント記述子に設け、分岐命令実行時に前記
出口記述フィールドで示される出口範囲内から分岐する
かを検査する出口検査手段と、前記出口検査手段により
範囲外と判断された場合に例外を発生させる出口例外発
生手段とを有していることを特徴とするセグメンテーシ
ョン機能をもつ電子計算機システム。 - （５）セグメント外からセグメント内に分岐できる範囲
を開始ページ番号及び終了ページ番号で示す入口記述フ
ィールドをセグメント記述子に設け、分岐命令実行時に
前記入口記述フィールドで示される入口範囲内に分岐す
るかを検査する入口検査手段と、前記入口検査手段によ
り範囲外と判断された場合に例外を発生させる入口例外
発生手段とを有していることを特徴とするセグメンテー
ション機能をもつ電子計算機システム。 - （６）セグメント内からセグメント外へ分岐できる範囲
を開始ページ番号及び終了ページ番号で示す出口記述フ
ィールドをセグメント記述子に設け、分岐命令実行時に
前記出口記述フィールドで示される出口範囲内から分岐
するかを検査する出口検査手段と、前記出口検査手段に
より範囲外と判断された場合に例外を発生させる出口例
外発生手段とを有していることを特徴とするセグメンテ
ーション機能をもつ電子計算機システム。 - （７）セグメント外からセグメント内に分岐できる範囲
を特定のアドレスに限る入口記述フィールドをセグメン
ト記述子に設け、分岐命令実行時に前記入口記述フィー
ルドで示される入口範囲内に分岐するかを検査する入口
検査手段と、前記入口検査手段により範囲外と判断され
た場合に例外を発生させる入口例外発生手段とを有して
いることを特徴とするセグメンテーション機能をもつ電
子計算機システム。 - （８）セグメント内からセグメント外へ分岐できる範囲
を特定のアドレスに限る出口記述フィールドをセグメン
ト記述子に設け、分岐命令実行時に前記出口記述フィー
ルドで示される出口範囲内から分岐するかを検査する出
口検査手段と、前記出口検査手段により範囲外と判断さ
れた場合に例外を発生させる出口例外発生手段とを有し
ていることを特徴とするセグメンテーション機能をもつ
電子計算機システム。 - （９）セグメント外からセグメント内に分岐できる範囲
を特定のページ番号に限る入口記述フィールドをセグメ
ント記述子に設け、分岐命令実行時に前記入口記述フィ
ールドで示される入口範囲内に分岐するかを検査する入
口検査手段と、前記入口検査手段により範囲外と判断さ
れた場合に例外を発生させる入口例外発生手段とを有し
ていることを特徴とするセグメンテーション機能をもつ
電子計算機システム。 - （１０）セグメント内からセグメント外へ分岐できる範
囲を特定のページ番号に限る出口記述フィールドをセグ
メント記述子に設け、分岐命令実行時に前記出口記述フ
ィールドで示される出口範囲内から分岐するかを検査す
る出口検査手段と、前記出口検査手段により範囲外と判
断された場合に例外を発生させる出口例外発生手段とを
有していることを特徴とするセグメンテーション機能を
もつ電子計算機システム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2288414A JPH04163637A (ja) | 1990-10-29 | 1990-10-29 | セグメンテーション機能をもつ電子計算機システム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2288414A JPH04163637A (ja) | 1990-10-29 | 1990-10-29 | セグメンテーション機能をもつ電子計算機システム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04163637A true JPH04163637A (ja) | 1992-06-09 |
Family
ID=17729905
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2288414A Pending JPH04163637A (ja) | 1990-10-29 | 1990-10-29 | セグメンテーション機能をもつ電子計算機システム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04163637A (ja) |
-
1990
- 1990-10-29 JP JP2288414A patent/JPH04163637A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110941528B (zh) | 一种基于故障的日志埋点设置方法、装置及系统 | |
| US9513911B2 (en) | Method of detecting stack overflows and processor for implementing such a method | |
| US20020133807A1 (en) | Automation and isolation of software component testing | |
| CN116841906A (zh) | 智能合约的检测方法、装置及电子设备 | |
| JPH04163637A (ja) | セグメンテーション機能をもつ電子計算機システム | |
| JPH0736734A (ja) | アーギュメント値のチェック方法 | |
| JP2002527809A (ja) | 入口アドレスを防御する方法 | |
| Chen et al. | Mining Defects of Result-Sensitive Function Based on Information Entropy | |
| JPS60179847A (ja) | 実配列および仮配列間の整合性チエツク方式 | |
| JPS6111853A (ja) | 情報処理装置 | |
| JPS63143649A (ja) | 外来ノイズによる誤動作防止方式 | |
| Rosu et al. | Proofs of safety for untrusted code | |
| JPH03250222A (ja) | 推論方式 | |
| Nankaku et al. | A Dynamic Control Mechanism of Interrupt Stack Overflow on Real‐Time Embedded Monitor (REMON) | |
| JPH0311434A (ja) | プログラム異常シーケンス検出方式 | |
| JPS62205446A (ja) | 異常動作検出装置 | |
| JPH08137714A (ja) | マルチタスクプログラムのデバッグ方法およびデバッグシステム | |
| JPS61103256A (ja) | 状態履歴記憶方式 | |
| JPS62118448A (ja) | 不定値参照の検出方式 | |
| Kofron | Software Component Verification: On Translating Behavior Protocols to Promela Technical Report | |
| JPS6118047A (ja) | プログラムの冗長実行方式 | |
| JPS638949A (ja) | プログラムの検査装置 | |
| JPH04333935A (ja) | Ｃａｌｌ命令の引数自動検査処理方式 | |
| JPH03100837A (ja) | 共有データアクセス検出方式 | |
| JPS6219937A (ja) | 引数の妥当性検査方式 |