JPH07507887A

JPH07507887A - ポストモーテム最終化方法

Info

Publication number: JPH07507887A
Application number: JP5509474A
Authority: JP
Inventors: ジャクソン、フランクリン・アール; ドイチ、エル・ピーター; シフマン、アラン・エム; アンガー、デイビッド
Original assignee: パークプレイス・システムズ・インコーポレイテッド
Priority date: 1991-11-20
Filing date: 1992-11-19
Publication date: 1995-08-31
Also published as: US5274804A; CA2123994A1; WO1993010504A1; EP0642686A1; EP0642686A4

Abstract

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

Description

【発明の詳細な説明】ポストモーテム最終化方法失折分１本発明はコンピュータンステムに関し、特に自動最終化方法に関する。

１１挟蓑序１デジタルコンピュータに於ける自動記憶領域回復（ｓｔｏｒａｇｅ　ｒｅｃｌａｍａｔｉｏｎ）システムの主な目的は、当該回復システムのクライアントであるコンピュータプログラムの適正な作動にとって既に不要となったメモリオブジェクトにより占められたメモリを回復することにある。クライアントは通常、記憶領域回復システムを用いたコンピュータプログラムを参照する。オブジェクトは、コンピュータメモリの一部に対応するクライアントデータを参照する。

このように記憶領域回復システムは、ガーベジオブジェクトにより占められたメモリ位置を回復する方法である。

ここで言うガーベジ（ｇａｒｂａｇｅ）即ちゴミとは、既に不要となったメモリオブジェクトを意味する。このようなメモリオブジェクトを回復する動作は通常ガーベジコレクンコンと呼ばれ、ガーベジコレクタとは、既にガーベジとなったメモリオブジェクトにより占められたメモリを実際に回復する自動記憶領域回復システムが実行する方法である。

自動記憶領域回復システムは、過去に、関連するオブジェクトを用いたプログラムからの直接的な指示を伴うことなく、このようなメモリを回復することができる。しかしながら、メモリオブジェクトがガーベジオブジェクトとなったときに、このようなメモリオブジェクトにより占められたメモリ領域を単に回復することに加えて、しばしば何等かの最終的な動作成いは一連の動作をとる必要がある。

最終化過程（ｆ　ｉｎａ　Ｉ　ｉ　ｚａｔ　１ｏｎ）とは、メモリオブジェクトがガーベジとなったときに実行されなければならない一連の動作からなる。例えば、ガーベジオブジェクトは、別のサブンステムにより管理される外部資源を参照する場合がある。しかも、この外部サブシステムは、そのクライアントから、この外部資源が既に不要となり、この外部資源をリサイクルし得るようになったという直接的な確認がクライアントから発せられるのを期待する場合がある。このような外部資源の例としては、コンピュータのオペレーティングシステムにより管理されるファイル−システムオブジェクトや、コンピュータのウィンドウ管理サブシステムによって用いられる様々な資源がある。

いつ　、　゛　０を　′−るか最終化過程は、その定義からして、あるオブジェクトかガーベジであると決定されてはじめて実行されるべきものであるが、特定のガーベジオブジェクトに対して正確にいつ最終化過程を実行するかについである程度問題がある。

最終化過程は、オブジェクトの死の直前（即ちオブジェクトが破壊され、どのプログラムによってもアクセス不可能となる前）に実行されるべきであり、或いはオブジェクトの死のある程度後まで最終化過程を延期することができる。

前者の最終化過程は、オブジェクトの復活を可能とし、したがって臨終儀式（Ｉ　ａｓ　ｔ−ｒ　ｉ　ｔｅｓ）最終化過程と呼ばれ、後者の形式の最終化過程は、オブジェクトの復活が不可能であることから、ポストモーテム（ｐｏｓｔｍ。

ｒｔｅｍ＋死後）最終化過程と呼ばれる。

臨終　式最終し過臨終儀式最終化過程は、オブジェクトがガーベジであると決定された後ではあるが、このオブジェクトが実際に破壊される前に実行される最終化過程からなる。

この場合、最終化過程は、オブジェクトの「死の床」に於て行われる。

現在までに開発されたあらゆる公知の最終化システムは臨終儀式システムであった。このようなシステムの主な利点は、オブジェクトが回復（ｒｅｃｌａｉｍ）されていない状態にあることから、−最終化過程の対象たるオブジェクトに含まれるすべての情報が、最終化過程のコードによってアクセス可能である点にある。しかも、このようなシステムは、別の生きたオブジェクトに、最終化過程の対象たるオブジェクトに関するレファレンス（ｒｅｆｅｒｅｎｃｅ：参照）を記憶するのみで最終化過程の対象とされるオブジェクトを復活することができる。

従来技術に基づく最終化過程システムは、手動最終化過程または自動最終化過程システムのいずれかに分類することができる。計算環境のランタイムシステムが、メモリオブジェクトがガーベジとなっても同等特定の動作を行うべく直接的なサポートを提供しないような場合には、クライアントプログラムがそのような動作を行う責任を有する。

