JPH06250917A - 無効データ検出方法 - Google Patents

Abstract

(57)【要約】 【目的】 メモリに割り付けられた構造体が参照されな
くなったことを即時に検出する。 【構成】 読出しポインタの識別に、ＳＩＮＧＬＥ、Ｄ
ＯＵＢＬＥ、ＭＡＮＹという２ビットの属性情報９を与
える。構造体７にはＳＩＮＧＬＥまたはＤＯＵＢＬＥの
１ビットの属性情報を与える。構造体７の属性情報１０
はデータの書き込み直後ＳＩＮＧＬＥとし、属性情報１
０がＤＯＵＢＬＥの読出しポインタ８により読出しがあ
ると、構造体７の属性情報１０はＳＩＮＧＬＥからＤＯ
ＵＢＬＥに変更される。構造体７が参照されなくなった
ことを検出する条件は、属性情報９をＳＩＮＧＬＥに設
定した読出しポインタ８により読み出された場合と、属
性情報９をＤＯＵＢＬＥに設定した読出しポインタ８に
より属性情報１０がＤＯＵＢＬＥの構造体７の読出しが
あったときとする。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、記憶装置の所定の領域
に割り付けられた構造体（データセル）が、既に参照さ
れなくなったことを検出し、メモリの有効利用を図るた
めの無効データ検出方法に関する。

【０００２】

【従来の技術】情報処理装置には、演算処理のためのデ
ータを記憶する記憶装置が設けられる。この記憶装置に
データを書き込む場合には、記憶装置の空き領域に対し
データを適当な単位に分割しながら割り付け、書き込み
を行う。このような領域を構造体と呼ぶ。例えば、単一
代入言語で記述されたプログラムは並列処理に適する。
このプログラム実行中に生成された構造体は同時進行す
る各処理により何回も参照されることがある。なお、記
憶装置に割り付けられた各構造体は、書き込みポインタ
と読出しポインタによって参照する。このような処理を
進める場合に、参照されなくなった構造体を直ちに検出
して新たなメモリ資源に組み入れ、資源の有効利用を図
る必要がある。そこで、構造体が参照されなくなったこ
とを速やかに検出する方法が紹介されている。

【０００３】図２に、従来のポインタと構造体の関係説
明図を示す。記憶装置の所定の領域に割り付けられた構
造体３は、この図に示すように、それぞれ任意の数のポ
インタ１により参照される。（ａ）は２個のポインタ１
が１個の構造体３を参照している例を示す。各ポインタ
１には、それぞれ図の（ｃ）に示す属性情報２が設けら
れている。この属性情報は、オンまたはオフの状態を示
す１ビットの情報で、後で説明する構造体３の属性情報
と組み合わせて、この構造体３が参照されなかったこと
を検出するために用いられる情報である。なお、各ポイ
ンタ１は読出しあるいは書き込み等任意の目的に使用さ
れる。ここで、（ａ）に示すように、まず１個の構造体
３に対し２本のポインタ１が設定されている場合には、
その属性情報２はオフとする。また、（ｂ）に示すよう
に、１個の構造体３に対し３本以上のポインタ１が設定
されている場合は属性情報２はオンとする。

【０００４】図３に、従来のポインタのコピー操作説明
図を示す。上記のようなポインタ１は、コピーによって
増加させることができる。即ち、ポインタが１本以上存
在する場合には、その内の１本をコピーして任意の数の
新たなポインタを設けることができる。各ポインタは１
回の書き込みや読出しによって消滅するため、同一の構
造体に対し何回も参照が行なわれる場合にはこのように
ポインタを増加させる。まず、図３（ａ）に示すよう
に、１個の構造体３に対し１本のポインタ１が設定され
ている場合は、その属性情報２はオフとなっている。し
かしながら、このポインタ１をコピーして２本に増加さ
せた場合、図に示すように増加後の２本のポインタ１の
属性情報２はオンに切り替えられる。これも、後で説明
するように、構造体が参照されなくなったことを検出す
るための工夫である。（ｂ）は元のポインタの属性情報
がオンの場合を示している。例えば、図２の（ｂ）に示
すように、属性情報２がオンのポインタ１によって構造
体３が何回か参照されると、図に示すように属性情報２
がオンのポインタ１が１本だけ残る状態となる。このよ
うな状態でポインタ１をコピーして２本に増加させた場
合には属性情報２はオンのままとする。

