JPH02114331A - 無限構造検出装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は無限構造検出装置、特に関数型言語、論理型言
語などの処理装置において、無限構造を持つ構造データ
を効率良く扱う無限構造検出装置に関するものである。

〔従来の技術〕

従来、無限構造を持つ構造データは扱えないか、ソフト
ウェアまたはファームウェアによって一度読み出したデ
ータに印を付けるなどの方法がとられてきた。

〔発明が解決しようとする課題〕

関数型言語、論理型言語において無限構造を持つデータ
構造を扱えると言語の記述力が高まることが知られてい
たが、無限構造の検出は時間のかかる処理であるため、
一般には無限構造の検出は行われず、無限構造があられ
れた場合には、処理が停止しないなどの問題点があった
。

また、ソフトウェアまたはファームウェアによって検出
を行う場合にも記憶装置に対するデータの読み出し格納
回数が検出を行わない場合に対して著しく増えるという
問題点があった。

本発明の目的は、無限構造の有無の検出をより容易に行
う装置を提供することにある。

〔課題を解決するための手段〕

本発明は、無限構造を持つ構造データの無限構造検出装
置において、構造データを格納する記憶装置と、前記記
憶装置に読み出し番地を与えるアドレスレジスタと、前
記記憶装置からデータを読み出した回数を数えるカウン
タと、前記カウンタの値により、前記記憶装置により読
み出したデー、夕の格納番地を記憶する位置レジスタと
、前記アドレスレジスタと前記位置レジスタの値を比較
する比較器とを有している。

〔作用〕

無限構造を検出するためには、ある構造データの処理中
に、あるデータの読み出しを行った際、そのデータが、
その構造データの処理を開始してから既に一回読み出さ
れたものであるかどうかを調べなくてはならない。

第４図に示す無限構造について考えてみる。この構造は
２語からなる構造（以下セルと呼ぶ）から構成されてお
り、 （ａｂｃｄｅｆｂｃｄｅｆｂ＝−） なる無限構造である。この構造が無限構造であるかどう
かを調べるには、無限構造中のどれか一つのデニタの格
納番地（セル２，３，４，５．６の場所のいずれか）を
覚えておいて（この値を記憶するレジスタを位置レジス
タと呼ぶ）、これから読み出そうといているデータの格
納番地との比較を行えば良い。

例えば、この構造の読み出しを始めてから、セル４まで
読み出した時にセル４の格納番地を位置レジスタに記憶
したならば、セル５，６と読み出し、セル２，３と繰り
返し読み出したところで、位置レジスタの値とこれから
読み出そうとしているセル４の格納番地が一致し、セル
４は既に読み出したものであることが判るためこの構造
が無限構造であることが判る。

しかし、まず、セル１の格納番地を位置レジスタに記憶
した場合には、無限構造セル２，３゜４．５．６から構
成されているため、記憶したセル１の格納番地とこれか
ら読み出そうとしているセルの格納番地を比較してもそ
の結果が一致することがないため、この構造が無限構造
かどうか判定することができない。

本発明の装置では、データ読み出し回数を保持するカウ
ンタを設け、その値がある値に達するごとに位置レジス
タに保持する格納番地を変えることによって、上記のよ
うな場合にも、無限構造であることを検出できるように
するものである。

この時、例えば８回データを読み出すごとに、位置レジ
スタにその時のデータの格納番地を格納するのでは長さ
がＮ以上の無限構造を検出することができないため、位
置レジスタにデータの格納番地を記憶させる間隔をデー
タの読み出し回数に応じて単調増加的に長くすることに
よって、どのような無限構造でも検出可能としている。

第５図に示すようなデータ構造を扱う場合には、セル２
を読み出した結果、セル？、８．９゜１０．１１の読み
出しを行うことになる。この時、例えばセル８の格納番
地が位置レジスタに格納され、その後セル４を読み出し
た結果再びセルフ、８．９，１０．１１が読み出されよ
うとする時まで位置レジスタの値が更新され′ていない
とすれば、位置レジスタに格納されているセル８の格納
番地とこれから読み出そうとしているセル８の格納番地
が一致するため、このままでは第５図に示した構造は無
限構造であると判断されてしまうが、この場合は、セル
２に続くセルフ、８゜９．１０．１１の読み出しが終了
し、セル３の読み出しに戻る時に、位置レジスタの値を
セル３の格納番地に変えることによって、正しく判断を
行うことができる。