クライアントプログラムがこのような動作を明示的にとった場合、クライアントプログラムは、それが最終化過程を別の手動ステップとして実行するか、またはオブジェクトかガーベジであるとして手動により指定された結果、最終化過程が自動的に実行されるかを問わず、手動最終化過程を行うことになる。計算環境上のランクイムサポートルーチンまたはオペレーティングシステムが、メモリオブジェクトかガーベジとなったかどうかを検出するための同等直接的なサポートまたは手段を提供しない場合には、クライアントプログラムに於て手動最終化過程が必要である。自動最終化過程は、メモリオブジェクトがガーベジとなったときに、計算環境によって自動的にトリガされるべき一連の動作をクライアントプログラムが特定し得るように計算環境に付加される最終化過程システムである。

自動最終化過程システムの一つの利点は、時期尚早に最終化過程を行ったり、最終化過程を行うことが出来なかつた場合に発生するような一般的なプログラムエラーを減少させ得ることにある。このような事態が発生した場合には、不適正な作動が行われたり、メモリ資源が浪費されたりする。自動最終化過程システムのもう一つの利点は、コンピュータプログラムを作成する作業が単純化される点にある。

典型的な自動最終化過程システムのタイプとして、単語的視野（ｌｅｘｉｃａｌ　５ｃｏｐｅ）を以て或いは動的視野（ｄｙｎａｍｉｃ　５ｃｏｐｅ）を以てオブジェクトを最終化するシステムがある。単語的視野を伴うオブジェクトとしては、その視野及びプログラムによってオブジェクトが必要とされる時間としての寿命は、それらが詳しく説明（ｅｌａｂｏｒａｔｅ）される、即ち宣言され且つ初期化されるプログラムエードのテキストから推定することができる。単語的な視野を伴うオブジェクトは、通常システムのランクイムスタックに割り当てられ、それらの寿命は、それらを詳しく説明する単語的視野から出たときに寿命が終了する。動的な視野を伴うオブジェクトとしては、寿命に制限が課されていないようなオブジェクトがある。

動的な視野を伴うオブジェクトの寿命は、オブジェクトがガーベジとなるときまで、一般的には別の非ガーベジオブジェクトにより参照されなくなるまで尽きることがない。

このようなオブジェクトは通常システムのデータヒープ（ｄａｔａ　ｈｅａｐ）に割り当てられる。

悟・　を　゛オブジェクトの　゛単語的な視野を伴うオブジェクトの寿命が、それらを詳しく説明する単語的視野を出るときに終了することがら、このようなオブジェクトの最終化過程をサポートするために自動ガーベンコレクタの助けを必要としない。即ち、このようなオブジェクトは、その定義からして、その視野から出たときにオブジェクトがガーベジであると考えられることから、その単語的視野をでる直前に最終化過程を行うことができる。通常、言語のコンパイラが、このような最終化過程の実行の責任者たる各単語的視野に機能を付加する。この最終化過程機能は、単語的視野を出る直前に呼び出される。このような最終化過程は従来から知られていた。

江苅−吟Ｊξ野３ヒ伴二Ｙオニわン□王７　）”２Ｊｆ　′Ｉに基づくＪ従来の最終化過程の多くは、言語的な視野を伴うオブジェクトを最終化するためのものであった。Ｏ，Ｊ、Ｄａｈｌ、ｆ３．Ｍｙｈｒｈａｕｇ及びに、Ｎｙｇａａｒｄによる“Ｔｈｅ　ＳＩＭＵＬＡ　６７　Ｃｏｍｍｏｎ　ＢａｓｅＬａｎｇｕａｇｅ＋、Ｎｏｒｗｅｇｉａｎ　Ｃｏｍｐｕｔｉｎｇ　Ｃｅｎｔｒｅ、Ｆｏｒｓｋｎｉｎｇｓｖｅｉｅｎ　ＩＢ、０ｓｌｏ、１９６８に於けるクラスや、Ｐａ５ｃａｌ　Ｐｌｕｓ（Ｊ、Ｗｅｌｓｈ及びり、Ｗ、Ｂｕ　ｓ　ｔａｒｄによる” Ｐａ５ｃａ　１−Ｐｌｕｓ　−−Ａｎｏｔｈｅｒ　Ｌａｎｇｕａｇｅ　ｆｏｒ　Ｍｏｄｕｌａｒ　Ｐｒ。

ｇｒａｍｍｉｎｇ”、Ｓｏｆｔｗａｒｅ　Ｐｒａｃｔｉｃｅ　ａｎｄ　Ｅｘｐｅｒｉｅｎｃｅ、ｖ、９、　Ｎｏ、１１．１９７９．９４７−９５７）に於けるエンベロープは、これらのデータに対応するコードのブロックから出たときに実行される最終化過程ルーチンをプログラマに特定させることができる。同様に、Ｍａｓａａｋｉ　Ｓｈｉｍａｓａｋｉ、Ｙｏｓｈｉｔｏｓｈｉ　Ｋｕｎｉｅｄａ及びＴａｋａｏ　Ｔｓｕｄａによる”Ａｐｐｌｉｃａｔｉｏｎｓ　。