【０００５】図４に、従来の場合の構造体の属性情報説
明図を示す。構造体が参照されなくなったことを検出す
るために、この従来の例では、構造体３の側にも属性情
報４を設ける。そして、図４（ａ）に示すように、属性
情報２がオフのポインタ１により構造体３を参照した場
合、その構造体３の属性情報４はオフとされる。また
（ｂ）に示すように、属性情報２がオンのポインタ１を
用いて構造体３を参照した場合には、構造体３の属性情
報４はオンとされる。なお、以下の説明では各構造体は
（ｃ）に示すような表現で図示される。

【０００６】図５に、従来の無効データ検出方法例説明
図を示す。この図に示す従来の方法では、属性情報２が
オフのポインタ１により読出した構造体３の属性情報４
がオフであれば、その構造体３はもはや参照されなくな
ったものと判断する。逆にその構造体３がまだ参照され
る可能性のある場合には、ポインタ１あるいは構造体３
の属性情報２〜４の何れかがオンとなっている。このよ
うな判断基準によって無効データの検出が行なわれる。

【０００７】即ち、図５（ａ）に示すように、例えば属
性情報２がオフである２本のポインタ１が１個の構造体
３を参照しているものとする。この場合、一方のポイン
タ１によって構造体３が参照されると、そのポインタ１
は消滅し、図の（ｂ）に示すように、構造体３に対しポ
インタ１が１本だけ設定された構成となる。ここで、
（ａ）において、属性情報２がオフのポインタ１により
構造体３の参照が行なわれた結果、（ｂ）のように、構
造体３の属性情報４はオフになっている。従って、図５
（ｂ）に示す状態でポインタ１により構造体３を参照す
ると、ちょうど属性情報２がオフのポインタ１により属
性情報４がオフの構造体３を参照した状態となる。これ
によって、（ｃ）に示すように、その構造体３は最後の
ポインタ１により参照された後、参照されなくなったと
いうことが直ちに検出される。

【０００８】図６に、従来の場合で構造体がまだ参照さ
れ得ることの検出を行なう場合の説明図を示す。図６
（ａ）に示すように、例えば属性情報２がオフのポイン
タ１が２本存在する場合を考える。ここで、（ｂ）に示
すように、一方のポインタ１がコピーされ、合計３本に
増えたとする。この場合、コピーされて増えたポインタ
１は、その属性情報２がオンとされる。従って、３本の
ポインタ１の１本の属性情報２はオフ、他の２本の属性
情報２はオンという状態になる。

【０００９】次に、（ｃ）に示すように、属性情報２が
オフのポインタ１によって構造体３が１回参照され、そ
のポインタ１が消滅すると、属性情報２がオンのポイン
タ１が２本残る。この時構造体３の属性情報４はオフと
されている。このような状態では、その後どちらのポイ
ンタ１を使用して構造体３を参照したとしても、構造体
３が参照されなくなったという判断をするための基準、
即ちポインタも構造体もその属性情報の値がオフである
という条件を満足しない。

【００１０】（ｄ）は、（ｂ）の状態において、属性情
報２がオンのポインタ１を１回使用して構造体３を参照
した後の状態を示す。この場合、（ｄ）では属性情報２
がオフのポインタ１と属性情報２がオンのポインタ１が
それぞれ１本ずつ存在する。このようなケースにおいて
も、その後いずれのポインタ１を使用して構造体３を参
照しても、両者の属性情報がオフである条件を満足しな
い。従って、従来、図５に示したケースの場合にのみ構
造体が参照されなくなったことを検出するといった方法
が採用されていた。

