JP2001184254A - ガーベージコレクション機能を有する情報処理装置およびその方法ならびに記録媒体 - Google Patents

Abstract

(57)【要約】 【課題】ガーベジコレクションの際のリードバリアを低
減すること。 【解決手段】ガーベジコレクションの最中にスレッド４
０１から、ｆｒｏｍ空間１０１内のオブジェクトへの参
照・更新処理が発生した場合、ＧＣスレッド４０２は、
これを例外処理として実行する。この例外処理は、参照
・更新対象となったオブジェクトをＧＣ用ｆｒｏｍ空間
１０３から、ｔｏ空間１０２へ複写すると共に、スレッ
ド４１０から参照・更新が可能なようにポインタを変更
する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、実行中の利用者プ
ログラムと並行して不要な記憶領域を回収するガーベジ
コレクション技術の改良に関する。

【０００２】

【従来の技術】ガーベジコレクションは、並行して実行
される利用者プログラムから参照不可能なオブジェクト
を識別し、そのオブジェクトが占有する記憶領域を再利
用のために回収する処理である。ガーベジコレクション
の代表的なアルゴリズムとしては、マーク・スイープ方
式、複写方式等が知られている。

【０００３】図８、図９は、ガーベジコレクションの処
理動作を説明するための模式的説明図である。ヒープ領
域１２は、ガーベジコレクションの対象となる空間であ
り、記憶領域の割り当て・解放の単位がオブジェクト３
ａ、３ｂ、３ｃ、３ｄ、３ｅ、…、３ｎである。ルート
２は、オブジェクトへのポインタの、次の条件を満たす
集合である。その条件とは、この集合に属するポインタ
を出発点としてポインタをたどる処理を繰り返すことに
より到達できるオブジェクトの集合が、プログラム１か
ら参照可能なオブジェクト全体の集合に一致することで
ある。

【０００４】複写方式のガーベジコレクションにおいて
は、ヒープ領域１２を２つの連続する空間に分割し、オ
ブジェクトの割り当てを常に片方の空間のみから行う。
この２つの空間がｆｒｏｍ空間１０とｔｏ空間１１であ
る。オブジェクトは、ｆｒｏｍ空間１０の先頭から連続
的に割り当てられ、ｆｒｏｍ空間１０に十分な空き領域
が無くなるとガーベジコレクションが開始される。ガー
ベジコレクタ２０は、プログラム１から参照可能なオブ
ジェクトをｆｒｏｍ空間１０からｔｏ空間１１へ複写
し、総ての参照可能なオブジェクトをｔｏ空間１１へ複
写した後に、ｆｒｏｍ空間１０とｔｏ空間１１とを交換
する。即ち、ごみを直接回収するのではなく、プログラ
ム１から参照可能な総てのオブジェクトをｆｒｏｍ空間
１０からｔｏ空間１１へ複写して、ごみのみが残された
ｆｒｏｍ空間１０全体を回収することによって、不要な
記憶領域の回収を行う。

【発明が解決しようとする課題】さて、このガーベジコ
レクションにおいては、ガーベジコレクタ２０とプログ
ラム１とを並行動作させる場合、リードバリアと称され
るオーバヘッドが問題となることが知られている。

【０００５】リードバリアとは、ガーベジコレクタ２０
によって、プログラム１とは非同期に、オブジェクトが
再配置される可能性を考慮して、オブジェクトへのポイ
ンタが無効であるか有効であるかを（換言すれば、複写
移動後のものであって参照することが適切でないオブジ
ェクトなのか、あるいは、複写移動前のものであって参
照することが適切なオブジェクトであるのかを）、プロ
グラム１が実行するオブジェクト参照処理の総てにおい
て確認する必要性があるために発生するオーバヘッドで
ある。例えば、オブジェクトが有効であるか無効である
かを表すフラグをオブジェクト毎に持つようにすれば、
プログラム１がオブジェクトのメンバ変数を参照する度
に、このフラグを確認する必要が生じてしまい、プログ
ラム１の処理速度を著しく低下させるという問題があっ
た。