ｆ　Ｍｏｄｅｒｎ　Ｐｒｏｇｒａｍｍｉｎｇ　Ｌａｎｇｕａｇｅ　Ｃｏｎｃｅｐｔ　ｔｏ　Ｔｅｘｔ　Ｐｒｏｃｅｓｓｉｎｇ　ｗｉｔｈ　ａ　Ｌａｒｇｅ　Ｃｈａｒａｃｔｅｒ　Ｓｅｔ”、ＩＦＩＰ　Ｃｏｎｇｒｅｓｓ　５ｅｒｉｅＳ、１９８３、ｖ、９．１０７−１１２に於ては、パスカルプラスに於て利用されているような最終化過程をモデルとした成る最終化過程の概念をサポートするＰＬＡＫ（Ｐｒｏｇｒａｍｍｉｎｇ　Ｌａｎｇｕａｇｅ　ｗｉｔｈ　Ａｂｓｔｒａｃｔ　ｄａｔａ　ｔｙｐｅｓ　ｆｏｒ　Ｋａｎｊ　ｉ　Ｐｒｏｃｅｓｓ　ｉｎｇ）と呼ばれるプログラム言語について記載されている。

Ｒｉｃｈａｒｄ　Ｌ、　Ｓｃｈｗａｒｔｚ及びＰ、Ｍ。

Ｍｅｌｌｉａｒ−３ｍｉｔｈ、”Ｔｈｅ　Ｆｉｎａｌｉｚａｔｉｏｎ　０ｐｅｒａｔｉｏｎ　ｆｏｒ　Ａｂｓｔｒａｃｔ　Ｔｙｐｅｓ”、５ｔｈ　ＩｎｔｅｒｎａｔｉｏｎｌＣｏｎｆｅｒｅｎｃｅ　ｏｎ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ、Ｓａｎ　Ｄｉｅｇｏ、ＣＡ、ＭａｒＣｈ、１９８１に於ては、例外を取り扱う際にも良く定義された単語的視野を伴う抽象的なデータの形式の最終化過程のために詳しいセマンティック（ｓｅｍａｎｔｉｃ＋意味論的）モデルが提案されている。さらに最近では、Ｄｅｐａｒｔｍｅｎｔ　ｏｆ　Ｄｅｆｅｎｃｅ編、　Ａｄａ９Ｘ　Ｐｒｏｊｅｃｔ　Ｒｅｐｏｒｔ：ＤＲＡＦＴ　Ｍａｐｐｉｎｇ　Ｒａｔｉｏｎａｌｅ　Ｄｏｃｕｍｅｎｔ”。

７３３　Ｃｏｎｃｏｒｄ　Ａｖｅ、ＭＡ　０２１３８所在のＩｎｔｅｒｍｅｔｒｉｃｓ　Ｉｎｃ、発行、Ｆｅｂｒｕａｒｙ　１９９１に於いて、Ｓｃｈｗａｒｔｚらによる提案と同様に、単語的視野を伴うオブジェクトの最終化過程について記載し、データの説明と逆の順序でデータの最終化過程を行うべきであるとしている。最後に、Ｈｅｎｒｙ　Ｇ、　Ｂａｋｅｒによる”５ｔｒｕｃｔｕｒｅｄ　Ｐｒｏｇｒａｍｍｉｎｇ　ｗｉｔｈ　Ｌｉｍ１ｔｅｄ　Ｐｒ１ｖａｔｅ　Ｔｙｐｅｓ　ｉｎ　Ａｄａ：Ｎｅｓｔｉｎｇｉｓ　ｆｏｒ　ｔｈｅ　Ｓｏａｒｉｎｇ　Ｅａｇｌｅｓ”、ＡＣＭ　Ａｄａ　Ｌｅｔｔｅｒｓ　ＸＩ、５、Ｊｕｌｙ　／　Ａ　ｕ　ｇ　ｕ　ｓ　ｔ　１９９１．７９−９０に於ては、Ａｄａに於ける限定されたプライベートなタイプの変数を、どのようにして、最終化し、この手法を、Ａｄａによりガーベジ回収されたＬｉ５ｐシステムを実現するために用い得るかについて記載されている。

Ｃ＋＋に於ては、Ｎｉａｒｇａｒｅｔ　Ａ、Ｅｌｌｉｓ及びＢｊａｒｎｅ　５ｔｒｏｕｓｔｒｕｐによる”ＴｈｅＡｎｎｏｔａｔｅｄ　ｃ＋＋　Ｒｅｆｅｒｅｎｃｅ　Ｍａｎｕａｌ”、　Ａｄｄｉｓｏｎ　ＷｅｓｌｅｙＸ　Ｒｅａｄｉｎｇ、ＭＡ　１９９０．２７７−２８０に記載されているようなデストラクタ（ｄｅｓｔｒｕｃｔｏｒ）と呼ばれるルーチンにより単語的視野を伴うデータの最終化過程が行われる。デストラクタルーチンによれば、プログラマは、オブジェクトの各クラスについてデストラクタ機能を定義し、このデストラクタ機能は、各オブジェクトについての単語的視野を出るときに自動的に呼び出される。

しかしながら、Ｍｏｄｕｌａ−３（Ｌｕｃａ　Ｃａｒｄｅｌｌｉ、Ｊａｍｅｓ　Ｄｏｎａｈｕｅ、ＬｕｃｉｌｌｅＧｌａｓｓｍａｎ、Ｍｉｃｋ　Ｊｏｒｄａｎ、ＢＢｌｌｌＫａｌｓｏ及びＧｒｅｇ　Ｎｅ１ｓｏｎによる”Ｍ。