【００１１】

【発明が解決しようとする課題】ところで、上記のよう
な従来の方法では、ポインタの総数が３本以上の場合
や、ポインタの総数が２本であっても、図６（ｃ）や
（ｄ）に示したような状態になると、構造体の参照され
なくなったことの検出は不可能になる。従って、もし同
一の構造体に対し多数の参照ポインタが生成されるよう
なプログラムを実行する場合には、別の方法によって参
照されなくなった構造体を検出し、資源の回収を図る必
要が生じてしまう。しかしながら、上記のような従来の
方法は、小さなオーバーヘッドで迅速に資源回収を図る
方法として利用価値が高く、一層の改良が望まれる。本
発明は以上の点に着目してなされたもので、ポインタに
一定の情報を付加することにより、構造体が参照されな
くなったことを即時に検出することができる無効データ
検出方法を提供することを目的とするものである。

【００１２】

【課題を解決するための手段】本発明無効データ検出方
法は、記憶装置の所定の領域に割り付けられた構造体
が、既に参照されなくなったことを検出して、前記記憶
装置の所定の領域を開放するために使用されるものであ
って、前記構造体の割付時には、書込みポインタと、必
要な数の読出しポインタとを設定し、書込みポインタは
１個の構造体につき１本しか存在せず、読出しポインタ
は１個の構造体に対し任意の数だけ存在し、コピーによ
り増加させることができ、前記読出しポインタはＳＩＮ
ＧＬＥ、ＤＯＵＢＬＥ、又はＭＡＮＹという意味の３種
類の属性情報を持ち、前記構造体はＳＩＮＧＬＥ又はＤ
ＯＵＢＬＥという意味の２種類の属性情報を持ち、前記
構造体と共に前記読出しポインタが１本生成される場合
には、その読出しポインタの属性情報をＳＬＮＧＬＥに
設定し、前記構造体と共に前記読出しポインタが２本生
成される場合には、その読出しポインタの属性情報をＤ
ＯＵＢＬＥに設定し、前記構造体と共に前記読出しポイ
ンタが３本以上生成される場合には、その読出しポイン
タの属性情報をＭＡＮＹに設定し、属性情報をＳＬＮＧ
ＬＥに設定した読出しポインタがコピーにより２本に増
加する場合には、各読出しポインタの属性情報をＤＯＵ
ＢＬＥに変更し、属性情報をＤＯＵＢＬＥに設定した読
出しポインタがコピーにより３本以上に増加する場合に
は、各読出しポインタの属性情報をＭＡＮＹに変更し、
前記構造体への書込みが行なわれたときは構造体の属性
情報をＳＩＮＧＬＥとし、属性情報をＳＬＮＧＬＥに設
定した読出しポインタにより構造体の読出しがあったと
きは、その構造体が参照されなくなったことを検出し、
属性情報をＤＯＵＢＬＥに設定した読出しポインタによ
り構造体の読出しがあったときは、構造体の属性情報が
ＳＩＮＧＬＥならＤＯＵＢＬＥに変更し、属性情報をＤ
ＯＵＢＬＥに設定した読出しポインタにより属性情報が
ＤＯＵＢＬＥの構造体の読出しがあったときは、その構
造体は参照されなくなったことを検出することを特徴と
するものである。

【００１３】

【作用】この方法では、書き込みポインタと３種類の読
出しポインタとを識別するために、ＷＲＩＴＥ、ＳＩＮ
ＧＬＥ、ＤＯＵＢＬＥ、ＭＡＮＹという２ビットの属性
情報を与える。また、構造体にはＳＩＮＧＬＥまたはＤ
ＯＵＢＬＥの１ビットの属性情報を与える。そして、構
造体の属性情報はデータの書き込み直後ＳＩＮＧＬＥと
し、属性情報がＤＯＵＢＬＥの読出しポインタにより読
出しがあると、構造体の属性情報はＳＩＮＧＬＥからＤ
ＯＵＢＬＥに変更される。構造体が参照されなくなった
ことを検出する条件は、属性情報をＳＩＮＧＬＥに設定
した読出しポインタより読み出された場合と、属性情報
をＤＯＵＢＬＥに設定した読出しポインタにより属性情
報がＤＯＵＢＬＥの構造体の読出しがあったときとす
る。これにより、書き込みポインタと読出しポインタの
合計が３本ある場合も、構造体が参照されなくなったこ
とを直ちに検出できる。

