[ruby-dev:4129] Re: finalizers

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :4090 ] the message: "[ruby-dev:4090] finalizers ", on
Jan/11 15:30(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>Javaではfinalizeというメソッドを定義するとGCで解放される直前
>にそのメソッドが呼ばれます．Rubyでもfinalizerという機能はあ
>るのですが，指定するのはメソッドではなくブロックですし，ブロッ
>クに渡されるのはオブジェクトそのものではなく，OBJECT IDなの
>でやや使いにくいのは否定できません．
>
>もちろん，これは十分認識した上でこうなっているのですが．Ruby
>流の最大のメリットは
>
>  * IDしか渡らないからオブジェクトが復活する心配がない
>
>というものです．GCの対象になったオブジェクトがfinalizerの中
>で復活するといろいろとややこしい問題が発生しますから(最悪
>core dump)．

現行のRubyでも

  ObjectSpace._id2ref(id)

を使えば, GCの対象になっているオブジェクトを復活することができますよね.
で, そのあとcore dumpすると...

>  * このようなメソッドによるfinalizerは必要だろうか
>
>というものです．今のfinalizerでもほとんどの問題には対処でき
>る(少々ややこしいが)ので，必要ないって気もします．

必要かというとあまり必要ではないなって感じています. ただ, 現行の方法は
でfinalizerを定義すするのは結構面倒でコツがいるのは事実なんですよね...

それに, 現行では上記のような問題があります. 新しい案ではそのような問題
もなくなるので良いなという気はしています.

>で，もし「必要」となった場合には，どうやってfinalizeするオブ
>ジェクトをGCに教えてやるかという問題があります．実装の都合か
>らfinalizerの指定はオブジェクト単位に行いたいのですが，Ruby
>の場合，インスタンスが生成されてからクラスにメソッドが追加さ
>れることがありえるので，Javaのような簡単な指定(クラスにメソッ
>ドを追加すればOK)はオブジェクトを解放する度にfinalizeメソッ
>ドを持っているかチェックしないと実現できません．全オブジェク
>トを対象にしたチェックはコスト的にちょっと妥協できないように
>思います．

>  * finalizeという*特異メソッド*を定義したオブジェクトでは
>    finalizeが呼ばれる．通常メソッドでは呼ばれない

>  * Finalize(仮称)というモジュールをインクルードしたクラスの
>    インスタンスはfinalizeを呼び出す．インスタンス生成後にク
>    ラスにインクルードしても既存のオブジェクトには効果なし．

この場合, 既存オブジェクトに対してはextend Finalize を行なうとfinalize
が呼ばれるってふうにはできません?

>とかが考えられますが，どう思いますか？

GCのアルゴリズムだけ変えて, finalizeの仕組みは現行のままというのもあり
ますね. そうすると

class Foo
  def initialize
    ...
  end

  def foo
    ...
  end

  finalize :foo
end

の様にfinalizerメソッドを呼んだらそれなりの処理を行ないfinalizerを設定
するというのも可能かと...

>さらに，
>
>  * Ruby本では現行のfinalizeで説明を書いてしまったが，これは
>    どうするか
>
>っていうかなり個人的な事情もありますです．

(^^;;; いやぁ 結構書き込んでしまいましたからね... 

まあ, でもそういう問題でもないでしょう.

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---