【０００６】本発明は、このような従来の課題を解決す
るためになされたもので、リードバリアを低減するよう
にした情報処理装置およびガーベジコレクション方法な
らびに記録媒体を提供することを目的とする。

【課題を解決するための手段】上記目的を達成するため
に、本発明の内の請求項１に係る発明は、プログラムが
ポインタを用いることによって参照・更新可能なオブジ
ェクトをヒープ領域における一方の空間から他方の空間
へ複写してガベージコレクションを行う装置において、
前記ガーベジコレクションの開始に先だって、前記プロ
グラムが前記一方の空間に配置されるオブジェクトを参
照・更新することを禁止する参照更新禁止手段と、前記
ガーベジコレクションが実行され、前記プログラムが参
照・更新することを禁止されたオブジェクトを参照・更
新する処理を行う場合に、この処理に支障のないような
例外処理を行う例外処理手段と、を備え、前記例外処理
手段は、前記プログラムが参照・更新する、前記一方の
空間では参照・更新が禁止されたオブジェクトを、前記
他方の空間に複写すると共に、このオブジェクトに対す
るポインタを前記他方の空間におけるポインタに変更す
る手段であることを特徴とするガーベージコレクション
機能を有するようにした。

【０００７】この請求項１に係る発明によれば、参照更
新禁止手段が、ガーベジコレクションの開始に先だっ
て、プログラムが一方の空間に配置されるオブジェクト
を参照・更新することを禁止し、次いで、例外処理手段
が、ガーベジコレクションが実行され、プログラムが参
照・更新することを禁止されたオブジェクトを参照・更
新する処理を行う場合に、この処理に支障のないような
例外処理を行う。

【０００８】その例外時処理として、前記例外処理手段
は、前記プログラムが参照・更新する、前記一方の空間
では参照・更新が禁止されたオブジェクトを、前記他方
の空間に複写すると共に、このオブジェクトに対するポ
インタを前記他方の空間におけるポインタに変更する。

【０００９】したがって、プログラムはオブジェクトの
参照・更新が禁止され、フラグの確認等の処理が不要と
なり、例外時にも対処しうるようにされているので、リ
ードバリアを低減することができる。

【００１０】また、請求項２に係る発明は、請求項１に
記載の情報処理装置において、前記例外処理手段は、前
記一方の空間により参照・更新される仮想記憶に対して
別の空間を生成しておき、この生成しておいた空間か
ら、前記一方の空間では参照・更新が禁止されたオブジ
ェクトを、前記他方の空間に複写すると共に、このオブ
ジェクトに対するポインタを前記他方の空間におけるポ
インタに変更する手段であることを特徴とする。

【００１１】この請求項２に係る発明においては、例外
処理手段は、一方の空間により参照・更新される仮想記
憶に対して別の空間を生成しておき、この生成しておい
た空間から、一方の空間では参照・更新が禁止されたオ
ブジェクトを、他方の空間に複写すると共に、このオブ
ジェクトに対するポインタを他方の空間におけるポイン
タに変更する。したがって、一方の空間に対して新たな
空間を生成する簡易な処理で、一方の空間でのオブジェ
クトの参照・更新を禁止してリードバリアを低減しつ
つ、他方の空間において必要なオブジェクトを参照・更
新することができるようになる。

【００１２】また、請求項３に係る発明は、請求項１お
よび２の内のいずれか一項に記載の情報処理装置におい
て、前記プログラムが参照・更新することを禁止されて
いた前記一方の空間の参照・更新を可能とする参照更新
可能化手段を備えることを特徴とする。

【００１３】この請求項３に係る発明によれば、参照更
新可能化手段が、プログラムが参照・更新することを禁
止されていた一方の空間の参照・更新を可能とすること
によって、ガーベジコレクション終了後に２つの空間の
役割を交換することが可能になる。