【００１４】

【実施例】以下、本発明を図の実施例を用いて詳細に説
明する。図１は本発明の無効データ検出方法説明図であ
る。まず、本発明においては、各ポインタを書き込みポ
インタと読出しポインタとに明確に区別し、読出しポイ
ンタには３種類の内容の属性情報を付加する。図１の
（ａ）に、その属性情報の定義を示す。構造体７を参照
するために設けられる読出しポインタ８には、属性情報
９が設けられる。この属性情報９は、ＳＩＮＧＬＥ、Ｄ
ＯＵＢＬＥ、ＭＡＮＹの３種類となる。このＳＩＮＧＬ
Ｅの属性情報は、構造体７とともに読出しポインタ８が
１本生成される場合に設定される。また、ＤＯＵＢＬＥ
の属性情報は、構造体７と共に読出しポインタ８が２本
生成される場合に設定される。更に、ＭＡＮＹの属性情
報は、構造体７と共に読出しポインタ８が３本以上生成
される場合に設定される。これを識別するために、図で
はＳＩＮＧＬＥの属性情報は白丸、ＤＯＵＢＬＥの属性
情報は黒丸、ＭＡＮＹの属性情報は×印を用いて示し
た。なお、これらの属性情報は、例えば２ビットのデー
タにより表現され、ＳＩＮＧＬＥは“０１”、ＤＯＵＢ
ＬＥは“１０”、ＭＡＮＹは“１１”というように表わ
される。なお、属性情報が“００”の場合は読出しポイ
ンタであることを示すものとする。

【００１５】一方、構造体７にも同様の属性情報１０が
設けられる。この構造体７の属性情報９は、後で詳しく
説明するが、データの書き込みが行なわれた場合にはＳ
ＩＮＧＬＥとし、属性情報がＤＯＵＢＬＥのポインタに
より読出しがあったときはＳＩＮＧＬＥからＤＯＵＢＬ
Ｅに変更されるものとする。図１の（ｂ）及び（ｃ）
は、本発明によって参照されなくなったことを検出され
る構造体の例を示している。この本題の説明を行なう前
に、まず図７以下を用いて具体的に各ポインタや属性情
報、構造体の構成等を説明していく。

【００１６】図７に、本発明による書き込み、読出しポ
インタ説明図を示す。図の（ａ）に示すように、本発明
においては書き込みポインタ６は、１個の構造体７につ
いて１本しか存在しないものとする。そして、書き込み
ポインタ６は、先に説明した読出しポインタとはその属
性情報によって明確に区別される。なお、書込みポイン
タ６の属性情報は常にＷＲＩＴＥとなるため、以下の図
ではその属性情報の図示を省略した。また、図７（ｂ）
に示すように、構造体７を参照するための読出しポイン
タ８は、コピーにより任意の数に増加させることができ
る。なお、（ｃ）に示すように、書き込みポインタ６の
参照には二重線の矢印を用い、読出しポインタ８による
参照の場合と区別して図示した。

【００１７】図８に、本発明によるポインタの属性情報
説明図を示す。図８（ａ）に示すように、構造体７へデ
ータを書き込み、それを参照するためには、基本的にこ
の図に示すように書込みポインタ６及び読出しポインタ
８がそれぞれ１本ずつ設けられる。このように読出しポ
インタ８が１本だけ生成された場合には、その属性情報
９はＳＩＮＧＬＥとされている。一方、図８（ｂ）に示
すように、読出しポインタ８が同時に２本生成された場
合には、その属性情報９はＤＯＵＢＬＥに設定する。更
に（ｃ）に示すように、読出しポインタ８が３本以上同
時に生成された場合、その属性情報９はＭＡＮＹに設定
される。（ｄ）には、以下の説明において使用する書込
みポインタ６や読出しポインタ８及びその属性情報の形
状を定義している。

