JP2002536761A - 実行時環境でのメモリ管理 - Google Patents
実行時環境でのメモリ管理Info
- Publication number
- JP2002536761A JP2002536761A JP2000598926A JP2000598926A JP2002536761A JP 2002536761 A JP2002536761 A JP 2002536761A JP 2000598926 A JP2000598926 A JP 2000598926A JP 2000598926 A JP2000598926 A JP 2000598926A JP 2002536761 A JP2002536761 A JP 2002536761A
- Authority
- JP
- Japan
- Prior art keywords
- bits
- tag
- memory area
- storing information
- storing
- 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.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F12/00—Accessing, addressing or allocating within memory systems or architectures
- G06F12/02—Addressing or allocation; Relocation
- G06F12/0223—User address space allocation, e.g. contiguous or non contiguous base addressing
- G06F12/023—Free address space management
- G06F12/0253—Garbage collection, i.e. reclamation of unreferenced memory
- G06F12/0269—Incremental or concurrent garbage collection, e.g. in real-time systems
- G06F12/0276—Generational garbage collection
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S707/00—Data processing: database and file management or data structures
- Y10S707/99941—Database schema or data structure
- Y10S707/99944—Object-oriented database structure
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S707/00—Data processing: database and file management or data structures
- Y10S707/99951—File or database maintenance
- Y10S707/99952—Coherency, e.g. same view to multiple users
- Y10S707/99953—Recoverability
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Preparation Of Compounds By Using Micro-Organisms (AREA)
- Memory System (AREA)
- Communication Control (AREA)
- Storage Device Security (AREA)
Abstract
(57)【要約】
実行時環境内で管理されるオブジェクトはＮビット整列アドレスに記憶される。整列上の制限のため、オブジェクトの記憶特性に関する情報の記憶に利用できるのは、オブジェクトへのリファレンスのＮ個の下位ビットである。この情報は高速レジスタ動作によって抽出できる。記憶特性は、オブジェクトの生存期間、フォーマットおよび連続性またはこれらの特性の組合せを含むことができる。実行時環境が世代別ごみ収集器を実現する場合は、リファレンスタグを用いてオブジェクトが最近割当てられたものかどうかを符号化する。
Description
【０００１】
本出願は以下の出願に関連している。
【０００２】 Harlan Sextonらによって同日に出願された、「実行時環境内におけるマシン
と独立したメモリ管理システム」と題される、米国特許出願第０９／２４８，２
９１号（書類番号５０２７７−１７２；ＯＩＤ−１９９７−４８−０２）。ここ
に引用により援用される。
と独立したメモリ管理システム」と題される、米国特許出願第０９／２４８，２
９１号（書類番号５０２７７−１７２；ＯＩＤ−１９９７−４８−０２）。ここ
に引用により援用される。
【０００３】 Harlan Sextonらによって同日に出願された、「実行時環境内における不変リ
ファレンスのアドレス計算」と題される、米国特許出願第０９／２４８，２９４
号（書類番号５０２７７−１７９；ＯＩＤ−１９９７−４８−０３）。ここに引
用により援用される。
ファレンスのアドレス計算」と題される、米国特許出願第０９／２４８，２９４
号（書類番号５０２７７−１７９；ＯＩＤ−１９９７−４８−０３）。ここに引
用により援用される。
【０００４】 Harlan Sextonらによって同日に出願された、「実行時環境内におけるページ
ングメモリ管理システム」と題される、米国特許出願第０９／２４８，２９７号
（書類番号５０２７７−２６１；ＯＩＤ−１９９７−４８−１７）。ここに引用
により援用される。
ングメモリ管理システム」と題される、米国特許出願第０９／２４８，２９７号
（書類番号５０２７７−２６１；ＯＩＤ−１９９７−４８−１７）。ここに引用
により援用される。
【０００５】
本発明はコンピュータシステムに関し、より特定的には実行時環境に対するメ
モリの管理に関する。
モリの管理に関する。
【０００６】
ジャバ（登録商標）（JAVA(R)TM）のような言語に対する動的実行時環境にお
いて、オブジェクトのメモリ管理は非常に重要である。具体的には、動的実行時
環境ではオブジェクトに対するメモリの割当および割当解除を処理しなければな
らない。オブジェクトとはデータをカプセル化するエンティティであり、JAVA(R
)のような環境ではオブジェクトに関連する動作を含む。
いて、オブジェクトのメモリ管理は非常に重要である。具体的には、動的実行時
環境ではオブジェクトに対するメモリの割当および割当解除を処理しなければな
らない。オブジェクトとはデータをカプセル化するエンティティであり、JAVA(R
)のような環境ではオブジェクトに関連する動作を含む。
【０００７】 オブジェクトを作成する場合、ある量のメモリをオブジェクトに割当てなけれ
ばならない。オブジェクトが不要になれば、他の目的のために再使用できるよう
オブジェクトのメモリは割当解除されなければならない。メモリの割当解除はＣ
プログラミング言語の場合のように手作業で行なうことができるし、「ごみ回収
器」を使えば自動的に処理できる。ごみ回収器にはさまざまな種類がある。たと
えば、世代別ごみ回収器はオブジェクトをその生存期間によって区別する。なぜ
なら最近割当てられたオブジェクトは一般に生存期間が短いオブジェクトだから
である。世代別ごみ回収器の一実施例において、オブジェクトは「古いスペース
」および「新しいスペース」と呼ばれる少なくとも２つのメモリ領域の一方に記
憶される。オブジェクトを初めて作成した場合、オブジェクト用のメモリは新し
いスペースから割当てられる。オブジェクトがある時間、たとえば新しいスペー
スでの４つのスキャベンジを経て生存していると、「保有権がある」として古い
スペースに移動させられる。
ばならない。オブジェクトが不要になれば、他の目的のために再使用できるよう
オブジェクトのメモリは割当解除されなければならない。メモリの割当解除はＣ
プログラミング言語の場合のように手作業で行なうことができるし、「ごみ回収
器」を使えば自動的に処理できる。ごみ回収器にはさまざまな種類がある。たと
えば、世代別ごみ回収器はオブジェクトをその生存期間によって区別する。なぜ
なら最近割当てられたオブジェクトは一般に生存期間が短いオブジェクトだから
である。世代別ごみ回収器の一実施例において、オブジェクトは「古いスペース
」および「新しいスペース」と呼ばれる少なくとも２つのメモリ領域の一方に記
憶される。オブジェクトを初めて作成した場合、オブジェクト用のメモリは新し
いスペースから割当てられる。オブジェクトがある時間、たとえば新しいスペー
スでの４つのスキャベンジを経て生存していると、「保有権がある」として古い
スペースに移動させられる。
【０００８】 オブジェクトに異なるメモリ領域を使用し、異なる領域はそこに含まれるオブ
ジェクトの生存期間によって区別することにより、世代別ごみ回収器はメモリ領
域に対して異なる割当およびゴミ回収方法を用いることができる。たとえば、新
しいスペースは頻繁に割当てられかつ捨てられるオブジェクトを多く持つ傾向に
あるので、新しいスペース内でのメモリ割当は好ましくは、「辺境コンシング」
(frontier consing)（空いている記憶場所の頭にポインタをインクリメントする
）およびコピーするごみ回収器によるゴミ回収のような安い技術によって実施さ
れる。他方で、古いスペースはより数の少ない、生存期間の長いオブジェクトを
保持する傾向にあるので、バディまたは最良優先割当技術によってメモリの割当
を行ないかつ割当解除はマーク吐き出しごみ回収器によって行なうのが好ましい
。
ジェクトの生存期間によって区別することにより、世代別ごみ回収器はメモリ領
域に対して異なる割当およびゴミ回収方法を用いることができる。たとえば、新
しいスペースは頻繁に割当てられかつ捨てられるオブジェクトを多く持つ傾向に
あるので、新しいスペース内でのメモリ割当は好ましくは、「辺境コンシング」
(frontier consing)（空いている記憶場所の頭にポインタをインクリメントする
）およびコピーするごみ回収器によるゴミ回収のような安い技術によって実施さ
れる。他方で、古いスペースはより数の少ない、生存期間の長いオブジェクトを
保持する傾向にあるので、バディまたは最良優先割当技術によってメモリの割当
を行ないかつ割当解除はマーク吐き出しごみ回収器によって行なうのが好ましい
。
【０００９】 世代別ごみ回収器の性能は新しいスペースにおけるすべてのオブジェクトに対
する「ルートセット」を計算する効率によって多いに影響される。新しいスペー
スのルートセットは、セットの推移クロージャが新しいスペースにおけるライブ
オブジェクトすべてを含むようなオブジェクトの組である。具体的には、新しい
スペースにおけるオブジェクトを参照する古いスペース内のすべてのオブジェク
トを定めることが重要である。ルートセットの計算を簡単にする１つの方法は「
覚書表」を維持することであり、これは新しいスペースにおけるどのオブジェク
トが古いスペースにおけるオブジェクトによって参照されるかを記録するために
ごみ回収器によって用いられるデータ構造である。覚書表は、割当動作によって
新しいスペースのオブジェクトへの参照が古いスペースにおけるオブジェクトに
置かれる場合に更新される。割当動作が新しいスペースのオブジェクトへの参照
を古いスペースのオブジェクトに置くかどうかを定めるために行なわれるチェッ
クは「書込バリア」と呼ばれる。効率的にこのような割当を検出するのが望まし
い。
する「ルートセット」を計算する効率によって多いに影響される。新しいスペー
スのルートセットは、セットの推移クロージャが新しいスペースにおけるライブ
オブジェクトすべてを含むようなオブジェクトの組である。具体的には、新しい
スペースにおけるオブジェクトを参照する古いスペース内のすべてのオブジェク
トを定めることが重要である。ルートセットの計算を簡単にする１つの方法は「
覚書表」を維持することであり、これは新しいスペースにおけるどのオブジェク
トが古いスペースにおけるオブジェクトによって参照されるかを記録するために
ごみ回収器によって用いられるデータ構造である。覚書表は、割当動作によって
新しいスペースのオブジェクトへの参照が古いスペースにおけるオブジェクトに
置かれる場合に更新される。割当動作が新しいスペースのオブジェクトへの参照
を古いスペースのオブジェクトに置くかどうかを定めるために行なわれるチェッ
クは「書込バリア」と呼ばれる。効率的にこのような割当を検出するのが望まし
い。
【００１０】 新しいスペースのオブジェクトへの参照が古いスペースのオブジェクトに割当
られることを検出する１つのアプローチとして、新しいスペースおよび古いスペ
ースの連続する範囲のメモリ場所をリザーブし、そのリザーブされた範囲につい
てのオブジェクトの位置をチェックすることである。たとえば、新しいスペース
のオブジェクトが常に０１２，０００，０００−０１２，７７７，７７７（８進
）の連続する範囲に割当てられ、かつ古いスペースのオブジェクトが常に０２３
，４５０，０００−０２３，５１７，７３０の連続する範囲に常に割当てられる
のなら、そのリザーブされた範囲内でのオブジェクトの位置を比較することによ
り、新しいスペースのリファレンスが古いスペースのオブジェクトに記憶される
ことが識別できる。こうして、０１２，３４５，６７０の位置での一オブジェク
トへのリファレンスは新しいスペースにあると判断できる。なぜなら、０１２，
３４５，６７０の場所は０１２，０００，０００−０１２，７７７，７７７の範
囲内にあるからである。
られることを検出する１つのアプローチとして、新しいスペースおよび古いスペ
ースの連続する範囲のメモリ場所をリザーブし、そのリザーブされた範囲につい
てのオブジェクトの位置をチェックすることである。たとえば、新しいスペース
のオブジェクトが常に０１２，０００，０００−０１２，７７７，７７７（８進
）の連続する範囲に割当てられ、かつ古いスペースのオブジェクトが常に０２３
，４５０，０００−０２３，５１７，７３０の連続する範囲に常に割当てられる
のなら、そのリザーブされた範囲内でのオブジェクトの位置を比較することによ
り、新しいスペースのリファレンスが古いスペースのオブジェクトに記憶される
ことが識別できる。こうして、０１２，３４５，６７０の位置での一オブジェク
トへのリファレンスは新しいスペースにあると判断できる。なぜなら、０１２，
３４５，６７０の場所は０１２，０００，０００−０１２，７７７，７７７の範
囲内にあるからである。
【００１１】 しかし、多くの実行時環境は広い連続するメモリ領域が割当てられるのを許さ
ない環境で実現されている。このような環境の場合、メモリは複数の一般的セグ
メントとしてしか得られない。その結果、オブジェクトがどのメモリ領域にある
かを決定することは、オブジェクトの場所をチェックすることでは判断できない
。
ない環境で実現されている。このような環境の場合、メモリは複数の一般的セグ
メントとしてしか得られない。その結果、オブジェクトがどのメモリ領域にある
かを決定することは、オブジェクトの場所をチェックすることでは判断できない
。
【００１２】 オブジェクトがどのメモリ領域に属するかを定める１つのアプローチは、どの
セグメントがどのメモリ領域に割当てられるかをリストしている副データ構造を
横切ることに関わる。しかし、このアプローチは副データ構造に対して多くの高
価なポインタのデリファレンスを引起す。別のアプローチとしては、オブジェク
トが位置するスペースを記述するヘッダを各オブジェクトの頭に記憶することで
ある。しかし、オブジェクトのヘッダに記憶されている情報のアクセスはオブジ
ェクトへのメモリポインタのデリファレンスを必要とし、これは高価なものとな
る。なぜなら、命令パイプラインに穴があったり、キャッシュの不一致があった
り、さらにオブジェクトのヘッダがあるページが仮想メモリシステムによってス
ワップアウトされた場合にはページエラーとなったりするからである。
セグメントがどのメモリ領域に割当てられるかをリストしている副データ構造を
横切ることに関わる。しかし、このアプローチは副データ構造に対して多くの高
価なポインタのデリファレンスを引起す。別のアプローチとしては、オブジェク
トが位置するスペースを記述するヘッダを各オブジェクトの頭に記憶することで
ある。しかし、オブジェクトのヘッダに記憶されている情報のアクセスはオブジ
ェクトへのメモリポインタのデリファレンスを必要とし、これは高価なものとな
る。なぜなら、命令パイプラインに穴があったり、キャッシュの不一致があった
り、さらにオブジェクトのヘッダがあるページが仮想メモリシステムによってス
ワップアウトされた場合にはページエラーとなったりするからである。
【００１３】 したがって、オブジェクトの記憶特性、たとえばオブジェクトがどのメモリ領
域に割当てられているかを示す特性、を管理する実行時環境でのニーズがある。
さらに、好ましくはメモリポインタをデリファレンスすることなく、オブジェク
トの記憶特性を効率的に決定するニーズがある。さらに、古いスペースのオブジ
ェクト内に新しいスペースのオブジェクトへのリファレンスを割当ることを検出
する効率的な方法も必要である。
域に割当てられているかを示す特性、を管理する実行時環境でのニーズがある。
さらに、好ましくはメモリポインタをデリファレンスすることなく、オブジェク
トの記憶特性を効率的に決定するニーズがある。さらに、古いスペースのオブジ
ェクト内に新しいスペースのオブジェクトへのリファレンスを割当ることを検出
する効率的な方法も必要である。
【００１４】
これらのニーズおよび他のニーズは、マシンポインタのような、オブジェクト
へのリファレンスに対する「タグ」と呼ばれる下位ビットの一部内におけるオブ
ジェクトについての記憶特性をコード化することにより対処している。したがっ
て、記憶特性はマシンポインタをデリファレンスすることなくタグの特定ビット
を抽出しかつ調べることによって効率的に定めることができる。オブジェクトへ
のリファレンスのタグにコード化できるオブジェクトの記憶特性は、オブジェク
トがどのようにかついつ実行時環境によって管理されるメモリに記憶されるかを
示す。たとえば、タグはオブジェクトの生存期間、フォーマットおよび／または
連続性についての情報をコード化することができ、したがってタグはオブジェク
トが新しいスペースまたは古いスペースに割当てられているかどうかを示すこと
ができる。
へのリファレンスに対する「タグ」と呼ばれる下位ビットの一部内におけるオブ
ジェクトについての記憶特性をコード化することにより対処している。したがっ
て、記憶特性はマシンポインタをデリファレンスすることなくタグの特定ビット
を抽出しかつ調べることによって効率的に定めることができる。オブジェクトへ
のリファレンスのタグにコード化できるオブジェクトの記憶特性は、オブジェク
トがどのようにかついつ実行時環境によって管理されるメモリに記憶されるかを
示す。たとえば、タグはオブジェクトの生存期間、フォーマットおよび／または
連続性についての情報をコード化することができ、したがってタグはオブジェク
トが新しいスペースまたは古いスペースに割当てられているかどうかを示すこと
ができる。
【００１５】 したがって、本発明の１つの局面はオブジェクトの記憶特性についての情報を
管理するための、コンピュータによって実行される方法、および命令を含むコン
ピュータによって読取可能な媒体に関する。オブジェクトはたとえばＮビットの
整列アドレスにおいてメモリに記憶され、オブジェクトへのリファレンスは、リ
ファレンスのベースアドレス部においてメモリ内のオブジェクトの位置を記憶す
ることによって作成される。この方法は、リファレンスのタグ部において、オブ
ジェクトの記憶特性についての情報を記憶することを含む。リファレンスのタグ
部はアドレス部のビットより下位である、リファレンスの１つ以上のビットを含
む。一実施例において、オブジェクトの記憶特性についての情報は、オブジェク
トへのリファレンスのタグ部をアクセスすることによって引出される。
管理するための、コンピュータによって実行される方法、および命令を含むコン
ピュータによって読取可能な媒体に関する。オブジェクトはたとえばＮビットの
整列アドレスにおいてメモリに記憶され、オブジェクトへのリファレンスは、リ
ファレンスのベースアドレス部においてメモリ内のオブジェクトの位置を記憶す
ることによって作成される。この方法は、リファレンスのタグ部において、オブ
ジェクトの記憶特性についての情報を記憶することを含む。リファレンスのタグ
部はアドレス部のビットより下位である、リファレンスの１つ以上のビットを含
む。一実施例において、オブジェクトの記憶特性についての情報は、オブジェク
トへのリファレンスのタグ部をアクセスすることによって引出される。
【００１６】 本発明の別の局面は、複数のオブジェクトのメモリを管理するための、コンピ
ュータによって実行される方法、および命令を含むコンピュータによって読取可
能な媒体に関する。この方法はオブジェクトを第１のメモリ領域に割当、生存期
間に基づいて、一部のオブジェクトを第１のメモリ領域から第２のメモリ領域に
移動させることを含む。第１のメモリ領域および第２のメモリ領域の一方または
両方は、複数の不連続セグメントを含む。第２のメモリ領域におけるどの第２の
オブジェクトが第１のメモリ領域における第１のオブジェクトを参照するかにつ
いての情報のデータ構造は、メモリポインタをデリファレンスすることなく、第
１のオブジェクトへの第１のリファレンスおよび第２のオブジェクトへの第２の
リファレンスに基づいて、第１のオブジェクトが第１のメモリ領域に割当てられ
ているかどうかおよび第２のオブジェクトが第２のメモリ領域に割当てられてい
るかどうかを決定することによって維持される。一実施例において、第１のオブ
ジェクトが第１のメモリ領域に割当てられ、第２のオブジェクトが第２のメモリ
領域に割当てられていることの判断は、第１および第２のオブジェクトへのリフ
ァレンスのタグを抽出して、そのタグを比較することによって行なわれる。
ュータによって実行される方法、および命令を含むコンピュータによって読取可
能な媒体に関する。この方法はオブジェクトを第１のメモリ領域に割当、生存期
間に基づいて、一部のオブジェクトを第１のメモリ領域から第２のメモリ領域に
移動させることを含む。第１のメモリ領域および第２のメモリ領域の一方または
両方は、複数の不連続セグメントを含む。第２のメモリ領域におけるどの第２の
オブジェクトが第１のメモリ領域における第１のオブジェクトを参照するかにつ
いての情報のデータ構造は、メモリポインタをデリファレンスすることなく、第
１のオブジェクトへの第１のリファレンスおよび第２のオブジェクトへの第２の
リファレンスに基づいて、第１のオブジェクトが第１のメモリ領域に割当てられ
ているかどうかおよび第２のオブジェクトが第２のメモリ領域に割当てられてい
るかどうかを決定することによって維持される。一実施例において、第１のオブ
ジェクトが第１のメモリ領域に割当てられ、第２のオブジェクトが第２のメモリ
領域に割当てられていることの判断は、第１および第２のオブジェクトへのリフ
ァレンスのタグを抽出して、そのタグを比較することによって行なわれる。
【００１７】 本発明の他の目的および利点は、本発明を実施する最良のモードを示す以下の
詳細な説明から容易に明らかとなる。本発明では他の実施例および異なる実施例
が可能であり、本発明から逸脱することはなくいくつかの詳細はさまざまな自明
な点で変形可能である。したがって、図面および記載は例示的なものであり、限
定するものではない。
詳細な説明から容易に明らかとなる。本発明では他の実施例および異なる実施例
が可能であり、本発明から逸脱することはなくいくつかの詳細はさまざまな自明
な点で変形可能である。したがって、図面および記載は例示的なものであり、限
定するものではない。
【００１８】 本発明について、限定を目的としてではなく例示を目的として添付の図面にお
いて説明している。図面では同一の参照番号は同様の構成要素を表わしている。
いて説明している。図面では同一の参照番号は同様の構成要素を表わしている。
【００１９】
メモリを管理するための方法および装置について説明する。以下の記載では、
説明のために、多数の具体的な詳細事項を述べて本発明を十分に理解できるよう
にしている。しかしながら、本発明はこれらの具体的な詳細事項がなくとも実施
し得ることが当業者には明らかであろう。これ以外については、周知の構造およ
び装置をブロック図形式で示し、本発明が不必要に不明瞭にならないようにして
いる。
説明のために、多数の具体的な詳細事項を述べて本発明を十分に理解できるよう
にしている。しかしながら、本発明はこれらの具体的な詳細事項がなくとも実施
し得ることが当業者には明らかであろう。これ以外については、周知の構造およ
び装置をブロック図形式で示し、本発明が不必要に不明瞭にならないようにして
いる。
【００２０】 ハードウェア概観 図１は、本発明の実施例を実現し得るコンピュータシステム１００を示すブロ
ック図である。コンピュータシステム１００は、情報を伝えるためのバス１０２
または他の通信メカニズムと、バス１０２に結合され情報を処理するためのプロ
セッサ１０４とを含む。コンピュータシステム１００はまた、バス１０２に結合
され、情報およびプロセッサ１０４が実行する命令を記憶するための、ランダム
アクセスメモリ（ＲＡＭ）または他の動的記憶装置といったメインメモリ１０６
を含む。メインメモリ１０６を用いて、プロセッサ１０４が命令を実行する間に
、実行する一時的変数または他の中間情報を記憶することもできる。コンピュー
タシステム１００はさらに、バス１０２に結合され、静的情報およびプロセッサ
１０４に対する命令を記憶するための、読取専用メモリ（ＲＯＭ）１０８または
他の静的記憶装置を含む。磁気ディスクまたは光ディスクなどの記憶装置１１０
が設けられ、バス１０２に結合されて情報および命令を記憶する。
ック図である。コンピュータシステム１００は、情報を伝えるためのバス１０２
または他の通信メカニズムと、バス１０２に結合され情報を処理するためのプロ
セッサ１０４とを含む。コンピュータシステム１００はまた、バス１０２に結合
され、情報およびプロセッサ１０４が実行する命令を記憶するための、ランダム
アクセスメモリ（ＲＡＭ）または他の動的記憶装置といったメインメモリ１０６
を含む。メインメモリ１０６を用いて、プロセッサ１０４が命令を実行する間に
、実行する一時的変数または他の中間情報を記憶することもできる。コンピュー
タシステム１００はさらに、バス１０２に結合され、静的情報およびプロセッサ
１０４に対する命令を記憶するための、読取専用メモリ（ＲＯＭ）１０８または
他の静的記憶装置を含む。磁気ディスクまたは光ディスクなどの記憶装置１１０
が設けられ、バス１０２に結合されて情報および命令を記憶する。
【００２１】 コンピュータシステム１００を、陰極線管（ＣＲＴ）といったディスプレイ１
１２にバス１０２を介して結合し、情報をコンピュータユーザに対し表示するこ
とができる。英数字およびその他のキーを含む入力装置１１４は、バス１０２に
結合され、情報およびコマンド選択をプロセッサ１０４に伝える。他の種類のユ
ーザ入力装置としては、方向情報およびコマンド選択をプロセッサ１０４に伝え
るためかつディスプレイ１１２上でのカーソルの動きを制御するための、マウス
、トラックボールまたはカーソル方向キーといったカーソルコントロール１１６
がある。典型的にこの入力装置は第１の軸（たとえばｘ）および第２の軸（たと
えばｙ）という２つの軸における２つの自由度を有し、これによってこの入力装
置は平面での位置を特定できる。
１２にバス１０２を介して結合し、情報をコンピュータユーザに対し表示するこ
とができる。英数字およびその他のキーを含む入力装置１１４は、バス１０２に
結合され、情報およびコマンド選択をプロセッサ１０４に伝える。他の種類のユ
ーザ入力装置としては、方向情報およびコマンド選択をプロセッサ１０４に伝え
るためかつディスプレイ１１２上でのカーソルの動きを制御するための、マウス
、トラックボールまたはカーソル方向キーといったカーソルコントロール１１６
がある。典型的にこの入力装置は第１の軸（たとえばｘ）および第２の軸（たと
えばｙ）という２つの軸における２つの自由度を有し、これによってこの入力装
置は平面での位置を特定できる。
【００２２】 本発明は、オブジェクトのメモリ管理のためにコンピュータシステム１００を
使用することに関する。本発明のある実施例に従うと、メモリの管理は、メイン
メモリ１０６に含まれる１以上の命令の１以上のシーケンスを実行するプロセッ
サ１０４に応答してコンピュータシステム１００により行なわれる。こういった
命令は、メインメモリ１０６に、たとえば記憶装置１１０といった別のコンピュ
ータ読取可能な媒体から読込むことができる。メインメモリ１０６に含まれる命
令シーケンスを実行すると、プロセッサ１０４は、本明細書に記載するプロセス
ステップを実施する。多重処理配置の１以上のプロセッサを用いて、メインメモ
リ１０６に含まれる命令のシーケンスを実行することもできる。代替実施例では
、ハードワイヤード回路を、ソフトウェア命令の代わりにまたはソフトウェア命
令と組合わせて用いて、本発明を実現することができる。このように、本発明の
実施例は、ハードウェア回路およびソフトウェアの特定の組合せに限定されるも
のではない。
使用することに関する。本発明のある実施例に従うと、メモリの管理は、メイン
メモリ１０６に含まれる１以上の命令の１以上のシーケンスを実行するプロセッ
サ１０４に応答してコンピュータシステム１００により行なわれる。こういった
命令は、メインメモリ１０６に、たとえば記憶装置１１０といった別のコンピュ
ータ読取可能な媒体から読込むことができる。メインメモリ１０６に含まれる命
令シーケンスを実行すると、プロセッサ１０４は、本明細書に記載するプロセス
ステップを実施する。多重処理配置の１以上のプロセッサを用いて、メインメモ
リ１０６に含まれる命令のシーケンスを実行することもできる。代替実施例では
、ハードワイヤード回路を、ソフトウェア命令の代わりにまたはソフトウェア命
令と組合わせて用いて、本発明を実現することができる。このように、本発明の
実施例は、ハードウェア回路およびソフトウェアの特定の組合せに限定されるも
のではない。
【００２３】 本明細書で用いる「コンピュータ読取可能な媒体」という用語は、プロセッサ
１０４が実行する命令を与えることに関わる何らかの媒体のことを指す。このよ
うな媒体には、不揮発性媒体、揮発性媒体および伝送媒体を含め、数多くの形態
があるが、これらに限定される訳ではない。不揮発性媒体は例として記憶装置１
１０などの光ディスクまたは磁気ディスクを含む。揮発性媒体はメインメモリ１
０６などの動的メモリを含む。伝送媒体は、バス１０２を含むワイヤを含め、同
軸ケーブル、銅線および光ファイバを含む。伝送媒体は、無線周波数（ＲＦ）お
よび赤外（ＩＲ）データ通信中に発生する音波または光波の形態も取り得る。例
として、コンピュータ読取可能な媒体の一般的な形態は、フロッピー（Ｒ）ディ
スク、フレキシブルディスク、ハードディスク、磁気テープ、その他の磁気媒体
、ＣＤ−ＲＯＭ、ＤＶＤ、その他の光媒体、パンチカード、紙テープ、その他孔
パターンを有する物理媒体、ＲＡＭ、ＰＲＯＭ、ＥＰＲＯＭ、ＦＬＡＳＨ−ＥＰ
ＲＯＭ、その他メモリチップまたはカートリッジ、以下で説明する搬送波、また
はこれら以外のコンピュータが読取可能な媒体を含む。
１０４が実行する命令を与えることに関わる何らかの媒体のことを指す。このよ
うな媒体には、不揮発性媒体、揮発性媒体および伝送媒体を含め、数多くの形態
があるが、これらに限定される訳ではない。不揮発性媒体は例として記憶装置１
１０などの光ディスクまたは磁気ディスクを含む。揮発性媒体はメインメモリ１
０６などの動的メモリを含む。伝送媒体は、バス１０２を含むワイヤを含め、同
軸ケーブル、銅線および光ファイバを含む。伝送媒体は、無線周波数（ＲＦ）お
よび赤外（ＩＲ）データ通信中に発生する音波または光波の形態も取り得る。例
として、コンピュータ読取可能な媒体の一般的な形態は、フロッピー（Ｒ）ディ
スク、フレキシブルディスク、ハードディスク、磁気テープ、その他の磁気媒体
、ＣＤ−ＲＯＭ、ＤＶＤ、その他の光媒体、パンチカード、紙テープ、その他孔
パターンを有する物理媒体、ＲＡＭ、ＰＲＯＭ、ＥＰＲＯＭ、ＦＬＡＳＨ−ＥＰ
ＲＯＭ、その他メモリチップまたはカートリッジ、以下で説明する搬送波、また
はこれら以外のコンピュータが読取可能な媒体を含む。
【００２４】 種々の形態のコンピュータ読取可能な媒体を、１以上の命令の１以上のシーケ
ンスを実行のためにプロセッサ１０４に搬送するのに用いることができる。たと
えば、初めは命令を遠隔コンピュータの磁気ディスクに置いてもよい。遠隔コン
ピュータは、命令を、自身の動的記憶装置にロードし、モデムを用いて電話線で
送ることができる。コンピュータシステム１００のローカルモデムは、電話線の
データを受け、赤外線送信器を用いてこのデータを赤外線信号に変換できる。バ
ス１０２に結合された赤外線検出器は、赤外線信号で搬送されるデータを受け、
このデータをバス１０２に置く。バス１０２は、このデータをメインメモリ１０
６に搬送し、ここからプロセッサ１０４は命令を取出して実行する。任意的に、
メインメモリ１０６が受けた命令を、プロセッサ１０４による実行前または実行
後いずれかに、記憶装置１１０に記憶させることができる。
ンスを実行のためにプロセッサ１０４に搬送するのに用いることができる。たと
えば、初めは命令を遠隔コンピュータの磁気ディスクに置いてもよい。遠隔コン
ピュータは、命令を、自身の動的記憶装置にロードし、モデムを用いて電話線で
送ることができる。コンピュータシステム１００のローカルモデムは、電話線の
データを受け、赤外線送信器を用いてこのデータを赤外線信号に変換できる。バ
ス１０２に結合された赤外線検出器は、赤外線信号で搬送されるデータを受け、
このデータをバス１０２に置く。バス１０２は、このデータをメインメモリ１０
６に搬送し、ここからプロセッサ１０４は命令を取出して実行する。任意的に、
メインメモリ１０６が受けた命令を、プロセッサ１０４による実行前または実行
後いずれかに、記憶装置１１０に記憶させることができる。
【００２５】 コンピュータシステム１００はまた、バス１０２に結合された通信インターフ
ェイス１１８を含む。通信インターフェイス１１８によって、ローカルネットワ
ーク１２２に接続されたネットワークリンク１２０に結合する双方向データ通信
が行なわれる。例として、通信インターフェイス１１８は、対応する種類の電話
線へのデータ通信接続をもたらす統合デジタル通信サービス網（ＩＳＤＮ）カー
ドまたはモデムでもよい。別の例として、通信インターフェイス１１８は、互換
ＬＡＮへのデータ通信接続をもたらすローカルエリアネットワーク（ＬＡＮ）カ
ードでもよい。ワイヤレスリンクを実現することもできる。どのような実現化例
においても、通信インターフェイス１１８は、種々の種類の情報を表わすデジタ
ルデータストリームを搬送する電気信号、電磁信号または光信号を送受信する。
ェイス１１８を含む。通信インターフェイス１１８によって、ローカルネットワ
ーク１２２に接続されたネットワークリンク１２０に結合する双方向データ通信
が行なわれる。例として、通信インターフェイス１１８は、対応する種類の電話
線へのデータ通信接続をもたらす統合デジタル通信サービス網（ＩＳＤＮ）カー
ドまたはモデムでもよい。別の例として、通信インターフェイス１１８は、互換
ＬＡＮへのデータ通信接続をもたらすローカルエリアネットワーク（ＬＡＮ）カ
ードでもよい。ワイヤレスリンクを実現することもできる。どのような実現化例
においても、通信インターフェイス１１８は、種々の種類の情報を表わすデジタ
ルデータストリームを搬送する電気信号、電磁信号または光信号を送受信する。
【００２６】 典型的に、ネットワークリンク１２０は、１以上のネットワークを通して他の
データ装置にデータを提供する。たとえば、ネットワークリンク１２０により、
ローカルネットワーク１２２を通して、インターネットサービスプロバイダ（Ｉ
ＳＰ）１２６が操作するホストコンピュータ１２４またはデータ機器への接続が
得られる。ＩＳＰ１２６からは、現在は一般に「インターネット」１２８と呼ば
れているワールドワイドパケットデータ通信ネットワークを通して、データ通信
サービスが提供される。ローカルネットワーク１２２およびインターネット１２
８はどちらも、デジタルデータストリームを搬送する電気信号、電磁信号または
光信号を利用する。種々のネットワークを通る信号、ネットワークリンク１２０
上の信号および通信インターフェイス１１８を通る信号は、コンピュータシステ
ム１００へのおよびコンピュータシステムからのデジタルデータを運ぶ。これら
の信号は、情報を伝達する搬送波の形態の例である。
データ装置にデータを提供する。たとえば、ネットワークリンク１２０により、
ローカルネットワーク１２２を通して、インターネットサービスプロバイダ（Ｉ
ＳＰ）１２６が操作するホストコンピュータ１２４またはデータ機器への接続が
得られる。ＩＳＰ１２６からは、現在は一般に「インターネット」１２８と呼ば
れているワールドワイドパケットデータ通信ネットワークを通して、データ通信
サービスが提供される。ローカルネットワーク１２２およびインターネット１２
８はどちらも、デジタルデータストリームを搬送する電気信号、電磁信号または
光信号を利用する。種々のネットワークを通る信号、ネットワークリンク１２０
上の信号および通信インターフェイス１１８を通る信号は、コンピュータシステ
ム１００へのおよびコンピュータシステムからのデジタルデータを運ぶ。これら
の信号は、情報を伝達する搬送波の形態の例である。
【００２７】 コンピュータシステム１００は、ネットワーク、ネットワークリンク１２０お
よび通信インターフェイス１１８を通して、プログラムコードを含むメッセージ
を送りデータを受けることができる。インターネットの例では、サーバ１３０が
、アプリケーションプログラムについて要求されたコードを、インターネット１
２８、ＩＳＰ１２６、ローカルネットワーク１２２および通信インターフェイス
１１８を通して、送信することがある。本発明に従い、このようにダウンロード
されたアプリケーションにより、本明細書で説明するようにメモリを管理する。
よび通信インターフェイス１１８を通して、プログラムコードを含むメッセージ
を送りデータを受けることができる。インターネットの例では、サーバ１３０が
、アプリケーションプログラムについて要求されたコードを、インターネット１
２８、ＩＳＰ１２６、ローカルネットワーク１２２および通信インターフェイス
１１８を通して、送信することがある。本発明に従い、このようにダウンロード
されたアプリケーションにより、本明細書で説明するようにメモリを管理する。
【００２８】 受けたコードを受けたときにプロセッサ１０４が実行してもよく、かつ／また
は、記憶装置１１０または他の不揮発性記憶装置に記憶しておいて後で実行して
もよい。この態様で、コンピュータシステム１００は、搬送波の形でアプリケー
ションコードを得ることができる。
は、記憶装置１１０または他の不揮発性記憶装置に記憶しておいて後で実行して
もよい。この態様で、コンピュータシステム１００は、搬送波の形でアプリケー
ションコードを得ることができる。
【００２９】 リファレンスタグ付け 本発明は、整列不変量を、強く型付けされた言語たとえばJAVA(R)（登録商標
）の動的実行時環境に導入して活用し、オブジェクトへのすべてのリファレンス
内のオブジェクトの記憶特性に関する情報をコード化できるという認識から、生
まれたものである。リファレンスの一例としてマシンポインタがあり、マシンポ
インタは、コンピュータシステムのメモリ空間内のオブジェクトの場所を、実ア
ドレスまたは仮想アドレスの形式で含む。ポインタに埋込まれた情報は、高速ア
クセスマシンレジスタにあることが多いため、参照されたオブジェクトのヘッダ
を取込むためにさらなるメモリサイクルを要しなくても、非常に高速で取出すこ
とができる。
）の動的実行時環境に導入して活用し、オブジェクトへのすべてのリファレンス
内のオブジェクトの記憶特性に関する情報をコード化できるという認識から、生
まれたものである。リファレンスの一例としてマシンポインタがあり、マシンポ
インタは、コンピュータシステムのメモリ空間内のオブジェクトの場所を、実ア
ドレスまたは仮想アドレスの形式で含む。ポインタに埋込まれた情報は、高速ア
クセスマシンレジスタにあることが多いため、参照されたオブジェクトのヘッダ
を取込むためにさらなるメモリサイクルを要しなくても、非常に高速で取出すこ
とができる。
【００３０】 図２を参照して、実行時環境が管理するオブジェクトは、Ｎビット整列アドレ
スに記憶される（ステップ２００）。言い換えれば、こうしたオブジェクトの記
憶は、２Nバイト境界を起点とする仮想アドレスで始まる。たとえば、オブジェ
クトを、３ビット整列アドレスに、すなわち２3＝８バイト境界に記憶すること
ができる。したがって、このようなオブジェクトの、８進数で表現される正当な
開始アドレスは、０２，４４７，６３０である。しかしながら、０２，４４７，
６３４といったアドレスは、オブジェクトの記憶に有効な開始アドレスではない
。結果として、ポインタの３個の最下位ビットは、異なるオブジェクトを区別す
るのに役立たない。なぜなら、この３個の最下位ビットについては８個の値のう
ちひとつのみが正当なアドレスで、残り７個の値は他のどのオブジェクトも示さ
ないからである。この整列の制限のため、０２，４４７，６３０から０２，４４
７，６３７までのアドレスを有するマシンポインタは効果的に同じオブジェクト
を指す。
スに記憶される（ステップ２００）。言い換えれば、こうしたオブジェクトの記
憶は、２Nバイト境界を起点とする仮想アドレスで始まる。たとえば、オブジェ
クトを、３ビット整列アドレスに、すなわち２3＝８バイト境界に記憶すること
ができる。したがって、このようなオブジェクトの、８進数で表現される正当な
開始アドレスは、０２，４４７，６３０である。しかしながら、０２，４４７，
６３４といったアドレスは、オブジェクトの記憶に有効な開始アドレスではない
。結果として、ポインタの３個の最下位ビットは、異なるオブジェクトを区別す
るのに役立たない。なぜなら、この３個の最下位ビットについては８個の値のう
ちひとつのみが正当なアドレスで、残り７個の値は他のどのオブジェクトも示さ
ないからである。この整列の制限のため、０２，４４７，６３０から０２，４４
７，６３７までのアドレスを有するマシンポインタは効果的に同じオブジェクト
を指す。
【００３１】 したがって、Ｎビット整列オブジェクトへのポインタのＮ個の下位ビットのい
ずれかを用いて、他の情報、すなわち参照されたオブジェクトの記憶特性をコー
ド化できる。ポインタの残余の部分は「ベースアドレス」と呼ばれ、仮想メモリ
内でのオブジェクトの場所を含む。したがって、ベースアドレスのビットより下
位の、ポインタにおけるビットのいずれかを用いて、オブジェクトの記憶特性を
示すことができる。例として、３ビット整列オブジェクトへのポインタの３個の
ビットすべてを用いて、このオブジェクトの記憶特性を示すことができる。別の
例として、ビット２および３を専らオブジェクトの記憶特性を示すのに用い、ビ
ット０を他の種類のインスタンス特性を示すのに用いることができる。
ずれかを用いて、他の情報、すなわち参照されたオブジェクトの記憶特性をコー
ド化できる。ポインタの残余の部分は「ベースアドレス」と呼ばれ、仮想メモリ
内でのオブジェクトの場所を含む。したがって、ベースアドレスのビットより下
位の、ポインタにおけるビットのいずれかを用いて、オブジェクトの記憶特性を
示すことができる。例として、３ビット整列オブジェクトへのポインタの３個の
ビットすべてを用いて、このオブジェクトの記憶特性を示すことができる。別の
例として、ビット２および３を専らオブジェクトの記憶特性を示すのに用い、ビ
ット０を他の種類のインスタンス特性を示すのに用いることができる。
【００３２】 図３に示したある実現化例では、ポインタ３００は、３２ビットの仮想アドレ
スからなる。実行時環境内のオブジェクトが８バイト境界に整列していれば、タ
グ３０４に対し、ポインタ３００の３個の最下位ビットを利用でき、ベースアド
レス部３０２を構成する残り２９ビットを用いて、参照されたオブジェクトの場
所を保持する。図３は３ビットのタグ３０４を有する３２ビットのポインタ３０
０の一例を示しているが、本発明はこのような具体的なサイズに限定されない。
ポインタのサイズおよびタグのサイズを実現化例ごとに変えてもよい。たとえば
、ポインタのタグ付けは、１６ビット、３６ビットおよび６４ビットのポインタ
および１ビットから５ビットのタグに適している。
スからなる。実行時環境内のオブジェクトが８バイト境界に整列していれば、タ
グ３０４に対し、ポインタ３００の３個の最下位ビットを利用でき、ベースアド
レス部３０２を構成する残り２９ビットを用いて、参照されたオブジェクトの場
所を保持する。図３は３ビットのタグ３０４を有する３２ビットのポインタ３０
０の一例を示しているが、本発明はこのような具体的なサイズに限定されない。
ポインタのサイズおよびタグのサイズを実現化例ごとに変えてもよい。たとえば
、ポインタのタグ付けは、１６ビット、３６ビットおよび６４ビットのポインタ
および１ビットから５ビットのタグに適している。
【００３３】 再び図２を参照して、オブジェクトへの、たとえばポインタというリファレン
スが作成されると、オブジェクトの場所は、このリファレンスのベースアドレス
部に記憶される（ステップ２０２）。参照されたオブジェクトの所望の記憶特性
は、タグ部に記憶される（ステップ２０４）。オブジェクトを参照するポインタ
３００に基づいてオブジェクトの記憶特性を取出すために、ポインタのデリファ
レンスを行なわなずに、ポインタ３００のタグ部３０４がアクセスされる（ステ
ップ３０６）。タグは種々の方法で抽出できる。たとえば、ポインタをマスクし
最下位ビット３０４を抽出することにより、または、ポインタ３００およびオブ
ジェクトの実際の開始アドレスのポインタ差を計算することにより、タグを抽出
できる。
スが作成されると、オブジェクトの場所は、このリファレンスのベースアドレス
部に記憶される（ステップ２０２）。参照されたオブジェクトの所望の記憶特性
は、タグ部に記憶される（ステップ２０４）。オブジェクトを参照するポインタ
３００に基づいてオブジェクトの記憶特性を取出すために、ポインタのデリファ
レンスを行なわなずに、ポインタ３００のタグ部３０４がアクセスされる（ステ
ップ３０６）。タグは種々の方法で抽出できる。たとえば、ポインタをマスクし
最下位ビット３０４を抽出することにより、または、ポインタ３００およびオブ
ジェクトの実際の開始アドレスのポインタ差を計算することにより、タグを抽出
できる。
【００３４】 タグ付けされたポインタのデリファレンスのためには、ベースアドレスをポイ
ンタから抽出してからデリファレンスを行なう。たとえば、タグ付けされたポイ
ンタ０２，４４７，６３４は、デリファレンスのためにベースアドレス０２，４
４７，６３０に変換される。例として、ベースアドレスを、タグをマスクオフす
ることによって抽出できる。Ｃプログラミング言語では、タグを、式（ｐｔｒ＆
−０７）でマスクオフできる。
ンタから抽出してからデリファレンスを行なう。たとえば、タグ付けされたポイ
ンタ０２，４４７，６３４は、デリファレンスのためにベースアドレス０２，４
４７，６３０に変換される。例として、ベースアドレスを、タグをマスクオフす
ることによって抽出できる。Ｃプログラミング言語では、タグを、式（ｐｔｒ＆
−０７）でマスクオフできる。
【００３５】 記憶特性 ポインタタグにおいて種類情報をコード化するSmalltalk（登録商標）およびL
ISP Machine（登録商標）実現化例とは対照的に、本発明のある実施例では、強
く型付けされた言語たとえばJAVA(R)（登録商標）のための動的実行時環境にお
ける参照タグ付けを用いて、オブジェクトの記憶特性に関する非種類情報をコー
ド化する。強く型付けされた言語のための実行時環境では、ポインタに種類情報
を記憶する必要はない。なぜなら、コンパイラは既に、たとえば一般的にはメッ
セージのディスパッチといったオブジェクトの種類を知っていることが不可欠で
ある状況における、関連の種類情報を認識しているからである。
ISP Machine（登録商標）実現化例とは対照的に、本発明のある実施例では、強
く型付けされた言語たとえばJAVA(R)（登録商標）のための動的実行時環境にお
ける参照タグ付けを用いて、オブジェクトの記憶特性に関する非種類情報をコー
ド化する。強く型付けされた言語のための実行時環境では、ポインタに種類情報
を記憶する必要はない。なぜなら、コンパイラは既に、たとえば一般的にはメッ
セージのディスパッチといったオブジェクトの種類を知っていることが不可欠で
ある状況における、関連の種類情報を認識しているからである。
【００３６】 記憶特性は、「種類」以外の、安定したインスタンス特性であり、これは一般
に、オブジェクトがどのようにしてメモリに記憶されているか、および、オブジ
ェクトが実行時環境が管理するメモリにどれだけの期間記憶されているかに関す
る。ポインタタグに、３種類の記憶特性すなわち生存期間、フォーマットおよび
連続性をコード化しておくことが特に有利なことがわかっている。加えて、これ
らの記憶特性を組合わせたものをポインタタグにコード化することができる。
に、オブジェクトがどのようにしてメモリに記憶されているか、および、オブジ
ェクトが実行時環境が管理するメモリにどれだけの期間記憶されているかに関す
る。ポインタタグに、３種類の記憶特性すなわち生存期間、フォーマットおよび
連続性をコード化しておくことが特に有利なことがわかっている。加えて、これ
らの記憶特性を組合わせたものをポインタタグにコード化することができる。
【００３７】 オブジェクトの生存期間記憶特性は、オブジェクトが存続している期間を表わ
す。生存期間は、絶対的に時間で表わす、または、別のオブジェクトまたはイベ
ントに関する相対的な時間で表わすことができる。例として、「最近」割当てら
れたオブジェクトを０でタグ付けし、「より古い」オブジェクトを１でタグ付け
することができる。より正確には、世代別ごみ回収器では、タグ０は新しい空間
のオブジェクトと関連づけられ、タグ１は古い空間のオブジェクトと関連づけら
れる。この場合、より古いオブジェクトを、ごみ回収のために新しい空間が取除
かれた４つの出現よりも長く存続するものとして定義できる。別の例として、生
存期間は、オブジェクトが現在のＳＱＬコール中にセッションにおける過去のコ
ールに割当てられたのか、または、セッション間を通して存続しているのかどう
かを示すことができる。
す。生存期間は、絶対的に時間で表わす、または、別のオブジェクトまたはイベ
ントに関する相対的な時間で表わすことができる。例として、「最近」割当てら
れたオブジェクトを０でタグ付けし、「より古い」オブジェクトを１でタグ付け
することができる。より正確には、世代別ごみ回収器では、タグ０は新しい空間
のオブジェクトと関連づけられ、タグ１は古い空間のオブジェクトと関連づけら
れる。この場合、より古いオブジェクトを、ごみ回収のために新しい空間が取除
かれた４つの出現よりも長く存続するものとして定義できる。別の例として、生
存期間は、オブジェクトが現在のＳＱＬコール中にセッションにおける過去のコ
ールに割当てられたのか、または、セッション間を通して存続しているのかどう
かを示すことができる。
【００３８】 オブジェクトのフォーマットは、オブジェクトの内的表現が何であるかを示す
。フォーマットは種類とは異なり、種類は論理概念であるのに対しフォーマット
は物理概念である。したがって、同じ種類の２つのオブジェクトが異なるフォー
マットすなわち内的表現を有することが可能である。あるオブジェクトのフォー
マットの一例は、別のオブジェクトへのリファレンスの内的表現を含む。このリ
ファレンスは、あるフォーマットでは固有のマシンポインタとして、および、別
のフォーマットでは数値リファレンスとして、実現できる。数値リファレンスは
、オブジェクトの場所を、メモリの割当領域の空間またはオブジェクトそのもの
の起点といったように、暗黙のベースポインタからの変位またはオフセットとし
て説明する整数である。数値リファレンスの内的表現は整数であるため、数値リ
ファレンスは、固有マシンポインタよりも移動性が高く潜在的に再配置しやすい
。実際、数値リファレンスそのものをタグ付けして、数値リファレンスが参照す
るオブジェクトの連続性といった記憶特性を記録できる。
。フォーマットは種類とは異なり、種類は論理概念であるのに対しフォーマット
は物理概念である。したがって、同じ種類の２つのオブジェクトが異なるフォー
マットすなわち内的表現を有することが可能である。あるオブジェクトのフォー
マットの一例は、別のオブジェクトへのリファレンスの内的表現を含む。このリ
ファレンスは、あるフォーマットでは固有のマシンポインタとして、および、別
のフォーマットでは数値リファレンスとして、実現できる。数値リファレンスは
、オブジェクトの場所を、メモリの割当領域の空間またはオブジェクトそのもの
の起点といったように、暗黙のベースポインタからの変位またはオフセットとし
て説明する整数である。数値リファレンスの内的表現は整数であるため、数値リ
ファレンスは、固有マシンポインタよりも移動性が高く潜在的に再配置しやすい
。実際、数値リファレンスそのものをタグ付けして、数値リファレンスが参照す
るオブジェクトの連続性といった記憶特性を記録できる。
【００３９】 もうひとつ記憶特性は、オブジェクトの連続性であり、オブジェクトが連続し
たメモリ場所に記憶されているのか連続していないページに記憶されているのか
を示す。この記憶特性は、メモリが通常非連続の複数ページとしてしか得られな
い実行時環境では特に有利なことがわかっている。１つのページは、コンピュー
タシステムの（仮想）アドレス空間の固定長の連続領域である。ある実施例では
、ページサイズは４０９６（２12）であるが、このページサイズは他の実施例で
は２8（２５６）から２16（６５５３６）バイトといったように幅を持たせるこ
とができる。１つのオブジェクトは、複数ページに記憶されている場合、特に、
複数ページのうち１つがこれらページの別のページに連続していない場合、非連
続であるまたは「ページに分かれる」と言われる。ページに分けたオブジェクト
のフィールド、インスタンス変数または「スロット」のアドレス計算は、ページ
テーブルを通したインデックスにより非常に複雑であるが、連続したオブジェク
トについてはもっと簡単である。したがって、リファレンスタグにおいてオブジ
ェクトの連続性をコード化することにより、適切なマシン命令をディスパッチし
てページに分かれたオブジェクトのスロットにアクセスできる。
たメモリ場所に記憶されているのか連続していないページに記憶されているのか
を示す。この記憶特性は、メモリが通常非連続の複数ページとしてしか得られな
い実行時環境では特に有利なことがわかっている。１つのページは、コンピュー
タシステムの（仮想）アドレス空間の固定長の連続領域である。ある実施例では
、ページサイズは４０９６（２12）であるが、このページサイズは他の実施例で
は２8（２５６）から２16（６５５３６）バイトといったように幅を持たせるこ
とができる。１つのオブジェクトは、複数ページに記憶されている場合、特に、
複数ページのうち１つがこれらページの別のページに連続していない場合、非連
続であるまたは「ページに分かれる」と言われる。ページに分けたオブジェクト
のフィールド、インスタンス変数または「スロット」のアドレス計算は、ページ
テーブルを通したインデックスにより非常に複雑であるが、連続したオブジェク
トについてはもっと簡単である。したがって、リファレンスタグにおいてオブジ
ェクトの連続性をコード化することにより、適切なマシン命令をディスパッチし
てページに分かれたオブジェクトのスロットにアクセスできる。
【００４０】 タグは、オブジェクトの生存期間およびフォーマット（１つのフォーマット）
またはオブジェクトの連続性およびフォーマット（別のフォーマット）といった
ように、記憶特性の組合せをコード化できる。表１はこのような特性に対するタ
グ値に可能な１つの割当を列挙している。
またはオブジェクトの連続性およびフォーマット（別のフォーマット）といった
ように、記憶特性の組合せをコード化できる。表１はこのような特性に対するタ
グ値に可能な１つの割当を列挙している。
【００４１】
【表１】
【００４２】 オブジェクトの記憶特性はオブジェクトへのすべてのリファレンスにおいてコ
ード化されているため、オブジェクトの記憶特性に生じた変化をオブジェクトへ
のリファレンスすべてに反映させなければならないことになる。しかしながら、
この制限は、記憶特性のタグ付けにおいては問題ではない。例として、いくつか
の特性は、フォーマットまたは連続性といったように、本質的に永久的である。
このようなポインタタグの変更はもしあったとしてもごく稀にしか起こらない。
別の例として、世代別ごみ回収器により、新しい空間のオブジェクトが古い空間
に入れられた場合、このオブジェクトに対するすべてのリファレンスは、どんな
場合でも必ずこの回収器によって再配置されねばならない。また、この再配置の
一部として、生存期間がオブジェクトの永久特性でないとしても、タグを更新で
きる。
ード化されているため、オブジェクトの記憶特性に生じた変化をオブジェクトへ
のリファレンスすべてに反映させなければならないことになる。しかしながら、
この制限は、記憶特性のタグ付けにおいては問題ではない。例として、いくつか
の特性は、フォーマットまたは連続性といったように、本質的に永久的である。
このようなポインタタグの変更はもしあったとしてもごく稀にしか起こらない。
別の例として、世代別ごみ回収器により、新しい空間のオブジェクトが古い空間
に入れられた場合、このオブジェクトに対するすべてのリファレンスは、どんな
場合でも必ずこの回収器によって再配置されねばならない。また、この再配置の
一部として、生存期間がオブジェクトの永久特性でないとしても、タグを更新で
きる。
【００４３】 ポインタタグを用いた書込バリアの実現 図４は、ポインタタグを用いて世代別ごみ回収器において効率的に書込バリア
を実現できるようにする方法を説明するフローチャートを示す。世代別ごみ回収
器内で、オブジェクトは新しい空間に割当てられ（ステップ４００）、オブジェ
クトのいくつかはその生存期間に基づいて古い空間に移される（ステップ４０２
）。覚書表と呼ばれるデータ構造が、書込バッファに維持されている。すなわち
、ターゲットオブジェクトに対するターゲットポインタの、ソースポインタが参
照するソースオブジェクト内のフィールドへの割当てに応じて、覚書表は、条件
付きで更新される（ステップ４０４）。より具体的には、覚書表は、ターゲット
オブジェクトが新しい空間にありソースオブジェクトが古い空間にあると判断さ
れた場合に更新される。
を実現できるようにする方法を説明するフローチャートを示す。世代別ごみ回収
器内で、オブジェクトは新しい空間に割当てられ（ステップ４００）、オブジェ
クトのいくつかはその生存期間に基づいて古い空間に移される（ステップ４０２
）。覚書表と呼ばれるデータ構造が、書込バッファに維持されている。すなわち
、ターゲットオブジェクトに対するターゲットポインタの、ソースポインタが参
照するソースオブジェクト内のフィールドへの割当てに応じて、覚書表は、条件
付きで更新される（ステップ４０４）。より具体的には、覚書表は、ターゲット
オブジェクトが新しい空間にありソースオブジェクトが古い空間にあると判断さ
れた場合に更新される。
【００４４】 ステップ４１０−４１６は、ある実施例に従いこの判断をポインタタグを用い
て行なう方法を説明している。ステップ４１０で、ターゲットタグが、マスキン
ングまたはポインタ差の計算により、ターゲットポインタから抽出され、ステッ
プ４１２で、ソースタグがソースポインタから抽出される。これらの動作は典型
的に、多くのコンピュータアーキテクチャではレジスタごとの動作であり、メモ
リポインタのデリファレンスを含まない。結果として、一般にはメモリポインタ
のデリファレンスに関連するオーバヘッド、たとえば、システムバス上にメモリ
読出サイクルを発生させることまたはメモリフェッチの実行は回避される。した
がって、ポインタタグは、キャッシュミスまたは仮想メモリページの誤りを引き
起こす可能性のある、従来の方策の損失を避ける役割を果たす。特に、レジスタ
動作のみを用いることによって、従来のオブジェクトヘッダ方法に比べて、性能
が大幅に向上する。
て行なう方法を説明している。ステップ４１０で、ターゲットタグが、マスキン
ングまたはポインタ差の計算により、ターゲットポインタから抽出され、ステッ
プ４１２で、ソースタグがソースポインタから抽出される。これらの動作は典型
的に、多くのコンピュータアーキテクチャではレジスタごとの動作であり、メモ
リポインタのデリファレンスを含まない。結果として、一般にはメモリポインタ
のデリファレンスに関連するオーバヘッド、たとえば、システムバス上にメモリ
読出サイクルを発生させることまたはメモリフェッチの実行は回避される。した
がって、ポインタタグは、キャッシュミスまたは仮想メモリページの誤りを引き
起こす可能性のある、従来の方策の損失を避ける役割を果たす。特に、レジスタ
動作のみを用いることによって、従来のオブジェクトヘッダ方法に比べて、性能
が大幅に向上する。
【００４５】 ステップ４１４で、ソースタグおよび宛先タグを検査し、割当ステートメント
が、新しい空間のターゲットオブジェクトを参照する古い空間のソースオブジェ
クトとなっているかどうか判断する。この検査が真であれば、覚書表が更新され
る（ステップ４１６）。ある実施例では、この検査を簡単に、ソースタグを古い
空間の値と比較し、ターゲットタグを新しい空間の値と比較することによって行
なうことができる。たとえば、Ｃプログラミング言語では、式((source & 07) =
= OLDSPACE && (target & 07) == NEWSPACE)で、この検査を行なうことができる
。式中、sourceはソースオブジェクトへのポインタであり、targetはターゲット
オブジェクトへのポインタであり、OLDSPACEおよびNEWSPACEは所定の値たとえば
それぞれ１および０に定められた明白な定数である。
が、新しい空間のターゲットオブジェクトを参照する古い空間のソースオブジェ
クトとなっているかどうか判断する。この検査が真であれば、覚書表が更新され
る（ステップ４１６）。ある実施例では、この検査を簡単に、ソースタグを古い
空間の値と比較し、ターゲットタグを新しい空間の値と比較することによって行
なうことができる。たとえば、Ｃプログラミング言語では、式((source & 07) =
= OLDSPACE && (target & 07) == NEWSPACE)で、この検査を行なうことができる
。式中、sourceはソースオブジェクトへのポインタであり、targetはターゲット
オブジェクトへのポインタであり、OLDSPACEおよびNEWSPACEは所定の値たとえば
それぞれ１および０に定められた明白な定数である。
【００４６】 上記の式により検査を行なうことができるが、タグの値を適切に選択すること
によってより効率的に行なうことができる。たとえば、１という古い空間のタグ
および０という新しい空間のタグを用いれば、この判断を、(source & 07) > (t
arget & 07)という、不一致に関する比較によって行なうことができる。さらな
るタグの値を用いると、たとえば、ポインタフォーマットオブジェクトへの割当
を含むすべての書込動作が数値リファレンスフォーマットオブジェクトへの書込
動作を含むものと別にされている場合、この比較をなおも世代別ごみ回収器に用
いることができる。この状況は、世代別ごみ回収器を呼出期間メモリにおけるポ
インタフォーマット化オブジェクトに対してのみ用い、数値リファレンスフォー
マット化オブジェクトがセッション期間メモリに割当てられている場合に生じ得
る。
によってより効率的に行なうことができる。たとえば、１という古い空間のタグ
および０という新しい空間のタグを用いれば、この判断を、(source & 07) > (t
arget & 07)という、不一致に関する比較によって行なうことができる。さらな
るタグの値を用いると、たとえば、ポインタフォーマットオブジェクトへの割当
を含むすべての書込動作が数値リファレンスフォーマットオブジェクトへの書込
動作を含むものと別にされている場合、この比較をなおも世代別ごみ回収器に用
いることができる。この状況は、世代別ごみ回収器を呼出期間メモリにおけるポ
インタフォーマット化オブジェクトに対してのみ用い、数値リファレンスフォー
マット化オブジェクトがセッション期間メモリに割当てられている場合に生じ得
る。
【００４７】 本発明について現在最も実用的かつ好ましい実施例だと考えられるものと関連
づけて説明してきたが、本発明は、上記開示の実施例に限定されるのではなく、
前掲のクレームの精神および範囲に含まれる種々の変形例および等価例をカバー
することが意図されていることが、理解されるであろう。
づけて説明してきたが、本発明は、上記開示の実施例に限定されるのではなく、
前掲のクレームの精神および範囲に含まれる種々の変形例および等価例をカバー
することが意図されていることが、理解されるであろう。
【図１】 実施例を実現するのに使用できるコンピュータシステムを示すブ
ロック図である。
ロック図である。
【図２】 タグ付きポインタを作成および使用するステップを示すフローチ
ャートである。
ャートである。
【図３】 タグ付きポインタのある実現化例を概略的に示す。
【図４】 覚書表を書込バリアに維持するステップを示すフローチャートで
ある。
ある。
【手続補正書】
【提出日】平成１３年８月２９日（２００１．８．２９）
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
───────────────────────────────────────────────────── フロントページの続き (81)指定国 ＥＰ(ＡＴ，ＢＥ，ＣＨ，ＣＹ， ＤＥ，ＤＫ，ＥＳ，ＦＩ，ＦＲ，ＧＢ，ＧＲ，ＩＥ，Ｉ Ｔ，ＬＵ，ＭＣ，ＮＬ，ＰＴ，ＳＥ)，ＯＡ(ＢＦ，ＢＪ ，ＣＦ，ＣＧ，ＣＩ，ＣＭ，ＧＡ，ＧＮ，ＧＷ，ＭＬ， ＭＲ，ＮＥ，ＳＮ，ＴＤ，ＴＧ)，ＡＰ(ＧＨ，ＧＭ，Ｋ Ｅ，ＬＳ，ＭＷ，ＳＤ，ＳＬ，ＳＺ，ＴＺ，ＵＧ，ＺＷ )，ＥＡ(ＡＭ，ＡＺ，ＢＹ，ＫＧ，ＫＺ，ＭＤ，ＲＵ， ＴＪ，ＴＭ)，ＡＥ，ＡＬ，ＡＭ，ＡＴ，ＡＵ，ＡＺ， ＢＡ，ＢＢ，ＢＧ，ＢＲ，ＢＹ，ＣＡ，ＣＨ，ＣＮ，Ｃ Ｒ，ＣＵ，ＣＺ，ＤＥ，ＤＫ，ＤＭ，ＥＥ，ＥＳ，ＦＩ ，ＧＢ，ＧＤ，ＧＥ，ＧＨ，ＧＭ，ＨＲ，ＨＵ，ＩＤ， ＩＬ，ＩＮ，ＩＳ，ＪＰ，ＫＥ，ＫＧ，ＫＰ，ＫＲ，Ｋ Ｚ，ＬＣ，ＬＫ，ＬＲ，ＬＳ，ＬＴ，ＬＵ，ＬＶ，ＭＡ ，ＭＤ，ＭＧ，ＭＫ，ＭＮ，ＭＷ，ＭＸ，ＮＯ，ＮＺ， ＰＬ，ＰＴ，ＲＯ，ＲＵ，ＳＤ，ＳＥ，ＳＧ，ＳＩ，Ｓ Ｋ，ＳＬ，ＴＪ，ＴＭ，ＴＲ，ＴＴ，ＴＺ，ＵＡ，ＵＧ ，ＵＺ，ＶＮ，ＹＵ，ＺＡ，ＺＷ (72)発明者 ベンソン，ピーター アメリカ合衆国、84716 ユタ州、ボール ダー、ブル・トレイル・ロード、1115 Ｆターム(参考） 5B060 AA10
Claims (40)
- 【請求項１】 オブジェクトの記憶特性についての情報を管理する方法であ
って、コンピュータによって実行される オブジェクトをメモリに記憶するステップと、 リファレンスのベースアドレス部において、メモリ内のオブジェクトの位置を
記憶することによってオブジェクトへのリファレンスを作成するステップと、 リファレンスのタグ部において、オブジェクトの記憶特性についての情報をス
トアするステップとを含み、リファレンスのタグ部はアドレス部のビットより下
位の、リファレンスの１つ以上のビットを含む、方法。 - 【請求項２】 オブジェクトをメモリに記憶するステップは、Ｎビットの整
列アドレスにおいてオブジェクトをメモリに記憶するステップを含む、請求項１
に記載の方法。 - 【請求項３】 タグ部は、リファレンスのＮ個の最下位ビットを含む、請求
項２に記載の方法。 - 【請求項４】 オブジェクトへのリファレンスのタグ部をアクセスすること
により、オブジェクトの記憶特性についての情報を取り出すステップをさらに含
む、請求項２に記載の方法。 - 【請求項５】 リファレンスのタグ部において、オブジェクトの記憶特性に
ついての情報を記憶するステップは、タグ部において、オブジェクトの生存期間
についての情報を記憶するステップを含む、請求項２に記載の方法。 - 【請求項６】 タグ部において、オブジェクトの生存期間についての情報を
記憶するステップは、タグ部において、オブジェクトが少なくとも所定の数のご
み回収イベントだけ生存したかどうかを示す情報を記憶するステップを含む、請
求項２に記載の方法。 - 【請求項７】 リファレンスのタグ部において、オブジェクトの記憶特性に
ついての情報を記憶するステップは、タグ部において、オブジェクトの記憶フォ
ーマットについての情報を記憶するステップを含む、請求項２に記載の方法。 - 【請求項８】 オブジェクトはリファレンスを含み、さらに タグ部において、オブジェクトの記憶フォーマットについての情報を記憶する
ステップは、タグ部において、オブジェクト内に含まれるリファレンスのフォー
マットについての情報を記憶するステップを含む、請求項７に記載の方法。 - 【請求項９】 タグ部において、オブジェクト内に含まれるリファレンスの
フォーマットについての情報を記憶するステップは、タグ部において、含まれる
リファレンスはマシンポインタとして、または数値リファレンスとして記憶され
ているかどうかを示す情報を記憶するステップを含む、請求項８に記載の方法。 - 【請求項１０】 リファレンスのタグ部において、オブジェクトの記憶特性
についての情報を記憶するステップは、タグ部において、オブジェクの連続性に
ついての情報を記憶するステップを含む、請求項２に記載の方法。 - 【請求項１１】 タグ部において、オブジェクトの連続性についての情報を
記憶するステップは、タグ部において、オブジェクトが複数のページに記憶され
ているかどうかを示す情報を記憶するステップを含む、請求項１０に記載の方法
。 - 【請求項１２】 タグ部において、オブジェクトが複数のページに記憶され
ているかどうかを示す情報を記憶するステップは、タグ部において、オブジェク
トは他のページに連続しない少なくとも１つのページに記憶されているかどうか
を示す情報を記憶するステップを含む、請求項１１に記載の方法。 - 【請求項１３】 リファレンスのタグ部において、オブジェクトの記憶特性
についての情報を記憶するステップは、タグ部において、（ａ）オブジェクトの
生存期間およびオブジェクトに含まれるリファレンスは第１のフォーマットで記
憶されていることの両方を示す情報、または（ｂ）オブジェクトの連続性および
オブジェクトに含まれるリファレンスは第１のフォーマット以外の第２のフォー
マットで記憶されていることの両方を示す情報のどちらかを記憶するステップを
含む、請求項２に記載の方法。 - 【請求項１４】 Ｎはちょうど３である、請求項１に記載の方法。
- 【請求項１５】 リファレンスを作成するステップは、マシンポインタを初
期化するステップを含む、請求項１に記載の方法。 - 【請求項１６】 リファレンスを作成するステップは、数値リファレンスを
初期化するステップを含む、請求項１に記載の方法。 - 【請求項１７】 複数のオブジェクトのメモリを管理する方法であって、コ
ンピュータによって実行される オブジェクトを第１のメモリ領域に割当てるステップと、 オブジェクトの一部についてのそれぞれの生存期間に基づいて、オブジェクト
の一部を第１のメモリ領域から第２のメモリ領域に移動させるステップと、 第２のメモリ領域におけるどの第２のオブジェクトが第１のメモリ領域の第１
のオブジェクトを参照するかについてのデータ構造を維持するステップとを含み
、この維持するステップは、 メモリポインタをデリファレンスすることなく、第１のオブジェクトへの第１
のリファレンス内に含まれる第１の情報および第２のオブジェクトへの第２のリ
ファレンス内に含まれる第２の情報に基づき、第１のオブジェクトが第１のメモ
リ領域に割当てられているかどうかおよび第２のオブジェクトが第２のメモリ領
域に割当てられているかどうかを定めることにより行なわれ、 第１のメモリ領域および第２のメモリ領域のどちらかはそれぞれ複数の不連続
ページを含む、方法。 - 【請求項１８】 メモリポインタをデリファレンスすることなく、第１のオ
ブジェクトへの第１のリファレンスおよび第２のオブジェクトへの第２のリファ
レンスに基づいて第１のオブジェクトが第１のメモリ領域に割当てられているか
どうかおよび第２のオブジェクトが第２のメモリ領域に割当てられているかどう
かを定めるステップは、 第１のリファレンスから第１の１つ以上のビットを抽出するステップを含み、
前記第１の１つ以上のビットは、第１のオブジェクトのアドレスを記憶するため
のビットより下位であり、さらに 第２のリファレンスから第２の１つ以上のビットを抽出するステップを含み、
前記第２の１つ以上のビットは、第１のオブジェクトのアドレスを記憶するため
のビットより下位であり、さらに 第１の１つ以上のビットおよび第２の１つ以上のビットに基づき、第１のオブ
ジェクトが第１のメモリ領域に割当てられているかどうかおよび第２のオブジェ
クトが第２のメモリ領域に割当てられているかどうかを定めるステップを含む、
請求項１７に記載の方法。 - 【請求項１９】 第１の１つ以上のビットおよび第２の１つ以上のビットに
基づいて第１のオブジェクトが第１のメモリ領域に割当てられているかどうかお
よび第２のオブジェクトが第２のメモリ領域に割当てられているかどうかを定め
るステップは、所定の不一致について第１の１つ以上のビットおよび第２の１つ
以上のビットを比較するステップを含む、請求項１８に記載の方法。 - 【請求項２０】 第１のリファレンスの第１の１つ以上のビットを抽出する
ステップは、第１のリファレンスの１つ以上の下位ビットを抽出するステップを
含み、さらに 第１のリファレンスの第２の１つ以上のビットを抽出するステップは、第２の
リファレンスの１つ以上の下位ビットを抽出するステップを含む、請求項１８に
記載の方法。 - 【請求項２１】 オブジェクトの記憶特性についての情報を管理するための
命令を含む、コンピュータによって読取可能な媒体であって、前記命令は実行さ
れると１つ以上のプロセッサに、 オブジェクトをメモリに記憶するステップと、 リファレンスのベースアドレス部において、メモリ内のオブジェクトの位置を
記憶することによりオブジェクトへのリファレンスを作成するステップと、 リファレンスのタグ部において、オブジェクトの記憶特性についての情報を記
憶するステップとを実行させるようになっており、リファレンスのタグ部はアド
レス部のビットより下位である、リファレンスの１つ以上のビットを含む、コン
ピュータによって読取可能な媒体。 - 【請求項２２】 オブジェクトをメモリに記憶するステップは、Ｎビットの
整列アドレスにおいてオブジェクトをメモリに記憶するステップを含む、請求項
２１に記載のコンピュータによって読取可能な媒体。 - 【請求項２３】 タグ部はリファレンスのＮ個の最下位ビットを含む、請求
項２２に記載のコンピュータによって読取可能な媒体。 - 【請求項２４】 命令は、実行されると、１つ以上のプロセッサに、オブジ
ェクトへのリファレンスのタグ部をアクセスすることにより、オブジェクトの記
憶特性についての情報を取り出すステップを実行させるようになっている、請求
項２２に記載のコンピュータによって読取可能な媒体。 - 【請求項２５】 リファレンスのタグ部において、オブジェクトの記憶特性
についての情報を記憶するステップは、タグ部において、オブジェクトの生存期
間についての情報を記憶するステップを含む、請求項２２に記載のコンピュータ
によって読取可能な媒体。 - 【請求項２６】 タグ部において、オブジェクトの生存期間についての情報
を記憶するステップは、タグ部において、オブジェクトが少なくとも所定の数の
ごみ回収イベントだけ生存したかどうかを示す情報を記憶するステップを含む、
請求項２２に記載の方法コンピュータによって読取可能な媒体。 - 【請求項２７】 リファレンスのタグ部において、オブジェクトの記憶特性
についての情報を記憶するステップは、タグ部において、オブジェクトの記憶フ
ォーマットについての情報を記憶するステップを含む、請求項２２に記載のコン
ピュータによって読取可能な媒体。 - 【請求項２８】 オブジェクトはリファレンスを含み、さらに タグ部において、オブジェクトの記憶フォーマットについての情報を記憶する
ステップは、タグ部において、オブジェクト内に含まれるリファレンスのフォー
マットについての情報を記憶するステップを含む、請求項２７に記載のコンピュ
ータによって読取可能な媒体。 - 【請求項２９】 タグ部において、オブジェクト内に含まれるリファレンス
のフォーマットについての情報を記憶するステップは、タグ部において、含まれ
るリファレンスはマシンポインタとして、または数値リファレンスとして記憶さ
れているかどうかを示す情報を記憶するステップを含む、請求項２８に記載のコ
ンピュータによって読取可能な媒体。 - 【請求項３０】 リファレンスのタグ部において、オブジェクトの記憶特性
についての情報を記憶するステップは、タグ部において、オブジェクの連続性に
ついての情報を記憶するステップを含む、請求項２２に記載のコンピュータによ
って読取可能な媒体。 - 【請求項３１】 タグ部において、オブジェクトの連続性についての情報を
記憶するステップは、タグ部において、オブジェクトが複数のページに記憶され
ているかどうかを示す情報を記憶するステップを含む、請求項３０に記載のコン
ピュータによって読取可能な媒体。 - 【請求項３２】 タグ部において、オブジェクトが複数のページに記憶され
ているかどうかを示す情報を記憶するステップは、タグ部において、オブジェク
トは他のページに連続しない少なくとも１つのページに記憶されているかどうか
を示す情報を記憶するステップを含む、請求項３１に記載のコンピュータによっ
て読取可能な媒体。 - 【請求項３３】 リファレンスのタグ部において、オブジェクトの記憶特性
についての情報を記憶するステップは、タグ部において、（ａ）オブジェクトの
生存期間およびオブジェクトに含まれるリファレンスは第１のフォーマットで記
憶されていることの両方を示す情報、または（ｂ）オブジェクトの連続性および
オブジェクトに含まれるリファレンスは第１のフォーマット以外の第２のフォー
マットで記憶されていることの両方を示す情報のどちらかを記憶するステップを
含む、請求項２２に記載のコンピュータによって読取可能な媒体。 - 【請求項３４】 Ｎはちょうど３である、請求項２１に記載のコンピュータ
によって読取可能な媒体。 - 【請求項３５】 リファレンスを作成するステップは、マシンポインタを初
期化するステップを含む、請求項２１に記載のコンピュータによって読取可能な
媒体。 - 【請求項３６】 リファレンスを作成するステップは、数値リファレンスを
初期化するステップを含む、請求項２１に記載のコンピュータによって読取可能
な媒体。 - 【請求項３７】 複数のオブジェクトのメモリを管理するための命令を含む
、コンピュータによって読取可能な媒体であって、前記命令は実行されると、１
つ以上のプロセッサに オブジェクトを第１のメモリ領域に割当てるステップと、 オブジェクトの一部についてのそれぞれの生存期間に基づいて、オブジェクト
の一部を第１のメモリ領域から第２のメモリ領域に移動させるステップと、 第２のメモリ領域におけるどの第２のオブジェクトが第１のメモリ領域の第１
のオブジェクトを参照するかについてのデータ構造を維持するステップとを実行
させるようになっており、この維持するステップは、 メモリポインタをデリファレンスすることなく、第１のオブジェクトへの第１
のリファレンス内に含まれる第１の情報および第２のオブジェクトへの第２のリ
ファレンス内に含まれる第２の情報に基づき、第１のオブジェクトが第１のメモ
リ領域に割当てられているかどうかおよび第２のオブジェクトが第２のメモリ領
域に割当てられているかどうかを定めることにより行なわれ、 第１のメモリ領域および第２のメモリ領域のどちらかはそれぞれ複数の不連続
ページを含む、コンピュータによって読取可能な媒体。 - 【請求項３８】 メモリポインタをデリファレンスすることなく、第１のオ
ブジェクトへの第１のリファレンスおよび第２のオブジェクトへの第２のリファ
レンスに基づいて第１のオブジェクトが第１のメモリ領域に割当てられているか
どうかおよび第２のオブジェクトが第２のメモリ領域に割当てられているかどう
かを定めるステップは、 第１のリファレンスから第１の１つ以上のビットを抽出するステップを含み、
前記第１の１つ以上のビットは、第１のオブジェクトのアドレスを記憶するため
のビットより下位であり、さらに 第２のリファレンスから第２の１つ以上のビットを抽出するステップを含み、
前記第２の１つ以上のビットは、第１のオブジェクトのアドレスを記憶するため
のビットより下位であり、さらに 第１の１つ以上のビットおよび第２の１つ以上のビットに基づき、第１のオブ
ジェクトが第１のメモリ領域に割当てられているかどうかおよび第２のオブジェ
クトが第２のメモリ領域に割当てられているかどうかを定めるステップを含む、
請求項３７に記載のコンピュータによって読取可能な媒体。 - 【請求項３９】 第１の１つ以上のビットおよび第２の１つ以上のビットに
基づいて第１のオブジェクトが第１のメモリ領域に割当てられているかどうかお
よび第２のオブジェクトが第２のメモリ領域に割当てられているかどうかを定め
るステップは、所定の不一致について第１の１つ以上のビットおよび第２の１つ
以上のビットを比較するステップを含む、請求項３８に記載のコンピュータによ
って読取可能な媒体。 - 【請求項４０】 第１のリファレンスの第１の１つ以上のビットを抽出する
ステップは、第１のリファレンスの１つ以上の下位ビットを抽出するステップを
含み、さらに 第１のリファレンスの第２の１つ以上のビットを抽出するステップは、第２の
リファレンスの１つ以上の下位ビットを抽出するステップを含む、請求項３８に
記載のコンピュータによって読取可能な媒体。
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US09/248,295 US6457019B1 (en) | 1999-02-11 | 1999-02-11 | Memory management within a run-time environment |
| US09/248,295 | 1999-02-11 | ||
| PCT/US2000/003411 WO2000048074A1 (en) | 1999-02-11 | 2000-02-11 | Memory management within a run-time environment |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2002536761A true JP2002536761A (ja) | 2002-10-29 |
| JP3908909B2 JP3908909B2 (ja) | 2007-04-25 |
Family
ID=22938499
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2000598926A Expired - Lifetime JP3908909B2 (ja) | 1999-02-11 | 2000-02-11 | 実行時環境でのメモリ管理 |
Country Status (8)
| Country | Link |
|---|---|
| US (2) | US6457019B1 (ja) |
| EP (1) | EP1153343B1 (ja) |
| JP (1) | JP3908909B2 (ja) |
| AT (1) | ATE239938T1 (ja) |
| AU (1) | AU761969B2 (ja) |
| CA (1) | CA2362463C (ja) |
| DE (1) | DE60002559T2 (ja) |
| WO (1) | WO2000048074A1 (ja) |
Families Citing this family (24)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6795836B2 (en) * | 2000-12-29 | 2004-09-21 | International Business Machines Corporation | Accurately determining an object's lifetime |
| US7158995B2 (en) * | 2002-05-08 | 2007-01-02 | Oracle International Corporation | Method for managing pointers to external objects in a run-time environment |
| US7039664B2 (en) * | 2002-12-04 | 2006-05-02 | Sun Microsystems, Inc. | Combining entries in a card object table |
| US7136887B2 (en) * | 2002-12-04 | 2006-11-14 | Sun Microsystems, Inc. | Method and mechanism for finding references in a card in time linear in the size of the card in a garbage-collected heap |
| US7024437B2 (en) * | 2002-12-06 | 2006-04-04 | Sun Microsystems, Inc. | Better placement of objects reachable from special objects during collection based on the train algorithm |
| US7058670B2 (en) * | 2002-12-20 | 2006-06-06 | Sun Microsystems, Inc. | Scalable, space-efficient, parallel remembered-sets |
| US7225439B2 (en) | 2003-03-21 | 2007-05-29 | Sun Microsystems, Inc. | Combining write-barriers within an inner loop with fixed step |
| US7328436B2 (en) * | 2003-09-15 | 2008-02-05 | Motorola, Inc. | Dynamic allocation of internal memory at runtime |
| US7412580B1 (en) | 2003-10-06 | 2008-08-12 | Sun Microsystems, Inc. | Concurrent incremental garbage collector with a card table summarizing modified reference locations |
| US7124291B1 (en) * | 2003-12-22 | 2006-10-17 | Sun Microsystems, Inc | System and method for eliminating static initialization overhead by memory space cloning of a master runtime system process |
| US8825702B2 (en) * | 2004-02-24 | 2014-09-02 | Oracle International Corporation | Sending control information with database statement |
| US7272695B1 (en) | 2004-09-13 | 2007-09-18 | Sun Microsystems, Inc. | Hot-card caching to avoid excessive remembered-set updating |
| US7401202B1 (en) * | 2004-09-14 | 2008-07-15 | Azul Systems, Inc. | Memory addressing |
| US8037482B1 (en) * | 2004-09-14 | 2011-10-11 | Azul Systems, Inc. | Accelerated class check |
| US7313566B1 (en) | 2004-12-23 | 2007-12-25 | Sun Microsystems, Inc. | Method and apparatus for isolating selected heap objects using a faulting address trap |
| US7882505B2 (en) * | 2005-03-25 | 2011-02-01 | Oracle America, Inc. | Method and apparatus for switching between per-thread and per-processor resource pools in multi-threaded programs |
| US7565499B1 (en) | 2005-03-28 | 2009-07-21 | Sun Microsystems, Inc. | Method and apparatus for recording modified reference locations in garbage-collected heap memory |
| US7650350B1 (en) | 2005-05-18 | 2010-01-19 | Sun Microsystems, Inc. | Method and apparatus for concurrently processing remembered sets in a space-incremental garbage collector |
| US8860752B2 (en) * | 2006-07-13 | 2014-10-14 | Apple Inc. | Multimedia scripting |
| US7610468B2 (en) * | 2006-10-26 | 2009-10-27 | Hewlett-Packard Development Company, L.P. | Modified buddy system memory allocation |
| US8140961B2 (en) * | 2007-11-21 | 2012-03-20 | Hewlett-Packard Development Company, L.P. | Automated re-ordering of columns for alignment trap reduction |
| US8732430B2 (en) * | 2011-03-22 | 2014-05-20 | Oracle International Corporation | Method and apparatus for using unused bits in a memory pointer |
| WO2014044403A2 (en) * | 2012-09-24 | 2014-03-27 | Giesecke & Devrient Gmbh | A security module and a method for optimum memory utilization |
| US9852046B1 (en) * | 2015-05-07 | 2017-12-26 | Cadence Design Systems, Inc. | Method and system for automated debugging memory allocation and memory release |
Family Cites Families (15)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5075842A (en) | 1989-12-22 | 1991-12-24 | Intel Corporation | Disabling tag bit recognition and allowing privileged operations to occur in an object-oriented memory protection mechanism |
| US5426747A (en) | 1991-03-22 | 1995-06-20 | Object Design, Inc. | Method and apparatus for virtual memory mapping and transaction management in an object-oriented database system |
| US5742848A (en) | 1993-11-16 | 1998-04-21 | Microsoft Corp. | System for passing messages between source object and target object utilizing generic code in source object to invoke any member function of target object by executing the same instructions |
| US5581765A (en) | 1994-08-30 | 1996-12-03 | International Business Machines Corporation | System for combining a global object identifier with a local object address in a single object pointer |
| US5845331A (en) | 1994-09-28 | 1998-12-01 | Massachusetts Institute Of Technology | Memory system including guarded pointers |
| US6571262B2 (en) * | 2000-02-14 | 2003-05-27 | Apple Computer, Inc. | Transparent local and distributed memory management system |
| US5794256A (en) | 1996-12-12 | 1998-08-11 | Microsoft Corporation | Pointer swizzling facility using three-state references to manage access to referenced objects |
| US6349297B1 (en) * | 1997-01-10 | 2002-02-19 | Venson M. Shaw | Information processing system for directing information request from a particular user/application, and searching/forwarding/retrieving information from unknown and large number of information resources |
| US5920876A (en) | 1997-04-23 | 1999-07-06 | Sun Microsystems, Inc. | Performing exact garbage collection using bitmaps that identify pointer values within objects |
| US5903899A (en) * | 1997-04-23 | 1999-05-11 | Sun Microsystems, Inc. | System and method for assisting exact Garbage collection by segregating the contents of a stack into sub stacks |
| US5903900A (en) * | 1997-04-23 | 1999-05-11 | Sun Microsystems, Inc. | Method and apparatus for optimizing exact garbage collection of array nodes in a carded heap |
| CA2212316C (en) | 1997-07-31 | 2001-02-13 | Ibm Canada Limited - Ibm Canada Limitee | A method of recognizing fixed and variable sized data objects in memory |
| US6128621A (en) | 1997-10-31 | 2000-10-03 | Oracle Corporation | Apparatus and method for pickling data |
| US6345276B1 (en) | 1998-09-18 | 2002-02-05 | Microsoft Corporation | Representing base pointers in a shared memory heap |
| US6449626B1 (en) * | 1999-08-19 | 2002-09-10 | Sun Microsystems, Inc. | Reduced-cost remembered-set processing in a train-algorithm-based garbage collector |
-
1999
- 1999-02-11 US US09/248,295 patent/US6457019B1/en not_active Expired - Lifetime
-
2000
- 2000-02-11 JP JP2000598926A patent/JP3908909B2/ja not_active Expired - Lifetime
- 2000-02-11 CA CA002362463A patent/CA2362463C/en not_active Expired - Lifetime
- 2000-02-11 AT AT00910124T patent/ATE239938T1/de not_active IP Right Cessation
- 2000-02-11 WO PCT/US2000/003411 patent/WO2000048074A1/en active IP Right Grant
- 2000-02-11 AU AU32267/00A patent/AU761969B2/en not_active Expired
- 2000-02-11 EP EP00910124A patent/EP1153343B1/en not_active Expired - Lifetime
- 2000-02-11 DE DE60002559T patent/DE60002559T2/de not_active Expired - Lifetime
-
2002
- 2002-03-22 US US10/102,844 patent/US6678697B2/en not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| DE60002559D1 (de) | 2003-06-12 |
| ATE239938T1 (de) | 2003-05-15 |
| JP3908909B2 (ja) | 2007-04-25 |
| AU761969B2 (en) | 2003-06-12 |
| AU3226700A (en) | 2000-08-29 |
| US6678697B2 (en) | 2004-01-13 |
| US20020194191A1 (en) | 2002-12-19 |
| EP1153343B1 (en) | 2003-05-07 |
| CA2362463C (en) | 2003-10-28 |
| US6457019B1 (en) | 2002-09-24 |
| DE60002559T2 (de) | 2004-04-08 |
| EP1153343A1 (en) | 2001-11-14 |
| CA2362463A1 (en) | 2000-08-17 |
| WO2000048074A1 (en) | 2000-08-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2002536761A (ja) | 実行時環境でのメモリ管理 | |
| US6279012B1 (en) | Reducing the memory footprint of a session duration semispace | |
| US7290113B2 (en) | Method and apparatus for virtual memory mapping and transaction management in an object-oriented database system | |
| US6931423B2 (en) | Write-barrier maintenance in a garbage collector | |
| US6529919B1 (en) | Incremental class unloading in a train-algorithm-based garbage collector | |
| US6499095B1 (en) | Machine-independent memory management system within a run-time environment | |
| US7136887B2 (en) | Method and mechanism for finding references in a card in time linear in the size of the card in a garbage-collected heap | |
| US6434577B1 (en) | Scalable-remembered-set garbage collection | |
| EP0848324B1 (en) | Using three-state references to manage access to referenced objects | |
| US7249235B2 (en) | Architecture for a scalable and user-extensible heap dump analysis tool | |
| US6604182B1 (en) | Methods for managing memory in a run-time environment including activation and deactivation of objects | |
| US20050268067A1 (en) | Method and apparatus for memory-mapped input/output | |
| US20040167947A1 (en) | Space-efficient, depth-first parallel copying collection technique making use of work-stealing on the same structures that maintain the stack of items to be scanned | |
| US6434685B1 (en) | Paged memory management system within a run-time environment | |
| US20040088339A1 (en) | Efficient encoding of references into a collection set | |
| JPH05274152A (ja) | オブジェクト管理方式 | |
| US6480507B1 (en) | Communication protocol stack apparatus and method of implementing same | |
| US7793055B2 (en) | Transferring memory buffers between multiple processing entities | |
| US6421689B1 (en) | Moderately conservative, mostly copying 2 space garbage collector in the nursery of a generational memory manager | |
| US9158682B2 (en) | Cache memory garbage collector | |
| US6996694B1 (en) | Basing computer memory allocation for aggregate data types on data separate from a type definition | |
| US20050268053A1 (en) | Architecture for a scalable heap analysis tool | |
| US6760825B1 (en) | Memory management using migration for a run-time environment | |
| US7039664B2 (en) | Combining entries in a card object table | |
| US6671783B1 (en) | Method and article for managing references between objects in memories of different durations in a run-time environment |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20051206 |
|
| A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20060303 |
|
| A602 | Written permission of extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A602 Effective date: 20060310 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20060601 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20060627 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20061020 Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20060922 |
|
| A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20061030 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20070109 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20070119 |
|
| R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 Ref document number: 3908909 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110126 Year of fee payment: 4 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120126 Year of fee payment: 5 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130126 Year of fee payment: 6 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130126 Year of fee payment: 6 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| EXPY | Cancellation because of completion of term |