ｄｕｌａ−３ｒｅｐｏｒｔ″、Ｔｅｃｈ、Ｒｅｐ、０ＲＣ−１、ＤＥＣＳｙｓｔｅｍｓ　Ｒｅ５ｅａｒｃｈ　Ｃｅｎｔｅｒｌｏｌｉｖｅｔｔｉ　Ｒｅ５ｅａｒｃｈ　Ｃｅｎｔｅｒ、Ｐａ１ｏ　Ａｌｔｏ、／Ｍｅｎｌｏ　Ｐａｒｋ。

ＣＡ、１９８８）或いはＣｏｍｍｏｎ　Ｌｉ５ｐ（ＧｕｙＳｔｅｅｌによる＋Ｃｏｍｍｏｎ　Ｌｉ５ｐ：ＴｈｅＬａｎｇｕａｇｅ”、Ｄｉｇｉｔａｌ　ＰｒｅｓｓＳ　ＢｕｒＩｉｎｇｔｏｎ、ＭＡ、１９８４．１４０−１４２）のいずれも最終化過程のための正式なセマンティックスを定義していない。これらの言語が最も自動最終化過程プロセスをサポートするように見える場面としては、Ｍｏｄｕｌａ−３に於けるＴＲＹ　ＦＩＮＡＬＬＹ構造及びＣｏｍｍｏｎ　Ｌｉ５ｐに於けるＵＮＷＩ　ＮＤ−ＰＲＯＴＥＣＴアノアインドプロテクト構造である。これらの手段のいずれも、対応する構造が関連するコードのブロックを（通常のプロソクターミネーンコンまたは非ローカルリターンを介して）出るときに所定の動作のセットを実行することを保証するが、いずれもデータオブジェクトとは直接的に関連しない。

動的　をイ・うオブジェクトの　ヒ過呈動的視野を伴うオブジェクトの寿命には制約がないことから、自動最終化過程をサポートするためには自動ガーベジコレクタが必要となる。即ち、最終化過程は、ガーベジコレクタが、動的視野を伴うオブジェクトが実際にガーベジとなったことを検出するまで行われない。

動的視野を伴う自動最終化過程システムは、エンバーミング（ｃｍｂａ　１ｍｉ　ｎｇ）コレクタにより或いは弱いレファレンスにより構成することができる。

弱いレファレンスとは、参照されたオブジェクトがガーベジであると考慮されるのを妨げないようなオブジェクトの参照を意味する。

弱い参照は、文献によっては、弱いポインタ、ソフトレファレンスまたはソフトポインタとも呼ばれる。それに対して、強いレファレンスは、一連の強いレファレンスを介して、参照されたオブジェクトがプログラムにより到達可能であるということを条件として、参照されたオブジェクトかガーベジであると考慮されるのを妨げるのに十分なオブジェクトの参照を意味する。強いレファレンスは、文献によっては、強いポインタ、ハードレファレンス、ハードポインタ、ノーマルレファレンス、ノーマルポインタ、普通レファレンス、普通ポインタなどとも呼ばれる。即ち、ガーベジコレクタは、一連の強いレファレンスを介してプログラムが到達可能な任意のオブジェクトを回復することを許容されない。

エンバーミングコレクタを　る　０エンバーミングコレクタとは、そのメモリの領域を回復するためにオブジェクトを直接操作するようなコレクタを指す。従来技術に基づくエンバーミングコレクタの例としては、古典的なマークスウィープ（ｍａｒｋ−ｓｗｅｅｐ）ガーベジコレクタや、厳密なレファレンスカウントに基づくさまざまなコレクタがある。

エンバーミングコレクタを　る″に基づくＣｅｄａｒ　（Ｐａｕ　ｌ　Ｒｏｖｎｅｒによる“Ｏｎ　Ａｎｄ　Ｒｕｎｔｉｍｅ　Ｔｙｐｅｓ　ｔｏ　ａ　Ｓｔｒ。

ｎｇｌｙ−Ｔｙｐｅｄ、５ｔａｔｉｃａｌｌｙ−Ｃｈｅｃｋｅｄ、Ｃｏｎｃｕｒｒｅｎｔ　Ｌａｇｕａｇｅ″、Ｔｅｃｈ、Ｒｅｐ、Ｃ５Ｌ−８４−７、Ｘｅｒｏｘ、Ｐａｌ。

ＡＩ　ｔｏ、　Ｒｅ５ｅａｒｃｈ　ＣｅｎｔｅｒＳ　Ｐａｌ。

Ａｌｔｏ、ＣＡ、１９８５）に於いては、動的視野を伴うオブジェクトの臨終儀式最終化過程が、レファレンスカウントガーベジコレクタを用いて実現されている。即ち、オブジェクトのレファレンスのカウントがＯに下がると、オブジェクトは最終化過程順列に配置され、その後最終化過程の対象とされる。Ｃｅｄａｒのガーベジコレクタが、（参照されなかった全てのオブジェクトをガーベジとして提出することを保証しないという意味で）保守的即ち控えめなものであることから、最終化過程が必ず発生するとは保証されない。従って、プログラマに対しては、そのプログラムの正確さが最終化過程に依存するものであってはならないという警告がなされ、むしろ、最終化過程を、性能を高めるものであると理解するように勧められている。