【００１８】図９に、本発明によるポインタのコピー動
作説明図を示す。図９（ａ）に示すように、初めに構造
体７に対し読出しポインタ８が１本存在し、その属性情
報９がＳＩＮＧＬＥである場合に、この読出しポインタ
８がコピーされて２本になるケースがある。このような
ケースでは、読出しポインタ８の属性情報９はＳＩＮＧ
ＬＥからＤＯＵＢＬＥに変更される。また、図９（ｂ）
に示すように、初めに１本だけ設けられていた読出しポ
インタ８がコピーによって３本以上に増加する場合があ
る。この場合には読出しポインタ８の属性情報９はＳＩ
ＮＧＬＥからＭＡＮＹに変更される。

【００１９】更に（ｃ）に示すように、１個の構造体７
に対し１本の読出しポインタ８が存在し、その属性情報
がＤＯＵＢＬＥのケースがある。これは図９（ａ）に示
すように、属性情報９がＤＯＵＢＬＥの２本の読出しポ
インタ８の何れか一方を用いて、構造体７が参照された
後に発生する。この（ｃ）のケースで、読出しポインタ
８がコピーにより増加した場合には、図に示すように、
読出しポインタ８の属性情報９はＭＡＮＹに変更され
る。また（ｄ）に示すように、属性情報９がＭＡＮＹの
読出しポインタ８がコピーされて増加した場合には、そ
の属性情報はＭＡＮＹとする。

【００２０】図１０に、１つの構造体を指す読出しポイ
ンタのパターン説明図を示す。本発明を実施する場合
に、読出しポインタに着目すると、１つの構造体を参照
するために、図に示すような（ａ）〜（ｄ）のパターン
が存在する。まず、（ａ）は、属性情報９がＳＩＮＧＬ
Ｅの読出しポインタ８が１本だけ存在する場合である。
また、（ｂ）は、属性情報９がＤＯＵＢＬＥの読出しポ
インタ８が２本だけ存在する場合である。（ｃ）のパタ
ーンは、属性情報９がＤＯＵＢＬＥの読出しポインタ８
と属性情報９がＭＡＮＹの２本以上の読出しポインタ８
が存在する場合である。（ｄ）は、属性情報９がＭＡＮ
Ｙの読出しポインタ８が４本以上存在する場合である。
本発明を実施する場合には、読出しポインタ８は、これ
らの何れかのパターンを取り得る。

【００２１】図１１に、本発明による構造体の属性情報
説明図を示す。図１１の（ａ）に示すように、本発明を
実施する場合、構造体７の属性情報１０は、書き込みポ
インタ６により構造体７にデータが書き込まれた場合に
ＳＩＮＧＬＥとなる。また、（ｂ）に示すように、属性
情報９がＤＯＵＢＬＥの読出しポインタ８によって構造
体７が参照された場合、その属性情報１０はＳＩＮＧＬ
ＥからＤＯＵＢＬＥに変更される。これによって、構造
体７の属性情報１０がＳＩＮＧＬＥであるということ
は、まだその構造体について読出し操作が行なわれてい
ないか、あるいは属性情報がＭＡＮＹの読出しポインタ
を経由して読出し操作が１回以上行なわれているかの何
れかとなる。なお、属性情報がＭＡＮＹの読出しポイン
タによる参照の際には構造体の属性情報は変化しない。