【００１４】また、請求項４に係る発明は、プログラム
がポインタを用いることによって参照・更新可能なオブ
ジェクトをヒープ領域における一方の空間から他方の空
間へ複写してガベージコレクションを行う方法におい
て、前記ガーベジコレクションの開始に先だって、前記
プログラムが前記一方の空間に配置されたオブジェクト
を参照・更新することを禁止し、前記ガーベジコレクシ
ョンが実行され、前記プログラムが参照・更新が禁止さ
れたオブジェクトを参照・更新する処理を行う場合に、
このオブジェクトを前記他方の空間に複写する複写処理
を行うと共に、このオブジェクトに対するポインタを前
記他方の空間におけるポインタに変更する、ことを特徴
とするガベージコレクション方法である。

【００１５】この請求項４に係る発明によれば、ガーベ
ジコレクションの開始に先だって、プログラムが一方の
空間に存在するオブジェクトを参照・更新することを禁
止し、次いで、ガーベジコレクションが実行され、プロ
グラムが参照・更新することが禁止されているオブジェ
クトを参照・更新する処理を行う場合に、このオブジェ
クトを他方の空間に複写する複写処理を行うと共に、こ
のオブジェクトに対するポインタを他方の空間における
ポインタに変更する。したがって、従来に比べてリード
バリアを低減しながら、必要なオブジェクトの参照・更
新処理を行うことができる。

【００１６】また、請求項５に係る発明は、請求項４に
記載の方法において、前記一方の空間をページ単位にロ
ック・アンロック可能にしておき、前記複写処理を実行
する際に、この複写処理の対象となるオブジェクトに対
応する領域をページ単位でロックしておき、この複写処
理が完了した場合、ロックされていた領域をアンロック
する、ことを特徴とする。

【００１７】この請求項５に係る発明においては、複写
処理を実行する際に、この複写処理の対象となるオブジ
ェクトが存在する領域をページ単位でロックしておき、
この複写処理が完了した場合、ロックされていた領域を
アンロックするので、例えば複数のスレッドが或るオブ
ジェクトを複写する場合でも複写処理が排他制御されな
がら、複写処理を適切に行うことができる。

【００１８】また、請求項６に係る発明は、プログラム
がポインタを用いることによって参照・更新可能なオブ
ジェクトをヒープ領域における一方の空間から他方の空
間へ複写してガベージコレクション処理を実行するため
の処理プログラムを記録したコンピュータ読み取り可能
な記録媒体において、前記ガーベジコレクションの開始
に先だって、前記プログラムが前記一方の空間に存在す
るオブジェクトを参照・更新することを禁止する処理
と、前記ガーベジコレクションが実行され、前記プログ
ラムが参照・更新することが禁止されたオブジェクトを
参照・更新する処理を行う場合に、このオブジェクトを
前記他方の空間に複写する複写処理を行うと共に、この
オブジェクトに対するポインタを前記他方の空間におけ
るポインタに変更する処理と、を含む処理を実行するた
めの処理プログラムを記録したことを特徴とする記録媒
体である。

【００１９】この請求項６に係る発明においても、従来
に比べてリードバリアを低減しながら、必要なオブジェ
クトの参照・更新処理を行うことができる。なお、この
ような記録媒体としては、ＲＯＭ等の半導体記録媒体、
ＦＤ、ＨＤ等に磁気記録媒体、ＣＤＲＯＭ等の光記録媒
体等が挙げられる。

【発明の実施の形態】以下、本発明の実施の形態を図面
を参照しつつ説明する。図１は、本発明の実施の形態の
装置の模式的な構成図である。図１に示すように、ガー
ベジコレクションの対象となるヒープ領域１０４は、ｆ
ｒｏｍ空間１０１とｔｏ空間１０２とに分割される。さ
らに、ガーベジコレクタによるｆｒｏｍ空間１０１の参
照・更新を可能にするために、ｆｒｏｍ空間１０１と同
一実体で論理アドレスが異なる仮想記憶空間であるＧＣ
用ｆｒｏｍ空間１０３が、ガーベジコレクション動作中
に存在する。