〔実施例〕

次に、本発明を図面に従い説明する。

第１図に本発明の一実施例のブロック図を示す。

図においては、０１はカウンタ、０２はアドレスレジス
タ、０３は位置レジスタ、ｏ４は比較器、０５は２語同
時に読みだし可能な記憶装置、０６．０７はデータレジ
スタ、０８はスタックポインタ、０９はセレクタ、１０
は以上の装置の制御を行う制御装置である。構造データ
は記憶装置０５に格納されており、アドレスレジスタＯ
２によってデータを読み出し番地が指定され、記憶装置
０５より読み出されデータレジスタ０６．０７に格納さ
れる。

カウンタ０１は構造データの読み出し回数を数えるため
のカウンタであり、アドレスレジスタ０２は記憶装置０
５の読み出し格納番地を与えるためのレジスタである。

データレジスタ０６゜０７は記憶装置から同時に読み出
された２語を格納するためのレジスタである。

位置レジスタ０３は以前読み出したデータの格納番地を
保持しているレジスタである。データレジスタ０６，０
７は記憶装置から同時に読み出された２語を格納するた
めのレジスタである。

位置レジスタ０３は以前読み出しなブタの格納番地を保
持しているレジスタである。位置レジスタ０３へのアド
レスレジスタ０２からの書き込みは、カウンタ０１の値
に基づき制御装置によって指示される。比較器０４はア
ドレスレジスタ０２の合愛と位置レジスタ０４の値を比
較する比較器であり、その結果が一致ならば無限構造が
検出されなことを示す。

スタ・シフポインタ０８は、第５図に示したような構造
データの処理を行う場合に、セル２の読み出しによって
、セルフ、８，９，１０．１１の読み出しに取り掛る際
に、セルフ、８．９，１０゜１１の処理が終了した後に
、セル３からの処理を続けるためにセル３の格納番地を
記憶しておく番地を示すレジスタである。

以下、第２図に示した構造データを例にとり、無限構造
の検出を行う過程を詳細に述べる。ここでは、位置レジ
スタ０３にアドレスレジスタ０２の値を格納した後、デ
ータの読み出し回数が２の累乗に達するごとに位置レジ
スタ０３に、アドレスレジスタ０２の値をコピーするも
のとする。すなわち、データの読み出し回数が１回目な
らばアドレスレジスタ０２の値が位置レジスタ０３にコ
ピーされる０次にデータが、さらに２回（計３回）読み
出されるとその時のアドレスレジスタ０２の値が位置レ
ジスタ０３にコピーされる。そのご更に、４回（計７回
）、８回（計１５回）とデータが読み出されるごとに、
アドレスレジスタ０２の値が位置レジスタ０３にコピー
されるものとする。

まずセル１の格納番地がアドレスレジスタ０２に与えら
れ、セル１の読み出しが行われ、その結果セル１の値が
データレジスタ０６，０７に格納される。この読み出し
は、１回目の読み出しであるため、アドレスレジスタ０
２の格納されているセル１の格納番地が位置レジスタ０
３にコピーされカウンタ０１の値はＯにリセットされる
。データレジスタ０７の値がポインタで、かつデータレ
ジスタ０６の値がデータであるため（ポインタであるか
どうかの判定はデータの値によって制御装置１０によっ
て行われる）、次いでセル２が読み出される。

セル２の値がデータレジスタ０６，０７に読み出される
。この値は両方ともポインタであるため、スタックポイ
ンタ０８の値がアドレスレジスタ０２にコピーされ、デ
ータレジスタ０７の値はスタックポインタ０８によって
示される格納番地に書き込まれる。