【００２２】また、構造体７の属性情報１０がＤＯＵＢ
ＬＥであるということは、属性情報がＤＯＵＢＬＥであ
る読出しポインタ８を経由した読出し操作が１回だけ行
なわれているか、あるいは属性情報がＤＯＵＢＬＥの読
出しポインタ８を経由した読出し操作が１回行なわれ、
更に属性情報がＭＡＮＹの読出しポインタを経由した読
出し操作が１回以上行なわれている場合である。

【００２３】上記のような属性情報等の設定により、本
発明においては次のようなケースで構造体が参照されな
くなったことを検出できる。図１に戻って、（ｂ）に
は、属性情報９がＳＩＮＧＬＥの読出しポインタ８が１
本存在する構造体７の例が示されている。この構造体７
は、書き込みにより属性情報１０がＳＩＮＧＬＥとなっ
ている。本発明においては、このように属性情報９をＳ
ＩＮＧＬＥに設定した読出しポインタ８によって属性情
報１０がＳＩＮＧＬＥの構造体７が参照された場合、そ
の構造体はもはや参照されなくなったということを検出
する。

【００２４】一方、（ｃ）に示すように、初めに属性情
報９がＤＯＵＢＬＥの読出しポインタ８が２本ある場合
を考える。このときの構造体７の属性情報１０はＳＩＮ
ＧＬＥである。ここで、１本の読出しポインタ８により
構造体７が参照されると、その読出しポインタ８は消滅
し、属性情報９がＤＯＵＢＬＥの読出しポインタ８が１
本だけ残る。また、構造体７の属性情報１０は、既に図
１１の（ｂ）を用いて説明したようにＳＩＮＧＬＥから
ＤＯＵＢＬＥに変更される。その後、属性情報９がＤＯ
ＵＢＬＥの読出しポインタ８によって属性情報１０がＤ
ＯＵＢＬＥの構造体７が参照された場合に、その構造体
７はもはや参照されなくなったと検出する。即ち、本発
明の方法では、図１（ｂ）及び（ｃ）に示す２種のケー
スにおいて、構造体が参照されなくなったことを検出で
きる。従って、（ｃ）に示すケースについて、従来より
も無効データ検出が可能なパターンが増加する。

【００２５】図１２に、本発明による無効データ検出方
法具体例説明図を示す。図１２（ａ）は、図１（ｂ）に
示したケースの構造体生成時からの経緯を示すものであ
る。この図に示すように、構造体７を生成する場合に、
この例では書き込みポインタ６と読出しポインタ８とが
１本ずつ生成されている。従って、この場合の読出しポ
インタ８の属性情報９はＳＩＮＧＬＥとされている。こ
こで、構造体７に書き込みポインタ６を用いてデータが
書き込まれると、書き込みポインタ６は消滅し１本の読
出しポインタ８が残る。この属性情報９はＳＩＮＧＬＥ
となっている。また、構造体７の属性情報１０はデータ
の書き込みによってＳＩＮＧＬＥとなっている。従っ
て、共に属性情報９あるいは１０がＳＩＮＧＬＥの状態
で、読出しポインタ８がその後構造体７を参照すると、
上記説明した本発明の検出条件を満足する。これによっ
て、構造体７がその後参照されないことが検出される。
なお、このケースは図２（ａ）に示す従来方法と等価で
あり、この点について従来方法に比べた特別の改善はな
い。

【００２６】一方、図１２（ｂ）に示すように、当初構
造体７に対し１本の書き込みポインタ６と１本の読出し
ポインタ８が生成されたものとする。この時読出しポイ
ンタ８の属性情報９はＳＩＮＧＬＥである。しかしなが
ら、その後読出しポインタ８がコピーされ２本に増加し
たとする。この場合、読出しポインタ８の属性情報９は
ＤＯＵＢＬＥとなる。その後、構造体７に書き込みポイ
ンタ６を用いてデータが書き込まれると、構造体７の属
性情報１０はＳＩＮＧＬＥとなる。