【００２０】プロセス内のスレッドは、利用者プログラ
ムが動作する複数のスレッド（スレッド１〜ｎ）４０１
と、ガーベジコレクションが動作する１つのスレッド４
０２（「ＧＣ用スレッド」と称する）とから構成され
る。利用者プログラムが動作するスレッド４０１のそれ
ぞれに対して、オブジェクトへのポインタのルート３０
１が設けられ、ｆｒｏｍ空間１０１に存在するオブジェ
クトは、複写先のｔｏ空間１０２のオブジェクトへのポ
インタ２０１（「複写先ポインタ」と称する）を持つ。
なお、複写前のオブジェクトの複写先ポインタは、ｎｕ
ｌｌである。

【００２１】また、図２に示すように、仮想記憶空間の
ページに対して参照・更新を禁止する命令５１０（ＤＳ
ＡＢ命令）と、参照・更新を可能にする命令５０２（Ｅ
ＮＡＢ命令）とが実行可能になっている。後に説明する
が、ＤＳＡＢ命令５０１により参照・更新が禁止された
ページに対して参照・更新を実行すると、例外が発生
し、この例外は特別なクラスの例外としてソフトウエア
に通知される。

【００２２】（動作概要）後にフローチャートを参照し
て詳細な動作説明をするが、本発明の理解の容易化のた
めに動作概要を説明しておく。図１に示すように、ｆｒ
ｏｍ空間１０１には、スレッド４０１から参照・更新可
能なオブジェクトａ、オブジェクトｂが配置されてい
る。これらをｔｏ空間１０２に複写してガーベジコレク
ションを開始させるのに先だって、命令５１０を実行す
ることによって、スレッド４０１からはこれらオブジェ
クトの参照・更新が禁止される。その後、ＧＣスレッド
４０２によってガーベジコレクションが開始され、オブ
ジェクトの複写が行われる。図中では、オブジェクト
ａ’が複写生成された状態を示している。

【００２３】そして、ガーベジコレクションの最中にス
レッド４０１から、ｆｒｏｍ空間１０１内のオブジェク
トへの参照・更新処理が発生した場合、ＧＣスレッド４
０２は、これを例外処理として実行する。この例外処理
は、前記参照・更新対象となったオブジェクトをＧＣ用
ｆｒｏｍ空間１０３から、ｔｏ空間１０２へ複写すると
共に、スレッド４０１から参照・更新が可能なようにポ
インタを変更する。例えば、スレッド４０１がｆｒｏｍ
空間１０１のオブジェクトａを参照・更新する場合、Ｇ
Ｃスレッド４０２は、例外処理としてＧＣ用ｆｒｏｍ空
間１０３からオブジェクトａを複写して、オブジェクト
ａ’をｔｏ空間１０２に配置させると共に、ポインタ３
０４をポインタ３０５に変更する。

【００２４】したがって、ガーベジコレクションの開始
に先だって、スレッド４０１がｆｒｏｍ空間１０１に存
在するオブジェクトを参照・更新することを禁止し、次
いで、ガーベジコレクションが実行され、スレッド４０
１が参照・更新が禁止されたオブジェクトを参照・更新
する処理を行う場合に、このオブジェクトをｔｏ空間１
０２に複写する複写処理を行うと共に、このオブジェク
トに対するポインタをｔｏ空間１０２におけるポインタ
に変更するので、従来に比べてリードバリアを低減しな
がら、必要なオブジェクトの参照・更新処理を行うこと
ができる。