００ＰＳＬＡ　’９１　Ｇａｒｂａｇｅ　Ｃｏ１１ｅｃｔ　ｉｏｎ　ＷｏｒｋｓｈｏｐＳ　ＰｈｏｅｎｉｘＳ　ＡＺ、１９９１に於いて発表された、Ｒｉｃｈａｒｄ　Ｌ、　Ｈｕｄｓｏｎによる”Ｆｉｎａｌｉｚａｔｉｏｎ　ｉｎ　ａＧａｒｂａｇｅ　Ｃｏ１１ｅｃｔｅｄ　Ｗｏｒｌｄ”に於いては、Ｃｅｄａｒのものと類似する、動的な視野を伴うオブジェクトの臨終儀式式の最終化過程のためのセマンティックスが提案されている。Ｈｕｄｓｏｎは、最終化過程を、オブジェクトの破壊に先立つ最終的な動作であると見ている。しかも、Ｈｕｄｓｏｎは、最終化過程がオブジェクトを復活可能とし、その破壊を回避し、再びシステムの利用に使用し得る点を指摘している。また、これらのセマンティックスが、コピーするコレクタを介して実現し得る要領を説明し、オブジェクトが最終化されるべき順序を特定し、これらの最終化過程セマンティックスが、弱いレファレンスのそれと連接が合うものであることを指摘している。

いレファレンス　る　゛多くの近代的なガーベジコレクタは、それらが回復するガーベジオブジェクトを直接的に操作しない。例えば、コピーを行うガーベジコレクタを用いるシステムを考慮されたい。このようなコレクタは、そのメモリ領域を回復するためにオブジェクトを操作することを必要としない。コレクタは、単にガーベジオブジェクトを無視し、生きたオブジェクトをメモリの別の領域にコピーする。次に、システムに対して、ガーベジオブジェクトを記憶したメモリの領域に新たなオブジェクトを割当て、ガーベジオブジェクトをオーバライドすることによりガーベジオブジェクトをリサイクルする。

このようなコレクタは、最終化過程の対象となるオブジェクトの行方を常時追跡し、そのオブジェクトがガーベジとなったときに最終化過程を実行するのを忘れないようにしなければならない。

このようなオブジェクトを常時追跡することは、オブジエクトに対して弱いレファレンスを維持することと等価である。即ち、ガーベジコレクタは、成るオブジェクトをガーベジであると考慮されることを妨げないオブジェクトのレファレンスを維持する。実際、従来技術に基づくシステムの成るものは、その最終化過程メカニズムを、弱いレファレンスサブシステム上に直接構築している。

弱−友佳１ヱヤンス奎介工Ａ虞迷韮）に基づく１薯１１−程Ｓｕｎ　Ｍｉｃｒｏｓｙｓｔｅｍｓにより開発されたＮｃＷｓ（Ｎｅｔｗｏｒｋｅｄ　Ｗｉｎｄｏｗ　Ｓｙｓｔｅｍ）は、動的な視野を伴うオブジェクトの最終化過程をサポートするのみならず、弱いレファレンスサブシステムを用いることによりそれを実行する。オブジェクトを最終化するためには、対応するオブジェクトに対して弱いレファレンスを確立し、このオブジェクトが弱くレファレンスされたときにのみ通知を受ける興味を表すのみでよい。オブジェクトの強いレファレンスのカウントがＯに下がり、しかしながら依然として弱いレファレンスがなされたままである場合、Ｎ　ｅ　Ｗ　Ｓは、先に興味を表したクライアントに対して陳腐化したイベントを送り出すべくイベント発送メカニズムを用いる。

陳腐化したイベントを受けると、クライアントはオブジェクトに対する弱いレファレンスを破壊することを含む適当な最終化過程を行い、それに対する他のレファレンスがない場合には、オブジェクトが、最終的にガーベジコレクタにより回復されるようになる。或いは、クライアントコードは、弱いレファレンスを強いレファレンスに変換することにより、陳腐化したオブジェクトを回復することによって、陳腐化したイベントに応答することができる。　（Ｎｅ　Ｗ　Ｓは、与えられたレファレンスを強化したり或いは弱化するためのプロトコルを提供スる。）Ｎ　ｅ　Ｗ　Ｓ最終化過程メカニズムは、レファレンスカウントガーベジコレクタにより、他の方法では回復されないようなオブジェクトのサイクルを破るために設計されている。

クライアントコードは、このようなユーザにより定義されたデータサイクルのリンクの１つを弱化するものとして期待される。クライアントコードは、この弱いリンクによりレファレンスされたオブジェクトが陳腐化している旨の通知を受けた場合には、このリンクを実際に破る。　（即ち、オブジェクトは単に弱くレファレンスされるのみとなる。）このリンクが一旦破られると、データサイクルが破られ、ガーベジコレクタが、サイクルに於ける様々なオブジェクトにより占められたメモリを回復し得るようになる。即ち、Ｎ　ｅ　Ｗ　Ｓシステムは、臨終儀式最終化過程メカニズムをサポートするもので、この従来技術に於いては、なんらポストモーテム最終化過程メカニズムが存在していない。