次いで、データレジスタ０６の値がアドレスレジスタ０
２のコピーされ、セル９の値が、データレジスタ０６，
０７に読み出される。この時、読みだし回数が２回（計
３回）になっているためアドレスレジスタ０２の値（セ
ル９の格納番地）が位置レジスタ０３にコピーされる。

次いで、セル１０がデータレジスタ０６，０７に読み出
されるが、この値は両者ともポインタではないため、ス
タックポインタ０８の値がアドレスレジスタ０２に転送
され、先はど格納したセル３の格納番地が読み出され、
アドレスレジスタ０２に格納され、セル３がデータレジ
スタ０６゜０７に読み出される。

この時、スタックポインタ０８を用いてセルの読み出し
番地が変更されているため、この時のアドレスレジスタ
０２の値（セル３の格納番地）が位置レジスタ０３に格
納され、さらにカウンタ０１の値がＯにリセットされる
。従って、この後データが４回読み出された時に位置レ
ジスタ０３にアドレスレジスタ０２の値がコピーされる
ことになる。

セル３が読み出された結果、上記と同様にして、セル４
の格納番地が記憶装置０５に格納され、また、セル９．
１０が再び読み出される。その結果上記の場合と同様に
して、セル４が読み出され、セル４の格納番地が位置レ
ジスタ０３に格納され、カウンタ０１の値がリセットさ
れる。

次にセル４が読み出されるがこの場合には、データレジ
スタ０６に読み出された値がポインタであるため、その
値がアドレスレジスタ０２に転送され、セル５が読み出
される。以後、セル６゜７．８．と読み出され、セル８
がセル４から数えて４番目のデータであるため、セル８
の格納番地が位置レジスタ０３に記憶される。

以降、セル４，５．６．７と読み出され、セル８を読み
出そうとしたところで、アドレスレジスタ０２の値と位
置レジスタ０８の値が位置し、この構造が無限構造であ
ることが検出される。

以上、本発明の一実施例について説明したが、本発明は
この実施例のみに限定されるものではなく、カウンタの
制御方式、位置レジスタの構成方式などを複雑にした場
合、記憶装置の構成方式を変えた場合、キャッシュメモ
リ装置等を用いた場合でも基本的実施方法は変わらない
。位置レジスタを２個設け、処理効率化を計った場合の
位置レジスタの構成例を第３図に示す。

この例では、まず、位置レジスタ０３，０３’に同様の
値が格納されるが、それ以降は、位置レジスタ０３の値
が更新されるごとに、その値が位置レジスタ０３′に格
納される。その結果、第１図に示した例では、例えば、
セル８の格納番地を位置レジスタ０３に格納する際に、
位置レジスタ０３の値が位置レジスタ０３′に転送され
ているため、次にセル４の読み出しと行おうとした場合
に、アドレスレジスタ０４と位置レジスタ０３’の値が
一致するため、より速く無限構造であることを検出でき
る。

〔発明の効果〕

本発明によれば、小量の装置の追加により、無限構造の
検出が可能となり、関数型言語、論理型言語の処理にお
いて、高速に無限構造を含む構造の処理を行うことが可
能となる。

【図面の簡単な説明】

第１図は本発明の一実施例、第２図は本実施例の動作を
説明するための構造データ例、第３図は他の実施例、第
４図と第５図は構造データ例をそれぞれ示す図である。 ０１・・・カウンタ、０２・・・アドレスレジスタ、０
３．０３’・・・位置レジスタ、０４，０４’・・・比
較器、０５・・・記憶装置、０６，０７・・・データレ
ジスタ、０８・・・スタックポインタ、０９・・・セレ
クタ、１０・・・制御装置。 ／１６　：セル

Claims (1)

【特許請求の範囲】
1. 無限構造を持つ構造データの無限構造検出装置において
   、構造データを格納する記憶装置と、前記記憶装置に読
   み出し番地を与えるアドレスレジスタと、前記記憶装置
   からデータを読み出した回数を数えるカウンタと、前記
   カウンタの値により、前記記憶装置より読み出したデー
   タの格納番地を記憶する位置レジスタと、前記アドレス
   レジスタと前記位置レジスタの値を比較する比較器とを
   有することを特徴とする無限構造検出装置。