【００２５】以下、フローチャートを参照しつつ詳細な
動作説明を行う。 （オブジェクト割り当て処理）この処理では、オブジェ
クトの複写先ポインタ２０１を「ｎｕｌｌ」に初期設定
する。 （ガーベジコレクションの開始処理）ＧＣスレッド４０
２が、プログラムが動作する総てのスレッド４０１を停
止し（ステップＳ３００）、全スレッド４１０のルート
３０１から直接参照されるｆｒｏｍ空間１０１のオブジ
ェクトをｔｏ空間１０２の先頭へ複写し、ルート３０１
に属するポインタとｆｒｏｍ空間１０１のオブジェクト
が持つ複写先ポインタ２０１とを、複写先のｔｏ空間１
０２へのポインタに更新する（ステップＳ３１０）。次
に、ｆｒｏｍ空間１０１の総てのページをＤＳＡＢ命令
５０１により参照・更新禁止とし（ステップＳ３２
０）、全スレッド４０１の処理を再開する（ステップＳ
３３０）。次いで、ＧＣスレッド４０２による、ｆｒｏ
ｍ空間１０１の参照・更新を可能にするためにｆｒｏｍ
空間１０１自体を異なる仮想記憶エリアにマッピングし
て（即ち、ｆｒｏｍ空間１０１と異なる論理アドレスを
与える）新たなＧＣ用ｆｒｏｍ空間１０３を生成する
（ステップＳ３４０）。これ以降、ＧＣスレッド４０２
は、このＧＣ用ｆｒｏｍ空間１０３によりｆｒｏｍ空間
１０１のオブジェクトの参照・更新を行なう。

【００２６】（ガーベジコレクションのオブジェクト複
写処理）ＧＣスレッド４０２は、ｔｏ空間１０２のオブ
ジェクトを先頭から走査して、ｆｒｏｍ空間１０１のオ
ブジェクトへのポインタＰを検索し、ポインタＰが指す
オブジェクトの複写先ポインタ２０１がｎｕｌｌなら
ば、このオブジェクトをｔｏ空間１０２の空き領域の先
頭へ複写して、複写先ポインタ２０１をオブジェクト複
写先のｔｏ空間１０２へのポインタに更新する。複写先
ポインタ２０１がｎｕｌｌであれば複写済みなので複写
処理は行わない。そして、オブジェクトの複写の有無に
かかわらず、ポインタＰを複写先ポインタ２０１の値に
更新する（ステップＳ４４０、ステップＳ４４５、ステ
ップＳ４１０、ステップＳ４１５、ステップＳ４２０、
ステップＳ４２５）。この処理をｔｏ空間１０２のオブ
ジェクトの末端（空き領域の先頭）に到達するまで繰り
返す。

【００２７】１つのオブジェクトを複写するごとに、プ
ログラムが動作するスレッド４０１からオブジェクトの
複写要求（以下の「プログラムのオブジェクト参照・更
新処理」を参照）が行なわれていないかどうかの確認を
行ない（ステップＳ４００：図１、図４、図５の符号
Ａ、ステップＳ４３０）、要求があればその処理を優先
して行なう（ステップＳ４００、ステップＳ４０５、ス
テップＳ４１０、ステップＳ４１５、ステップＳ４２
０、ステップＳ４２５）。なお、優先処理が完了した場
合には要求スレッドへの処理完了通知が行われる（ステ
ップＳ４３５：図１、図４、図５の符号Ｂ）。

【００２８】（プログラムのオブジェクト参照・更新処
理）ガーベジコレクション処理中は、ｆｒｏｍ空間１０
１の総てのページに対する参照・更新命令が禁止されて
いるため、ｆｒｏｍ空間１０１に存在するオブジェクト
への参照を行なうと例外が発生する（図５のステップＳ
５００、「例外発生」）。これを契機として呼び出され
る例外処理ルーチンが、例外発生の元になったオブジェ
クトへのポインタＰを特定し（ステップＳ５０５）、こ
のポインタＰを指定してガーベジコレクションが動作す
るＧＣスレッド４０１へオブジェクトの複写を要求して
処理完了を待ち合わせる（ステップＳ５１０、ステップ
Ｓ５１５）。