しかしながら、　（オブジェクトが回復される前に、最終化過程の意図されない副作用として或いはシステムの他の部分によってとられたアクションの結果として、最終化されるべきオブジェクトが生きたままにされることとなる、意図されない復活がなされた場合には、臨終儀式最終化過程に問題が生しる。例えば、ファイル−システムオブジェクトが最終化される場合、その最終化過程コードは、オペレーティングシステムに対して、対応するファイル記述子をリサイクルするような指示を行う場合がある。しかしなから、ファイルシステムオブジェクトが誤って生きたままにされると、このオブジェクトは後になってアクセスされる場合があり、それによってアクセスを行おうとするコードが、新たにリサイクルされたファイル記述子を用いようとした場合に、基礎となるオペレーティングシステムに於いてランタイムエラーが引き起こされる。従って、意図されない復活という問題を回避するという特定の目的で、ポストモーテム最終化過程に対する必要性が存在する。

λ所（ＤＪＡＵ本発明の開示内容によれば、ポストモーテム最終化過程メカニズムは、関心のあるオブジェクトが破壊された後に初めて最終化過程の動作をトリガする。この手法は、意図されない復活という問題を回避する。最終化コードは、最終化過程の対象たるオブジェクトにアクセスできないことから、このようなコードは、最終化過程にとって必要な、最終化過程の対象たるオブジェクトに含まれる情報のコピーを維持する。これは、例えば、予め最終化過程の対象たるオブジェクトに対する相続人（ｈｅｉｒ）オブジェクトを創生ずることにより達成される。相続人オブジェクトは、最終化過程に於いて必要とされる、最終化過程の対象たるオブジェクトからの全ての必要な情報のコピーを保持する。

この最終化過程の方法によれば、最終化過程の対象たるオブジェクトは、相続人オブジェクトが、最終化オブジェクトの複製物であることを条件として、相続人オブジェクトを最終化オブジェクトに単に置くことによりオブジェクトを効果的に復活させることができる。

システムが、自動ガーベジコレクション、弱いレファレンス及び通知メカニズムをサポートする場合、ポストモーテム最終化過程システムは、通常のオブジェクトレファレンスとは異なる特定の値の陳腐な弱いレファレンスをオーバライドするためのガーベジコレクションプロセス手段を含むことにより提供される。ガーベジコレクションプロセスは、オーバライドされた弱いレファレンスを含む任意のオブジェクトを最終化過程の順列に追加する。このようなオブジェクトが最終化過程の順列に追加されると、ガーベジコレクタは、最終化過程順列か空でないことを最終化過程プロセスに通知する。最終化過程順列が空でない通知を受けると、最終化過程プロセスは、この順列から、これらのオブジェクトを抽出する。

更に、システムの通知手段を用いて、オーバライドされた弱いレファレンスに関連するオブジェクトか回復されたときに通知を受ける旨の希望を先に示した任意のオブジェクトに対して死亡証明を発行す区ｌばＬ証浬」らＷ朋図１は、オブジェクトＯを最終化するために、本発明に基づき構成されたポストモーテム最終化過程システムにより必要とされるオブジェクト間の関係を示すブロック図である。

図２は、本発明のポストモーテム最終化システムをサポートするために本発明に基づき構成されたガーベジコレクタエクステンンコンの１つの実施例を示すブロック図である。

図３は、図２のプロセスによりレファレンスされた最終化プロセスの１つの実施例を示すブロック図である。

図４は、図３の執行人プロセスの１つの実施例を示すブロック図である。

及嵐桝Ω１泗自動最終化過程メカニズムは、メモリオブジェクトがガーベジとなったことを確認すると、所定の一連の動作を実行する。ポストモーテム最終化過程メカニズムは、ガーベジオブジェクトが、システムのガーベジコレクタにより実際に回復された後にのみ、これらの最終化過程動作を実行する。関心のあるオブジェクトが完全に回復されるときまで最終化過程の動作の実行を遅らせることにより、このオブジェクトが、最終化過程動作の副作用として意に反して復活される不都合を回避することができる。単語的視野を伴うデータを最終化する場合には、このように、意図されない復活という問題が引き起こされない。何故なら、このようなデータは、その定義から、これらのデータが詳しく説明される単語的視野から出たときに破壊されるからである。このようにデータが既に破壊されていることから、閉じられた単語的視野から出た後には、このようなデータを最終化しようとする試みがなされないからである。

ポストモーテム　、。

図１は、本発明に基づき構成されたポストモーテム最終化過程システムにより必要とされるオブジェクト間の関係を示すブロック図である。ポストモーテム最終化過程メカニズムは、関心のあるオブジェクトが破壊された後に初めて最終化過程動作をトリガするもので、従ってこのプロセスは、従来技術に於ける臨終儀式最終化過程プロセスに於ける意図されない復活という問題を回避することができる。

最終化過程コードが、最終化されるべきオブジェクトをアクセスすることができないことから、最終化過程に必要なオブジェクトＯに含まれる情報のコピーが、最終化されるオブジェクトに対する（図１に於いてＨが付されたブロックにより示される）相続人オブジェクトを予め創設しておくことにより創り出される。相続人オブジェクトＨは、最終化過程に必要とされるオブジェクト０の全ての必要な情報のコピーを含んでいる。この最終化方法は、復活を許容しない。しかしながら、必要に応じて、単にオブジェクトＯが存在する先のメモリ位置に相続人オブジェクトＨを送り込むことによりオブジェクト０を効果的に復活することができる。