【００２７】ここで、２本の読出しポインタ８の内１本
を用いて構造体７を参照すると、その後属性情報９がＤ
ＯＵＢＬＥの読出しポインタ８が１本残る。また、構造
体７の属性情報１０はＳＩＮＧＬＥからＤＯＵＢＬＥに
変更される。このような状態で、その後読出しポインタ
８により構造体７が参照されると、先に説明した本発明
による検出条件を満足し、構造体７がその後参照されな
いことが検出される。従って、このようなパターンで
は、従来構造体が参照されなくなったことが検出不可能
であったが、それを本発明により可能としている。

【００２８】図１３に、本発明の方法が適用できない例
の説明図を示す。本発明の方法は、次のようなケースに
は適用することはできない。この例では、構造体７に対
し初めに書き込みポインタ６と２本の読出しポインタ８
が生成されている。この場合、属性情報９はＤＯＵＢＬ
Ｅとされている。ところが、その後読出しポインタ８の
１本がコピーされ、読出しポインタ８が合計３本となっ
た。このケースでは、コピーに使用された読出しポイン
タ８とコピーによって増加した読出しポインタ８とは、
何れもその属性情報９がＭＡＮＹとされ、この状態で構
造体７に書き込みポインタ６を用いてデータが書き込ま
れると、構造体７の属性情報１０はＳＩＮＧＬＥとな
る。更に、読出しポインタ８の内の属性情報がＭＡＮＹ
の読出しポインタが参照に使用されると、図に示すよう
に２本の読出しポインタ８が残り、その属性情報９は一
方がＤＯＵＢＬＥ、一方がＭＡＮＹとなっている。そし
て、その次に属性情報９がＤＯＵＢＬＥの読出しポイン
タ８が使用されて構造体７の参照が行なわれると、最後
に属性情報９がＭＡＮＹの読出しポインタ８が１本残
る。この場合、その後残りの１本の読出しポインタ８を
用いて構造体７を参照したとしても上記の条件を満足し
ない。

【００２９】従って、属性情報がＤＯＵＢＬＥの読出し
ポインタがコピー等により更に増加した場合には、残り
の読出しポインタの数を属性情報によって明確に表わす
ことができないため、最終的に最後に残った読出しポイ
ンタによって構造体の参照が行なわれたとしても、これ
が最後であるかどうかを区別することができない。本発
明の方法では、ＭＡＮＹの属性情報を持つ読出しポイン
タが混在する場合には構造体が参照されなくなったこと
の検出をすることができなくなる。

【００３０】本発明は以上の実施例に限定されない。上
記実施例においては、ポインタの区別のためにＳＩＮＧ
ＬＥ、ＤＯＵＢＬＥ、ＭＡＮＹといった表現を用いた
が、この表現は必ずしもこれに限定されることはなく自
由に設定して差し支えない。要するに、このような属性
情報によって、読出しポインタが２個かあるいはそれ以
上存在するかを区別することに意義がある。また、読出
しポインタと構造体の属性情報を何れもＳＩＮＧＬＥあ
るいはＤＯＵＢＬＥといった表現を用いたが、これらに
ついても、全く別の表現を用いて差し支えない。

【００３１】

【発明の効果】以上説明した本発明の無効データ検出方
法は、構造体を生成する際、同時に生成される書き込み
ポインタや読出しポインタに対し、書き込みポインタで
あるか読出しポインタであるかの区別と同時に、生成さ
れた読出しポインタの数や、その後の読出しポインタの
コピー状態を示すＳＩＮＧＬＥ、ＤＯＵＢＬＥ、ＭＡＮ
Ｙといった意味の属性情報を付加し、構造体の側にも書
き込みが行なわれた直後の状態と、属性情報をＤＯＵＢ
ＬＥに設定した読出しポインタにより読出しがあった場
合とを区別する、ＳＩＮＧＬＥあるいはＤＯＵＢＬＥと
いう意味の属性情報をもたせるようにしたので、これら
の属性情報の組み合せによって、属性情報をＳＩＮＧＬ
Ｅに設定した読出しポインタにより構造体の読出しがあ
ったときと、属性情報をＤＯＵＢＬＥに設定した読出し
ポインタにより属性情報がＤＯＵＢＬＥの構造体の読出
しがあったときについて、それぞれその構造体が参照さ
れなくなったことを検出することができる。これによ
り、ポインタにごくわずかの情報を付加することによっ
て、参照されなくなった構造体を即時に検出し、記憶装
置の所定の領域に割り付けられた構造体を解放してメモ
リの速やかな有効利用を図ることができる。