【００２９】ガーベジコレクションが動作するＧＣスレ
ッド４０１は、指定されたポインタＰが指すオブジェク
トの複写先ポインタ２０１がｎｕｌｌならば、オブジェ
クトをｔｏ空間１０２の空き領域の先頭へ複写し、複写
先ポインタ２０１をオブジェクト複写先のｔｏ空間１０
２へのポインタに更新する。オブジェクトの複写の有無
にかかわらず、Ｐを複写先ポインタ２０１の値に更新し
て、要求元のスレッド４０１へ処理完了を通知する。オ
ブジェクトの複写を要求したスレッド４０１は、処理完
了通知を受け取るとプログラムへ制御を戻して（ステッ
プＳ５２０）、その後、ｔｏ空間１０２に配置されてい
るオブジェクトの参照・更新を行う（ステップＳ５２
５）。

【００３０】（ガーベジコレクションの終了処理）プロ
グラムが動作するすべてのスレッド４０１を停止し（ス
テップＳ６００）、その後、全スレッド４０１のルート
３０１とｔｏ空間１０２とに存在するポインタとを総
て、ｔｏ空間１０２のオブジェクトへのポインタに更新
する（ステップＳ６０５）。この時、ごみでない総ての
オブジェクトは複写済みであるため、オブジェクトの複
写が必要になることはない。次いで、全スレッド４０１
の処理を再開し（ステップＳ６１０）、その後、ｆｒｏ
ｍ空間１０１の総てのページをＥＮＡＢ命令５０２によ
り参照・更新可能にする（ステップＳ６１５）。さら
に、ガーベジコレクションの開始処理において生成され
たＧＣ用ｆｒｏｍ空間１０３を削除する（ステップＳ６
２０）。これをもって、ｆｒｏｍ空間とｔｏ空間は交換
されて同様な処理を繰返せばガーベジコレクションが継
続される。

【００３１】したがって、プログラムが参照・更新す
る、ｆｒｏｍ空間１０１では参照・更新が禁止されたオ
ブジェクトを、ｔｏ空間１０２に複写すると共に、この
オブジェクトに対するポインタをｔｏ空間１０２におけ
るポインタに変更するので、ｆｒｏｍ空間１０１でのオ
ブジェクトの参照・更新を禁止してリードバリアを低減
しつつ、ｔｏ空間１０２において必要なオブジェクトを
参照・更新することができる。また、ｆｒｏｍ空間１０
１により参照・更新される仮想記憶に対して別の空間で
あるＧＣ用ｆｒｏｍ空間１０３を生成しておき、この生
成しておいたＧＣ用ｆｒｏｍ空間１０３から、ｆｒｏｍ
空間１０１では参照・更新が禁止されたオブジェクト
を、ｔｏ空間１０２に複写すると共に、このオブジェク
トに対するポインタをｔｏ空間１０２におけるポインタ
に変更するので、ＧＣ用ｆｒｏｍ空間１０３を生成する
簡易な処理で、ｆｒｏｍ空間１０１でのオブジェクトの
参照・更新を禁止してリードバリアを低減しつつ、ｔｏ
空間１０２において必要なオブジェクトを参照・更新す
ることができるようになる。さらにまた、プログラムが
参照・更新することを禁止されていたｆｒｏｍ空間１０
１の参照・更新を再度可能にすることによって、ｆｒｏ
ｍ空間１０１とｔｏ空間１０２の役割を交換して次回の
ガーベジコレクションを行うことが可能になる。