Ｃ（″いレファレンスを　いたポストモーテム　Ａ　゛　シスむシステムが、自動ガーベジコレクション、弱いレファレンス及び通知メカニズムをサポートする機能を有する場合、弱いレファレンスを用いて、本発明の原理に基づくポストモーテム最終化過程システムの１つの実施例を提供することかできる。例えば、オブジェクトＯ７，０３１，、，０，に対してポストモーテム最終化過程動作Ｆ３、Ｆ２１８１．Ｆ。を実行するために、オブジェクトＯ２，０，１，９，０，の何れかがガーベジとなった場合、クライアントプログラムにより追加の弱いオブジェクトＷ１、Ｗ２１．、、Ｗ、が形成され、この場合オブジェクトＷ、は、全てのｉ　（但し、１≦ｌ≦ｎ）についてオブジェクトＯ１に対する弱いレファレンスを含んでいる。この場合、Ｏｌは、Ｗ、と整合（ｒｅｇｉｓｔｅｒｅｄ）していると呼ばれる。更に、クライアントは、執行人（ｅｘｅｃｕｔｏｒ）オブジェクトＥ１ｓＥ２％・・、Ｅｏを構成する。但し、Ｅｉは、全てのｉ　（１≦ｉ≦ｎ）について最終化過程動作Ｆｉを実現する最終化過程コードにアクセスすることができる。最終化過程のために必要とされる全ての情報のコピーを含むクライアントにより創り出された相続人オブジェクトＨ５は、執行人Ｅ、によりアクセスすることができる。更に％Ｅｌは、Ｗｌが死ぬ度毎に（即ち、Ｗ、から弱くレファレンスされたオブジェクトがガーベジコレクタにより回復される度毎に）通知を受け取るように、通知メカニズムに対して登録しておくことができる。通知メカニズムは、成る所定のイベントが発生した旨の通知を受けることに関心があるとしてクライアントが登録し得るような任意の手段に対してレファレンスすることかできる。このような通知メカニズムを実現する態様には様々なものがある。例えば、そのようなシステムとしては、Ａｄｅｌｅ　Ｇｏｌｄｂｅｒｇ及びＤａｖｉｄ　ＲｏｂｓＯｎによる’Ｓｍａｌｌｔａｌｋ−８０：Ｔｈｅ　Ｌａｎｕａｇｅ”、Ａｄｄｉｓｏｎ　Ｗｅｓｌｅｙ、Ｒｅａｄｉｎｇ、ＭＡ、１９８９．２４０−２４３に記載されているようなＳｍａｌｌｔａｌｋの依存度更新（ｄ　ｅ　ｐ　ｅ　ｎ　ｄ　ｅｎｃｙ−ｕｐｄａｔ　ｉｎｇ）メカニズムや、ＮｅＷＳ（−ＮｅＷＳ　２．１　Ｐｒｏｇｒａｍｍｅｒ’　ｓ　Ｇｕｉｄｅ、Ｒｅｖｉｓｉｏｎ　Ａ−１Ｓｕｎ　Ｍｉｃｒｏｓｙｓｔｅｍｓ、Ｉｎｃ、Ｍｏｕｎｔａｉｎ　Ｖｉｅｗ、ＣＡ。

１９９０．２２１−２２５）に於いて用いられているような様々なイベント送信メカニズムがある。

図２は、本発明のポストモーテム最終化過程システムをサポートするための、本発明の原理に基づいて構成されたガーベジコレクタエクステンションの１つの実施例を示すブロック図である。ガーベジコレクションプロセスが、オブジェクトＯ２がガーベジとなったことを確認すると、ガーベジコレクションプロセスは、ＯＩにより占められたメモリを回復し、ＷＩからＯｌへの弱いレファレンスを、死亡マーカレファレンスＤＭにより置換し、それを他の全ての通常Ｑオブジェクトレファレンスから区別する。

最終化過程をサポートするために、ガーベジコレクションプロセスは、各回復フェーズの末期に、死亡マーカレファレンスＤＭによりオーバライドされた弱いレファレンスを有する全ての弱いオブジェクトＷ、を、最終化過程順列ＦＱに配置する。このような弱いオブジェクトＷｌを全て最終化過程順列ＦＱに配置すると、ガーベジコレクタは、最終化過程順列ＦＱが空でない旨を、最終化過程ＦＰに対して通知する。図３は、各オブジェクトを最終化過程順列ＦＱから除去し、抽出されたオブジェクトＷ１が死亡した旨の死亡証明通知を受けることに興味を示したＥ、などのオブジェクトに対してシステムの通知メカニズムが通知を行うように（−た最終化過程の一実施例を示す。

Ｅ、が、Ｗｌか死亡した場合にその通知を受けるべく要請していれば、Ｅ、は、Ｗｌが最終化過程順列から抽出されたときに死亡証明通知を受け取ることとなる。

同一の〜Ｖ、が複数のＯ２をレファレンスした場合、執行人Ｅ、は、レファレンスＤＭをめてＷｌの内容をスキャンすることにより死亡証明の受領に応答し、オブジェクトＯ７が回復されたことを、ＤＭの位置から推察することができる。

Ｗ、が１つの弱いレファレンスを有するのみである場合、執行人Ｅ、は、走査することなく、どのＯ２が回復されたかを、Ｗ、を特定することにより推察することができる。

