JPH0362223A - Ｐｒｏｌｏｇにおけるローカルスタックの管理方法 - Google Patents
Ｐｒｏｌｏｇにおけるローカルスタックの管理方法Info
- Publication number
- JPH0362223A JPH0362223A JP19832389A JP19832389A JPH0362223A JP H0362223 A JPH0362223 A JP H0362223A JP 19832389 A JP19832389 A JP 19832389A JP 19832389 A JP19832389 A JP 19832389A JP H0362223 A JPH0362223 A JP H0362223A
- Authority
- JP
- Japan
- Prior art keywords
- environment
- choice
- local stack
- choice point
- created
- 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
- 238000000034 method Methods 0.000 title description 9
- ONIBWKKTOPOVIA-BYPYZUCNSA-N L-Proline Chemical compound OC(=O)[C@@H]1CCCN1 ONIBWKKTOPOVIA-BYPYZUCNSA-N 0.000 claims 1
- 239000013256 coordination polymer Substances 0.000 description 3
- 230000008034 disappearance Effects 0.000 description 3
- 238000013473 artificial intelligence Methods 0.000 description 2
- 230000006378 damage Effects 0.000 description 2
- 238000012217 deletion Methods 0.000 description 2
- 230000037430 deletion Effects 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000008030 elimination Effects 0.000 description 2
- 238000003379 elimination reaction Methods 0.000 description 2
- 238000007726 management method Methods 0.000 description 2
- 230000008033 biological extinction Effects 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
［発明の目的］
（産業上の利用分野）
この発明は、Ｐｒｏｌｏｇを実行する計算機システムに
係り、特にチョイスポイントおよびエンバイロメントが
作成されるローカルスタックの管理方法に関する。
係り、特にチョイスポイントおよびエンバイロメントが
作成されるローカルスタックの管理方法に関する。
（従来の技術）
ＡＩ（人工知能）言語としてのＰｒｏｌｏｇを実行する
計算機システム（マシン）に、ＷＡ Ｍ （Ｗａｒｒｅ
ｎ Ａｂｓｔｒａｃｔ Ｍａｃｈｌｎｅ ）がある０こ
のＷＡＭでは、チョイスポイント（ｃｈｏｉｃｅ ｐｏ
ｉｎｔ）とエンバイロメント（ｅｎｖｉｒｏｎｍｅｎｔ
）は、ローカルスタック上に混在して作成されていた
。そのため、チョイスポイントまたはエンバイロメント
（のデータ構造）を消滅させる命令を実行する際には、
その対象となるチョイスポイントまたはエンバイロメン
トより上に、エンバイロメントまたはチョイスポイント
が残っているか否かをチエツクする必要があった。例え
ば第３図に示すように、ローカルスタック３１上に、チ
ョイスポイントＣＰ１、エンバイロメントＥ１、そして
′ｆ−ヨイスポイントＣＰ２の順に生成された場合、エ
ンバイロメントＥ１を消滅させる命令を実行する際には
、エンバイロメントＥ１より上にチョイスポイントが残
っているか否かをチエツクする必要がある。
計算機システム（マシン）に、ＷＡ Ｍ （Ｗａｒｒｅ
ｎ Ａｂｓｔｒａｃｔ Ｍａｃｈｌｎｅ ）がある０こ
のＷＡＭでは、チョイスポイント（ｃｈｏｉｃｅ ｐｏ
ｉｎｔ）とエンバイロメント（ｅｎｖｉｒｏｎｍｅｎｔ
）は、ローカルスタック上に混在して作成されていた
。そのため、チョイスポイントまたはエンバイロメント
（のデータ構造）を消滅させる命令を実行する際には、
その対象となるチョイスポイントまたはエンバイロメン
トより上に、エンバイロメントまたはチョイスポイント
が残っているか否かをチエツクする必要があった。例え
ば第３図に示すように、ローカルスタック３１上に、チ
ョイスポイントＣＰ１、エンバイロメントＥ１、そして
′ｆ−ヨイスポイントＣＰ２の順に生成された場合、エ
ンバイロメントＥ１を消滅させる命令を実行する際には
、エンバイロメントＥ１より上にチョイスポイントが残
っているか否かをチエツクする必要がある。
第３図の例では、エンバイロメントＥ１より上にチョイ
スポイントＣＰ２が残っており、この場合にはＥｌを消
滅させることはできない。なお、チョイスポイントまた
はエンバイロメントの消滅は、ローカルスタック３１の
ポインタを移動することにより行われる。
スポイントＣＰ２が残っており、この場合にはＥｌを消
滅させることはできない。なお、チョイスポイントまた
はエンバイロメントの消滅は、ローカルスタック３１の
ポインタを移動することにより行われる。
（従来の技術）
上記したように従来のＰｒｏｌｏｇにおけるローカルス
タックの管理方法では、チョイスポイントとエンバイロ
メントはローカルスタック上に混在して作成されていた
ため、ローカルスタック上に作成されているチョイスポ
イントまたはエンバイロメントを消滅させる命令を実行
する際には、その対象となるチョイスポイントまたはエ
ンバイロメントより上に、エンバイロメントまたはチョ
イスポイントが残っているか否か（したがって消滅不可
能か可能か）をチエツクしなければならず、処理速度が
低下するという問題があった。
タックの管理方法では、チョイスポイントとエンバイロ
メントはローカルスタック上に混在して作成されていた
ため、ローカルスタック上に作成されているチョイスポ
イントまたはエンバイロメントを消滅させる命令を実行
する際には、その対象となるチョイスポイントまたはエ
ンバイロメントより上に、エンバイロメントまたはチョ
イスポイントが残っているか否か（したがって消滅不可
能か可能か）をチエツクしなければならず、処理速度が
低下するという問題があった。
この発明は上記事情に鑑みてなされたものでその目的は
、ローカルスタック上に作成されているチョイスポイン
トまたはエンバイロメントを消滅させる命令が、その消
滅の可否をチエツクすることなく実行できるＰｒｏｌｏ
ｇにおけるローカルスタックの管理方法を提供すること
にある。
、ローカルスタック上に作成されているチョイスポイン
トまたはエンバイロメントを消滅させる命令が、その消
滅の可否をチエツクすることなく実行できるＰｒｏｌｏ
ｇにおけるローカルスタックの管理方法を提供すること
にある。
［発明の構成］
（課題を解決するための手段）
この発明は、Ｐｒｏｌｏｇを実行する計算機システムに
おいて、チョイスポイントとエンバイロメントが作成さ
れるローカルスタック上で、上記チョイスポイントおよ
びエンバイロメントの作成領域を偶数ワード領域と奇数
ワード領域とに分けて管理するようにしたことを特徴と
するものである。
おいて、チョイスポイントとエンバイロメントが作成さ
れるローカルスタック上で、上記チョイスポイントおよ
びエンバイロメントの作成領域を偶数ワード領域と奇数
ワード領域とに分けて管理するようにしたことを特徴と
するものである。
（作用）
上記の構成によれば、ローカルスタックの偶数ワード領
域または奇数ワード領域の一方だけにチョイスポイント
が順に作成され、他方だけにエンバイロメントが順に作
成されるように管理される。したがって、ローカルスタ
ック上に作成されているチョイス、ポイントまたはエン
バイロメントを消滅させる命令を実行する際に、その対
象となるチョイスポイントまたはエンバイロメントより
上にエンバイロメントまたはチョイスポイントが残って
いても、管理対象となる領域（偶数または奇数ワード領
域）が異なることから、その命令を実行しても何等不都
合はなく、従来片われていた消滅可否のチエツクが不要
となる。
域または奇数ワード領域の一方だけにチョイスポイント
が順に作成され、他方だけにエンバイロメントが順に作
成されるように管理される。したがって、ローカルスタ
ック上に作成されているチョイス、ポイントまたはエン
バイロメントを消滅させる命令を実行する際に、その対
象となるチョイスポイントまたはエンバイロメントより
上にエンバイロメントまたはチョイスポイントが残って
いても、管理対象となる領域（偶数または奇数ワード領
域）が異なることから、その命令を実行しても何等不都
合はなく、従来片われていた消滅可否のチエツクが不要
となる。
（実施例）
第１図はこの発明を適用するＷＡＭの一実施例を示す要
部機能ブロック構成図である。図中、１１はローカルス
タック、ＣＰＩ、ＣＦ２はローカルスタック１１上に順
に作成されているチョイスポイント、Ｅ１〜Ｅ３はロー
カルスタックｌｌ上に順に作成されているエンバイロメ
ントである。本実施例において、チョイスポイントＣＰ
Ｉ、ＣＰ２は、ローカルスタック１１の偶数ワード（偶
数アドレス）領域だけに作成され、エンバイロメントＥ
１〜Ｅ３はローカルスタック１１の奇数ワード（奇数ア
ドレス）領域だけに作成される。Ｂは次に作成すべきチ
ョイスポイントのボトム位置（示すポインタ情報）が設
定されるチョイスポイントレジスタ、Ｅは次に作成すべ
きエンバイロメントのボトム位置（示すポインタ情報）
が設定されるエンバイロメントレジスタである。チョイ
スポイントレジスタＢおよびエンバイロメントレジスタ
Ｅは、一種のポインタレジスタであり、ローカルスタッ
ク１１と共に主記憶（図示せず）上に置かれる。
部機能ブロック構成図である。図中、１１はローカルス
タック、ＣＰＩ、ＣＦ２はローカルスタック１１上に順
に作成されているチョイスポイント、Ｅ１〜Ｅ３はロー
カルスタックｌｌ上に順に作成されているエンバイロメ
ントである。本実施例において、チョイスポイントＣＰ
Ｉ、ＣＰ２は、ローカルスタック１１の偶数ワード（偶
数アドレス）領域だけに作成され、エンバイロメントＥ
１〜Ｅ３はローカルスタック１１の奇数ワード（奇数ア
ドレス）領域だけに作成される。Ｂは次に作成すべきチ
ョイスポイントのボトム位置（示すポインタ情報）が設
定されるチョイスポイントレジスタ、Ｅは次に作成すべ
きエンバイロメントのボトム位置（示すポインタ情報）
が設定されるエンバイロメントレジスタである。チョイ
スポイントレジスタＢおよびエンバイロメントレジスタ
Ｅは、一種のポインタレジスタであり、ローカルスタッ
ク１１と共に主記憶（図示せず）上に置かれる。
１２はローカルスタック１１を初期化（イニシャライズ
）するローカルスタック初期化部、１３はローカルスタ
ック１１の偶数ワード領域にチョイスポイントを作成す
るチョイスポイント作成部、１４はローカルスタック１
１の奇数ワード領域にエンバイロメントを作成するエン
バイロメント作成部である。１５はローカルスタック１
１上のチョイスポイントを消滅させるチョイスポイント
消滅部、１Ｂはローカルスタックｌｌ上のエンバイロメ
ントを消滅させるエンバイロメント消滅部である。
）するローカルスタック初期化部、１３はローカルスタ
ック１１の偶数ワード領域にチョイスポイントを作成す
るチョイスポイント作成部、１４はローカルスタック１
１の奇数ワード領域にエンバイロメントを作成するエン
バイロメント作成部である。１５はローカルスタック１
１上のチョイスポイントを消滅させるチョイスポイント
消滅部、１Ｂはローカルスタックｌｌ上のエンバイロメ
ントを消滅させるエンバイロメント消滅部である。
次に、第１図の構成の動作を第２図（ａ）乃至第２図（
ｅ）のフローチャートを参照して説明する。なお、第２
図（ａ）はローカルスタック初期化部１２によるローカ
ルスタック初期化処理を示すフローチャート、第２図（
ｂ）はチョイスポイント作成部１３のチョイスポイント
作成処理を示すフローチャート、第２図（Ｃ）はエンバ
イロメント作成部１４のエンバイロメント作成処理を示
すフローチャート、第２図（ｄ）はチョイスポイント消
滅部１５のチョイスポイント消滅処理を示すフローチャ
ート、第２図（ｅ）はエンバイロメント消滅部１６のエ
ンバイロメント消滅処理を示すフローチャートである。
ｅ）のフローチャートを参照して説明する。なお、第２
図（ａ）はローカルスタック初期化部１２によるローカ
ルスタック初期化処理を示すフローチャート、第２図（
ｂ）はチョイスポイント作成部１３のチョイスポイント
作成処理を示すフローチャート、第２図（Ｃ）はエンバ
イロメント作成部１４のエンバイロメント作成処理を示
すフローチャート、第２図（ｄ）はチョイスポイント消
滅部１５のチョイスポイント消滅処理を示すフローチャ
ート、第２図（ｅ）はエンバイロメント消滅部１６のエ
ンバイロメント消滅処理を示すフローチャートである。
まず、初期状態においては、ローカルスタック初期化部
１２（ローカルスタック初期化ルーチン）が起動される
。これによりローカルスタック初期化部１２は、ローカ
ルスタック１１のボトムを示すアドレス（偶数アドレス
）を（チョイスポイント用ポインタの初期値として）チ
ョイスポイントレジスタＢにセットしくステップａｌ
） 、このアドレスに１を加えたアドレス（奇数アドレ
ス）を（エンバイロメント用ポインタの初期値として）
エンバイロメントレジスタＥにセットする（ステップａ
２）。以上のアドレスセット動作により、ローカルスタ
ック１１が実質的に初期化されたことになる。
１２（ローカルスタック初期化ルーチン）が起動される
。これによりローカルスタック初期化部１２は、ローカ
ルスタック１１のボトムを示すアドレス（偶数アドレス
）を（チョイスポイント用ポインタの初期値として）チ
ョイスポイントレジスタＢにセットしくステップａｌ
） 、このアドレスに１を加えたアドレス（奇数アドレ
ス）を（エンバイロメント用ポインタの初期値として）
エンバイロメントレジスタＥにセットする（ステップａ
２）。以上のアドレスセット動作により、ローカルスタ
ック１１が実質的に初期化されたことになる。
さて、Ｐｒｏｌｏｇの処理が行われ、チョイスポイント
を作成するためのＷＡＭの命令の実行時には、チョイス
ポイント作成部１３ （チョイスポイント作成ルーチン
）が起動される。チョイスポイント作成部１３は、現在
のチョイスポイントレジスタＢの内容を含む新たなチョ
イスポイントを、チョイスポイントレジスタＢの示すア
ドレスをボトムとするローカルスタック１１上の偶数ワ
ード領域に作成し、この新たなチョイスポイント（の作
成領域）のトップのアドレス＋１をチョイスポイントレ
ジスタＢにセットする（ステップｂｌ）。
を作成するためのＷＡＭの命令の実行時には、チョイス
ポイント作成部１３ （チョイスポイント作成ルーチン
）が起動される。チョイスポイント作成部１３は、現在
のチョイスポイントレジスタＢの内容を含む新たなチョ
イスポイントを、チョイスポイントレジスタＢの示すア
ドレスをボトムとするローカルスタック１１上の偶数ワ
ード領域に作成し、この新たなチョイスポイント（の作
成領域）のトップのアドレス＋１をチョイスポイントレ
ジスタＢにセットする（ステップｂｌ）。
また、エンバイロメントを作成するためのＷＡＭの命令
の実行時には、エンバイロメント作成部１４（エンバイ
ロメント作成ルーチン）が起動さ・れる。
の実行時には、エンバイロメント作成部１４（エンバイ
ロメント作成ルーチン）が起動さ・れる。
エンバイロメント作成部１４は、エンバイロメントレジ
スタＥの示すアドレスをボトムとするローカルスタック
１Ｌ上の奇数ワード領域に新たなエンバイロメントを作
成し、この新たなエンバイロメント（の作成領域）のト
ップのアドレス＋１をエンバイロメントレジスタＥにセ
ットする（ステップｃｌ）。このように本実施例では、
チョイスポイントはローカルスタック１１の偶数ワード
領域だけに連続して作成され、エンバイロメントはロー
カルスタック１１の奇数領域だけに連続して作成される
。以上のチョイスポイントおよびエンバイロメントの両
方に着目した場合、そのローカルスタック１１上での並
びは作成順に一致しない。しかし、チョイスポイントま
たはエンバイロメントの一方だけに着目した場合には、
そのローカルスタック１１での並びは作成順に一致し、
しかもローカルスタックｌ！の偶数ワード領域（チョイ
スポイントの場合）または奇数ワード領域（エンバイロ
メントの場合）だけに限られる。したがって本実施例で
は、チョイスポイントまたはエンバイロメントを消滅さ
せる命令の実行が、以下に述べるように簡単に行える。
スタＥの示すアドレスをボトムとするローカルスタック
１Ｌ上の奇数ワード領域に新たなエンバイロメントを作
成し、この新たなエンバイロメント（の作成領域）のト
ップのアドレス＋１をエンバイロメントレジスタＥにセ
ットする（ステップｃｌ）。このように本実施例では、
チョイスポイントはローカルスタック１１の偶数ワード
領域だけに連続して作成され、エンバイロメントはロー
カルスタック１１の奇数領域だけに連続して作成される
。以上のチョイスポイントおよびエンバイロメントの両
方に着目した場合、そのローカルスタック１１上での並
びは作成順に一致しない。しかし、チョイスポイントま
たはエンバイロメントの一方だけに着目した場合には、
そのローカルスタック１１での並びは作成順に一致し、
しかもローカルスタックｌ！の偶数ワード領域（チョイ
スポイントの場合）または奇数ワード領域（エンバイロ
メントの場合）だけに限られる。したがって本実施例で
は、チョイスポイントまたはエンバイロメントを消滅さ
せる命令の実行が、以下に述べるように簡単に行える。
まず、チョイスポイントを消滅させる命令の実行時には
、チョイスポイント消滅部１５（チョイスポイント消滅
ルーチン）が起動される。チョイスポイント消滅部１５
は、チョイスポイントレジスタＢの内容−１で示される
アドレスをトップとするローカルスタック１１上の現在
のチョイスポイント、即ち最も最近に作成されたチョイ
スポイント（第１図の例ではチョイスポイントＣＰ２）
の内部にセーブされている情報のうち、同情報がセーブ
された際のチョイスポイントレジスタＢの内容、即ち旧
チａイスポイントレジスタＢの内容（第１図の例では、
現在のチョイスポイントＣＰ２のボトム位置、即ち現在
のチョイスポイントＣＰ２に先行して作成されたチョイ
スポイントＣＰＩのトップの次の位置を示すアドレス）
をチョイスポイントレジスタＢにロードする（ステップ
ｄｉ）。
、チョイスポイント消滅部１５（チョイスポイント消滅
ルーチン）が起動される。チョイスポイント消滅部１５
は、チョイスポイントレジスタＢの内容−１で示される
アドレスをトップとするローカルスタック１１上の現在
のチョイスポイント、即ち最も最近に作成されたチョイ
スポイント（第１図の例ではチョイスポイントＣＰ２）
の内部にセーブされている情報のうち、同情報がセーブ
された際のチョイスポイントレジスタＢの内容、即ち旧
チａイスポイントレジスタＢの内容（第１図の例では、
現在のチョイスポイントＣＰ２のボトム位置、即ち現在
のチョイスポイントＣＰ２に先行して作成されたチョイ
スポイントＣＰＩのトップの次の位置を示すアドレス）
をチョイスポイントレジスタＢにロードする（ステップ
ｄｉ）。
これにより、チョイスポイントについては、現在のチョ
イスポイント（ＣＰ ２）が作成される前の状態に戻さ
れ、現在のチョイスポイント（ＣＰ ２）が実質的に消
滅される。この際、チョイスポイン）ＣＦ２とチョイス
ポイントＣＰＩとの間で１っ或はそれ以上のエンバイロ
メントが作成されていたとしても、同エンバイロメント
はチョイスポイントと穴なってローカルスタック１１の
奇数ワード領域に作成されているため、上記のチョイス
ポイント消滅処理によって誤って消滅される虞はない。
イスポイント（ＣＰ ２）が作成される前の状態に戻さ
れ、現在のチョイスポイント（ＣＰ ２）が実質的に消
滅される。この際、チョイスポイン）ＣＦ２とチョイス
ポイントＣＰＩとの間で１っ或はそれ以上のエンバイロ
メントが作成されていたとしても、同エンバイロメント
はチョイスポイントと穴なってローカルスタック１１の
奇数ワード領域に作成されているため、上記のチョイス
ポイント消滅処理によって誤って消滅される虞はない。
したがって、チョイスポイントを消滅される命令の実行
時に、その対象チョイスポイントの消滅の可否をチエツ
クする必要がなくなる。
時に、その対象チョイスポイントの消滅の可否をチエツ
クする必要がなくなる。
次に、エンバイロメントを消滅させる命令の実行時には
、エンバイロメント消滅部１Ｂ（エンバイロメント消滅
ルーチン）が起動される。エンバイロメント消滅部１８
は、エンバイロメントレジスタＥの内容−１で示される
アドレスをトップとするローカルスタックｌｌ上の現在
のエンバイロメント、即ち最も最近に作成されたエンバ
イロメント（第１図の例ではエンバイロメントＥ３）の
内部にセーブされている情報のうち、同情報がセーブさ
れた際のエンバイロメントレジスタＥの内容、即ち旧エ
ンバイロメントレジスタＥの内容（第１図の例では、現
在のチョイスポイントＥ３のボトム位置、即ち現在のチ
ョイスポイントＥ３に先行して作成されたエンバイロメ
ントＥ２のトップの次の位置を示すアドレス）をエンバ
イロメントレジスタＥにロードする（ステップｅｌ）。
、エンバイロメント消滅部１Ｂ（エンバイロメント消滅
ルーチン）が起動される。エンバイロメント消滅部１８
は、エンバイロメントレジスタＥの内容−１で示される
アドレスをトップとするローカルスタックｌｌ上の現在
のエンバイロメント、即ち最も最近に作成されたエンバ
イロメント（第１図の例ではエンバイロメントＥ３）の
内部にセーブされている情報のうち、同情報がセーブさ
れた際のエンバイロメントレジスタＥの内容、即ち旧エ
ンバイロメントレジスタＥの内容（第１図の例では、現
在のチョイスポイントＥ３のボトム位置、即ち現在のチ
ョイスポイントＥ３に先行して作成されたエンバイロメ
ントＥ２のトップの次の位置を示すアドレス）をエンバ
イロメントレジスタＥにロードする（ステップｅｌ）。
これにより、エンバイロメントについては、現在のエン
バイロメント（Ｅ３）が作成される前の状態に戻され、
現在のエンバイロメント（Ｅ３）が実質的に消滅される
。この際、エンバイロメントＥ３とエンバイロメントＥ
２との間で１つ或はそれ以上のチョイスポイントが作成
されていたとしても、同チョイスポイントはエンバイロ
メントと異なってローカルスタック１１の偶数ワード領
域に作成されているため、上記のエンバイロメント消滅
処理によって誤って消滅される虞はない。したがって、
エンバイロメントを消滅される命令の実行時に、その対
象エンバイロメントの消滅の可否をチエツクする必要が
なくなる。
バイロメント（Ｅ３）が作成される前の状態に戻され、
現在のエンバイロメント（Ｅ３）が実質的に消滅される
。この際、エンバイロメントＥ３とエンバイロメントＥ
２との間で１つ或はそれ以上のチョイスポイントが作成
されていたとしても、同チョイスポイントはエンバイロ
メントと異なってローカルスタック１１の偶数ワード領
域に作成されているため、上記のエンバイロメント消滅
処理によって誤って消滅される虞はない。したがって、
エンバイロメントを消滅される命令の実行時に、その対
象エンバイロメントの消滅の可否をチエツクする必要が
なくなる。
以上のように本実施例では、ローカルスタック１１の偶
数ワード領域だけにチョイスポイントがが順に作成され
、ローカルスタック１１の奇数ワード領域だけにエンバ
イロメントが順に作成されるように管理しているので、
ローカルスタック１１上に作成されているチョイスポイ
ントまたはエンバイロメントを消滅させる命令を実行す
る際に、その対象となるチョイスポイントまたはエンバ
イロメントより後に作成されたエンバイロメントまたは
チョイスポイントが残っていても、管理対象となる領域
（偶数または奇数ワード領域）が異なることから、その
命令を実行しても最も最新のチョイスポイントまたはエ
ンバイロメントから先に正しく消滅させることができる
ため、従来行われていた消滅可否のチエツクは不要とな
り、処理の高速化が図れる。特に、ハードウェアでロー
カルスタックのバウンダリチエツクを行っているシステ
ムでは、１つのローカルスタックを偶数ワード領域と奇
数ワード領域とに別けて管理することが簡単に行え、し
たがってローカルスタックの種類をチョイスポイント用
スタックと、エンバイロメント用スタックのようにハー
ドウェア的に増やす必要はないため、効果は著しい。
数ワード領域だけにチョイスポイントがが順に作成され
、ローカルスタック１１の奇数ワード領域だけにエンバ
イロメントが順に作成されるように管理しているので、
ローカルスタック１１上に作成されているチョイスポイ
ントまたはエンバイロメントを消滅させる命令を実行す
る際に、その対象となるチョイスポイントまたはエンバ
イロメントより後に作成されたエンバイロメントまたは
チョイスポイントが残っていても、管理対象となる領域
（偶数または奇数ワード領域）が異なることから、その
命令を実行しても最も最新のチョイスポイントまたはエ
ンバイロメントから先に正しく消滅させることができる
ため、従来行われていた消滅可否のチエツクは不要とな
り、処理の高速化が図れる。特に、ハードウェアでロー
カルスタックのバウンダリチエツクを行っているシステ
ムでは、１つのローカルスタックを偶数ワード領域と奇
数ワード領域とに別けて管理することが簡単に行え、し
たがってローカルスタックの種類をチョイスポイント用
スタックと、エンバイロメント用スタックのようにハー
ドウェア的に増やす必要はないため、効果は著しい。
なお、前記実施例では、ローカルスタック１１の偶数ワ
ード領域をチョイスポイントの作成領域に割当て、ロー
カルスタック１１の奇数ワード領域をエンバイロメント
の作成領域に割当てた場合について説明したが、その逆
の割当てであってもよい。
ード領域をチョイスポイントの作成領域に割当て、ロー
カルスタック１１の奇数ワード領域をエンバイロメント
の作成領域に割当てた場合について説明したが、その逆
の割当てであってもよい。
［発明の効果〕
以上詳述したようにこの発明によれば、ローカルスタッ
クの偶数ワード領域または奇数ワード領域の一方だけに
チョイスポイントが順に作成され、他方だけにエンバイ
ロメントが順に作成される構成としたので、ローカルス
タック上に作成されているチョイスポイントまたはエン
バイロメントを消滅させる命令を実行する際に、その対
象となるチョイスポイントまたはエンバイロメントより
上にエンバイロメントまたはチョイスポイントが残って
いても、管理対象となる領域（偶数または奇数ワード領
域）が叉なることから、その命令を実行しても不都合が
生じる虞がなくなる。したがって、従来行われていた消
滅可否のチエツクが不要となり、Ｐｒｏｌｏｇのプログ
ラムの実行が高速に行える。
クの偶数ワード領域または奇数ワード領域の一方だけに
チョイスポイントが順に作成され、他方だけにエンバイ
ロメントが順に作成される構成としたので、ローカルス
タック上に作成されているチョイスポイントまたはエン
バイロメントを消滅させる命令を実行する際に、その対
象となるチョイスポイントまたはエンバイロメントより
上にエンバイロメントまたはチョイスポイントが残って
いても、管理対象となる領域（偶数または奇数ワード領
域）が叉なることから、その命令を実行しても不都合が
生じる虞がなくなる。したがって、従来行われていた消
滅可否のチエツクが不要となり、Ｐｒｏｌｏｇのプログ
ラムの実行が高速に行える。
第１図はこの発明の一実施例を示す機能ブロック構６．
図、第２図は動作を説明する゛ためのフローチャート、
第３図は従来のローカルスタックの管理方法の問題を説
明するための図である。 ｔｉ、 ａｔ・・・ローカルスタック、１２・・・ロー
カルスタック初期化部、１３・・・チョイスポイント作
成部、１４・・・エンバイロメント作底部、１５・・・
チョイスポイント消滅部、１Ｂ・・・エンバイロメント
消滅部、Ｂ・・・チョイスポイントレジスタ、Ｅ・・・
エンバイロメントレジスタ、ＣＰＩ、ＣＦ２・・・チョ
イスポイント、Ｅ１〜Ｅ３・・・エンバイロメント。
図、第２図は動作を説明する゛ためのフローチャート、
第３図は従来のローカルスタックの管理方法の問題を説
明するための図である。 ｔｉ、 ａｔ・・・ローカルスタック、１２・・・ロー
カルスタック初期化部、１３・・・チョイスポイント作
成部、１４・・・エンバイロメント作底部、１５・・・
チョイスポイント消滅部、１Ｂ・・・エンバイロメント
消滅部、Ｂ・・・チョイスポイントレジスタ、Ｅ・・・
エンバイロメントレジスタ、ＣＰＩ、ＣＦ２・・・チョ
イスポイント、Ｅ１〜Ｅ３・・・エンバイロメント。
Claims (1)
- Ｐｒｏｌｏｇを実行する計算機システムにおいて、チョ
イスポイントとエンバイロメントが作成されるローカル
スタック上で、上記チョイスポイントおよびエンバイロ
メントの作成領域を偶数ワード領域と奇数ワード領域と
に分けて管理するようにしたことを特徴とするＰｒｏｌ
ｏｇにおけるローカルスタックの管理方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP19832389A JPH0362223A (ja) | 1989-07-31 | 1989-07-31 | Ｐｒｏｌｏｇにおけるローカルスタックの管理方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP19832389A JPH0362223A (ja) | 1989-07-31 | 1989-07-31 | Ｐｒｏｌｏｇにおけるローカルスタックの管理方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0362223A true JPH0362223A (ja) | 1991-03-18 |
Family
ID=16389201
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP19832389A Pending JPH0362223A (ja) | 1989-07-31 | 1989-07-31 | Ｐｒｏｌｏｇにおけるローカルスタックの管理方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0362223A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8123409B2 (en) | 2009-02-27 | 2012-02-28 | Mitsubishi Heavy Industries, Ltd. | Journal bearing |
-
1989
- 1989-07-31 JP JP19832389A patent/JPH0362223A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8123409B2 (en) | 2009-02-27 | 2012-02-28 | Mitsubishi Heavy Industries, Ltd. | Journal bearing |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| KR100284975B1 (ko) | 플래시 메모리가 주 메모리를 보충하도록 하는 메모리 관리자 | |
| US5367682A (en) | Data processing virus protection circuitry including a permanent memory for storing a redundant partition table | |
| US7793144B2 (en) | Storage system with cascaded copy targeting and enhanced integrity | |
| JPH08255084A (ja) | Ｅｅｐｒｏｍのアップグレード方法 | |
| JPS6275735A (ja) | エミユレ−シヨン方法 | |
| US20060053260A1 (en) | Computing system with memory mirroring and snapshot reliability | |
| US6779099B2 (en) | Operation method for controlling access attributes of a memorized page of a memory unit and its structure | |
| JPH0362223A (ja) | Ｐｒｏｌｏｇにおけるローカルスタックの管理方法 | |
| US7293266B2 (en) | Plurality of loader modules with a CO- ordinator module where selected loader module executes and each loader module execute | |
| WO1993013477A1 (en) | Computer protection device | |
| JPS58211254A (ja) | 蓄積プログラム制御方式 | |
| JPH10161942A (ja) | 情報記憶方法及び情報記憶装置及び情報処理装置 | |
| US20040073744A1 (en) | Method for the secure updating data areas in non volatile memory, device to perform such a method | |
| JP2004078265A (ja) | 記憶装置の防火壁制御装置及び制御方法 | |
| JPS6339933B2 (ja) | ||
| US6134577A (en) | Method and apparatus for enabling address lines to access the high memory area | |
| JPH1153249A (ja) | メモリ管理方法 | |
| US5434979A (en) | Disk drive controller | |
| JPS595496A (ja) | メモリプロテクト方式 | |
| JPH07253931A (ja) | プログラムデータ格納領域の破壊防止方式 | |
| JPH11259308A (ja) | プログラマブルコントローラ | |
| JPH0831045B2 (ja) | 仮想計算機のメモリクリア処理方式 | |
| JPS60103405A (ja) | ロボツト等の実時間処理制御方法 | |
| JPH01300352A (ja) | ダンプ領域指示制御方式 | |
| JPS61150049A (ja) | 情報処理装置 |