【００３２】（他の実施の形態）上述した実施の形態に
おいては、ＧＣスレッド４０２のみがオブジェクトの複
写処理を行っていて、オブジェクトの複写処理全体が排
他されている。したがって、例えばガーベジコレクショ
ンの開始直後等、多数スレッドからオブジェクトの複写
要求が行なわれた場合には、オブジェクト複写処理がプ
ログラムの実行速度を低下させてしまう。したがって、
ｆｒｏｍ空間１０１に配置されたオブジェクトへの参照
を契機として動作するオブジェクトの複写処理を、オブ
ジェクトを参照したスレッド自体が行うようにしても良
い。この場合には、ｆｒｏｍ空間１０１においてオブジ
ェクトを参照することは禁止されているので、参照・更
新主体であるスレッド自体が、この参照・更新禁止され
たオブジェクトをＧＣ用ｆｒｏｍ空間１０３からｔｏ空
間１０２に複写し、ｔｏ空間１０２においてこのオブジ
ェクトを参照・更新するようにする。

【００３３】但し、複数のスレッド４０１による同一オ
ブジェクトの複写処理が競合する可能性を考慮して、ｆ
ｒｏｍ空間１０１のページごとにオブジェクトの複写処
理を排他するようにする。このためには、ｆｒｏｍ空間
１０１の参照・更新しようとするオブジェクトを複写す
る際に、このオブジェクトの配置領域に対応するページ
をロック（複写不能）しておき、このオブジェクトの複
写が完了すればこれをアンロック（複写可能）するよう
にすれば良い。

【００３４】図７は、本発明の実施の形態の情報処理装
置のハードウエア構成図である。この情報処理装置は、
ＣＰＵ５００と、前述したような動作を行わせるための
処理プログラムを記録した記録媒体としてのＨＤ５０５
と、ワークエリアとして機能するＲＡＭ５１０と、仮想
アドレスを用いるためのページスワップ等を行なうため
のディスク装置５２０とを備える。ＣＰＵ５００は、処
理プログラム５０６をロードしてＲＡＭ５１０上に展開
してプログラムを実行することによって、上述してきた
動作を行わせることができる。

【００３５】以上本発明の実施の形態について説明して
きたが、本発明の要旨を逸脱しない範囲内で適宜、実施
形態に変更や変形を施すことができることは言うまでも
ない。例えば、ハードウエアの専用命令により、仮想記
憶空間への参照・更新命令を動的に禁止／可能としたが
これは一実現例であり、また、ガーベジコレクタによる
ｆｒｏｍ空間の参照・更新を可能にするためにｆｒｏｍ
空間に重複して論理アドレスを与える方法（ＧＣ用ｆｒ
ｏｍ空間１０３を生成して用いる方法）を採用したが、
これも一実現例であり本発明の要旨を限定するものでは
ない。

【発明の効果】以上説明してきたように、本発明によれ
ば、ガーベジコレクションの開始に先だって、プログラ
ムが一方の空間に存在するオブジェクトを参照・更新す
ることを禁止し、次いで、ガーベジコレクションが実行
され、プログラムが参照・更新することが禁止されてい
るオジェクトを参照・更新する処理を行う場合に、この
処理に支障のないような例外処理を行うので、プログラ
ムはオブジェクトを参照・更新が禁止され、フラグの確
認等の処理が不要となり、例外時にも対処しうるように
されているので、リードバリアを低減することができる
という効果が得られる。

【図面の簡単な説明】

【図１】本発明の実施の形態の模式的な構成図である。

【図２】ＤＳＡＢ命令、ＥＮＡＢ命令の動作説明図であ
る。

【図３】ガーベジコレクションの開始処理を説明するた
めのフローチャートである。

【図４】ガーベジコレクションのオブジェクト複写処理
を説明するためのフローチャートである。

【図５】プログラムのオブジェクト参照・更新処理を説
明するためのフローチャートである。

【図６】ガーベジコレクションの終了処理を説明するた
めのフローチャートである。

【図７】本発明の実施の形態の情報処理装置のハードウ
エア構成図である。

【図８】従来技術の説明図である。

【図９】従来技術の説明図である。

【符号の説明】

１０１ ｆｒｏｍ空間 １０２ ｔｏ空間 １０４ ヒープ領域 ２０１ 複写先ポインタ ３１０ ルート ４０１ スレッド ４０２ ＧＣスレッド

Claims (6)