【図面の簡単な説明】

【図１】本発明による無効データ検出方法説明図であ
る。

【図２】従来のポインタと構造体の関係説明図である。

【図３】従来のポインタのコピー操作説明図である。

【図４】従来の構造体の属性情報説明図である。

【図５】従来の無効データ検出方法例説明図である。

【図６】従来の「まだ参照され得る」ことの検出説明図
である。

【図７】本発明による書き込み、読出しポインタ説明図
である。

【図８】本発明によるポインタの属性情報説明図であ
る。

【図９】本発明によるポインタのコピー動作説明図であ
る。

【図１０】１つの構造体を指す読出しポインタのパター
ン説明図である。

【図１１】本発明による構造体の属性情報説明図であ
る。

【図１２】本発明による無効データ検出方法具体例説明
図である。

【図１３】本発明の方法が適用できない例説明図であ
る。

【符号の説明】

７ 構造体 ８ 読出しポインタ ９ ポインタの属性情報 １０ 構造体の属性情報

Claims (1)

【特許請求の範囲】
1. 【請求項１】 記憶装置の所定の領域に割り付けられた
   構造体が、既に参照されなくなったことを検出して、前
   記記憶装置の所定の領域を開放するために使用されるも
   のであって、 前記構造体の割付時には、書込みポインタと、必要な数
   の読出しポインタとを設定し、 書込みポインタは１個の構造体につき１本しか存在せ
   ず、 読出しポインタは１個の構造体に対し任意の数だけ存在
   し、コピーにより増加させることができ、 前記読出しポインタはＳＩＮＧＬＥ、ＤＯＵＢＬＥ、又
   はＭＡＮＹという意味の３種類の属性情報を持ち、 前記構造体はＳＩＮＧＬＥ又はＤＯＵＢＬＥという意味
   の２種類の属性情報を持ち、 前記構造体と共に前記読出しポインタが１本生成される
   場合には、その読出しポインタの属性情報をＳＬＮＧＬ
   Ｅに設定し、 前記構造体と共に前記読出しポインタが２本生成される
   場合には、その読出しポインタの属性情報をＤＯＵＢＬ
   Ｅに設定し、 前記構造体と共に前記読出しポインタが３本以上生成さ
   れる場合には、その読出しポインタの属性情報をＭＡＮ
   Ｙに設定し、 属性情報をＳＬＮＧＬＥに設定した読出しポインタがコ
   ピーにより３本以上に増加する場合には、各読出しポイ
   ンタの属性情報をＤＯＵＢＬＥに変更し、 属性情報をＤＯＵＢＬＥに設定した読出しポインタがコ
   ピーにより２本に増加する場合には、各読出しポインタ
   の属性情報をＭＡＮＹに変更し、 前記構造体への書込みが行なわれたときは構造体の属性
   情報をＳＩＮＧＬＥとし、 属性情報をＳＬＮＧＬＥに設定した読出しポインタによ
   り構造体の読出しがあったときは、その構造体が参照さ
   れなくなったことを検出し、 属性情報をＤＯＵＢＬＥに設定した読出しポインタによ
   り構造体の読出しがあったときは、構造体の属性情報が
   ＳＩＮＧＬＥならＤＯＵＢＬＥに変更し、 属性情報をＤＯＵＢＬＥに設定した読出しポインタによ
   り属性情報がＤＯＵＢＬＥの構造体の読出しがあったと
   きは、その構造体は参照されなくなったことを検出する
   ことを特徴とする無効データ検出方法。