図４は、オブジェクトＯ１が回復したか否かを推察するために、死亡マーカレファレンスＤＭをめて必要に応じてＷ、をスキャンする最終化過程コードの］っの実施例を示す。

オブジェクトＯ１の回復が検出されると、Ｅ、は、適当な最終化過程動作Ｆ、を呼び出すことができる。

も−在工午１え２３６１ヤ３５色Ｕリー川本発明の別の実施例に於いては、システムが、エムバーミング（ｅｍｂａｌｍｉｎｇ）ガーベジコレクション及び通知メカニズムを有する場合、ガーベジコレクタかガーベジオブジェクトを回復するときに、オブジェクトが最終化過程の対象にされているか否かを見るためのエムバーミングガーベジコレクタチェックを備えることにより、ポストモーテム最終化過程プロセスを提供することができる。この実施例に於いては、ポストモーテム最終化過程プロセスは、この目的のために保留されたオブジェクトのヘッダに於けるビットなどにより、成るオブジェクトが最終化過程の対象であることを示すための手段をガーベジコレクションシステムが備えているものと仮定する。一旦ガーベジコレクタが、オブジェクトが最終化されるべきものであると判断すると、ガーベジコレクタは、オブジェクトが死亡し、最終化されるべき旨を執行人に対して通知する。

このように、本発明の原理に基づき記述された自動ポストモーテムメモリ最終化過程プロセスは、ガーベジとして最終的にマークされたオブジェクトがガーベジコレクタによって破壊された後に最終化過程の動作を呼び出すことにより意図しない復活という問題を回避する。

本明細書に於いて言及された全ての刊行物は、それぞれ、個々の刊行物に対して言及することにより本明細書の１部となすという意味合いに於いて、全体として、言及することにより本明細書の１部をなすものとする。

以−に本発明について説明したが、当業者であれば、本発明の概念即ち添付のクレームの範囲から逸脱することなく様々な変更及び修正を加え得ることは明かである。

補正書の翻訳文提出書（特許法第１８４条の８）平成６年５月２０日

Claims

【特許請求の範囲】

１．ガーベジコレクション手順により処理された１つまたは複数の回復されたオブジェクトのために所定の最終化過程動作を自動的に引き起こすような自動ポストモーテム最終化方法であって、１組の関連するオブジェクトを前記ポストモーテム最終化過程に対して提供する過程を有し、前記１組の関連するオブジェクトが、最終化されるべき関連するオブジェクトに於ける少なくとも何らかの情報を複写する１つまたは複数の相続人オブジェクトと、弱いオブジェクトを、最終化されるべき関連する前記オブジェクトに対して関連づける１つまたは複数の弱いレファレンスを有する１つまたは複数の弱いオブジェクトと、最終化されるべき前記関連するオブジェクトの破壊についての通知を受けるべく通知手段に登録された１つまたは複数の執行人オブジェクトとを有し、前記方法が、更に、前記した１つまたは複数の回復されたオブジェクトを検出するべく前記弱いオブジェクトのそれぞれに於ける１つまたは複数の弱いレファレンスを走査する過程と、前記した１つまたは複数の回復されたオブジェクトに関連する各弱いレファレンスを、死亡マーカレファレンスによりオーバライトする過程と、死亡マーカレファレンスに対応する前記弱いオブジェクトを最終化過程順列に置く過程と、前記最終化過程順列が空でないことを最終化過程プロセス手順に通知する過程と、前記最終化過程を実行する過程とを有し、前記最終化方法が更に、前記最終化過程順列から弱いオブジェクトを抽出する過程と、システム通知手段を呼び出す過程とを有し、前記システム通知手段が、前記１つまたは複数の回復されたオブジェクトが前記ガーベジコレクション手順により回復された旨の通知を受けることについての興味を示す前記１つまたは複数の執行人オブジェクトに対して通知を提供することを特徴とする方法。
２．前記最終化方法が、１つまたは榎数の最終動作を呼び出すために執行人最終化過程手順を実行する過程を有することを特徴とする請求項１に記載の方法。
３．ガーベジコレクション手順により処理された１つまたは複数の回復されたオブジェクトのために所定の最終化過程動作を自動的に引き起こすような自動ポストモーテム最終化方法であって、１組の関連するオブジェクトを前記ポストモーテム最終化過程に対して提供する過程を有し、前記１組の関連するオブジェクトが、最終化されるべき関連するオブジェクトに於ける少なくとも何らかの情報を復写する１つまたは榎数の相続人オブジェクトと、最終化されるべき前記関連するオブジェクトの破壊についての通知を受けるべく通知手段に登録された１つまたは複数の執行人オブジェクトとを有し、前記方法が、更に、最終化されるべき少なくとも１つまたは複数の回復されたオブジェクトのそれぞれに関連する留保ビットを分析する過程と、システム通知手段を呼び出す過程とを有し、前記システム通知手段が、前記１つまたは複数の回復されたオブジェクトが前記ガーベジコレクション手順により回復された旨の通知を受けることについての興味を示す前記１つまたは複数の執行人オブジェクトに対して通知を提供することを特徴とする方法。
４．前記最終化方法が、１つまたは複数の最終動作を呼び出すために執行人最終化過程手順を実行する過程を有することを特徴とする請求項３に記載の方法。