【特許請求の範囲】
1. 【請求項１】 プログラムがポインタを用いることによ
   って参照・更新可能なオブジェクトをヒープ領域におけ
   る一方の空間から他方の空間へ複写してガベージコレク
   ションを行う装置において、 前記ガーベジコレクションの開始に先だって、前記プロ
   グラムが前記一方の空間に配置されるオブジェクトを参
   照・更新することを禁止する参照更新禁止手段と、 前記ガーベジコレクションが実行され、前記プログラム
   が参照・更新することを禁止されたオブジェクトを参照
   ・更新する処理を行う場合に、この処理に支障のないよ
   うな例外処理を行う例外処理手段と、を備え、 前記例外処理手段は、 前記プログラムが参照・更新する、前記一方の空間では
   参照・更新が禁止されたオブジェクトを、前記他方の空
   間に複写すると共に、このオブジェクトに対するポイン
   タを前記他方の空間におけるポインタに変更する手段で
   あることを特徴とするガーベージコレクション機能を有
   する情報処理装置。
2. 【請求項２】 請求項１に記載の情報処理装置におい
   て、 前記例外処理手段は、 前記一方の空間により参照・更新される仮想記憶に対し
   て別の空間を生成しておき、この生成しておいた空間か
   ら、前記一方の空間では参照・更新が禁止されたオブジ
   ェクトを、前記他方の空間に複写すると共に、このオブ
   ジェクトに対するポインタを前記他方の空間におけるポ
   インタに変更する手段であることを特徴とするガーベー
   ジコレクション機能を有する情報処理装置。
3. 【請求項３】 請求項１および２の内のいずれか一項に
   記載の情報処理装置において、 前記プログラムが参照・更新することを禁止されていた
   前記一方の空間の参照・更新を可能とする参照更新可能
   化手段を備えることを特徴とするガーベージコレクショ
   ン機能を有する情報処理装置。
4. 【請求項４】 プログラムがポインタを用いることによ
   って参照・更新可能なオブジェクトをヒープ領域におけ
   る一方の空間から他方の空間へ複写してガベージコレク
   ションを行う方法において、 前記ガーベジコレクションの開始に先だって、前記プロ
   グラムが前記一方の空間に配置されたオブジェクトを参
   照・更新することを禁止し、 前記ガーベジコレクションが実行され、前記プログラム
   が参照・更新が禁止されたオブジェクトを参照・更新す
   る処理を行う場合に、このオブジェクトを前記他方の空
   間に複写する複写処理を行うと共に、このオブジェクト
   に対するポインタを前記他方の空間におけるポインタに
   変更する、ことを特徴とするガベージコレクション方
   法。
5. 【請求項５】 請求項４に記載の方法において、 前記一方の空間をページ単位にロック・アンロック可能
   にしておき、 前記複写処理を実行する際に、この複写処理の対象とな
   るオブジェクトに対応する領域をページ単位でロックし
   ておき、 この複写処理が完了した場合、ロックされていた領域を
   アンロックする、ことを特徴とするガベージコレクショ
   ン方法。
6. 【請求項６】 プログラムがポインタを用いることによ
   って参照・更新可能なオブジェクトをヒープ領域におけ
   る一方の空間から他方の空間へ複写してガベージコレク
   ション処理を実行するための処理プログラムを記録した
   コンピュータ読み取り可能な記録媒体において、 前記ガーベジコレクションの開始に先だって、前記プロ
   グラムが前記一方の空間に存在するオブジェクトを参照
   ・更新することを禁止する処理と、 前記ガーベジコレクションが実行され、前記プログラム
   が参照・更新することが禁止されたオブジェクトを参照
   ・更新する処理を行う場合に、このオブジェクトを前記
   他方の空間に複写する複写処理を行うと共に、このオブ
   ジェクトに対するポインタを前記他方の空間におけるポ
   インタに変更する処理と、を含む処理を実行するための
   処理プログラムを記録したことを特徴とする記録媒体。