[ruby-dev:40431] Re: [Bug:trunk] rubyspec: ObjectSpace.define_finalizer doesn't call self-referencing finalizers FAILED

> なかださんかまつもとさん
> 遠藤です。
> 
> 以下のようにすると T_ZOMBIE が見えてしまうのはバグでしょうか。
> 
> 
>   $ ./ruby -ve '
>   obj = "test"
>   ObjectSpace.define_finalizer(obj, proc { begin; p obj; ensure; p $!; end })
>   '
>   ruby 1.9.2dev (2010-02-10 trunk 26632) [i686-linux]
>   #<NotImplementedError: method `inspect' called on unexpected
> T_ZOMBIE object (0x8248df0 flags=0x3e klass=0x0)>
> 
> 
> [ruby-core:23918] で、obj への reference があるからこれは回収
> されないようなことが書かれていますが、結局回収されるように
> なっているようです。
> 
> [ruby-core:24095] でバグとして登録されていますが、どっちが
> 正しいのかよくわかりません。
> rubyspec に回収されないことを確認する spec が入っていて、失敗
> しています。
> 
> 回収されるのが正解だとしたら、例外メッセージから unexpected は
> 消すべきだと思います。
> 見えないのが正解だとしたら、バグなんでしょう。

忘れそうになるので、IRCの議論を転記

1. objectはreferenceがある限り回収されない
2. finalizerはobjectが回収される時に呼ばれる
3. プロセス終了時はfinalizerが絶対呼ばれる

の1,2と3が両立不可能という仕様バグの話だと思っています。プロセス終了時に
まだ参照されているオブジェクトは下記A)、B)どちらでもルール違反

A) 参照されていても強制的にファイナライザを呼ぶ
  （現状こちら。かつファイナライザ呼ぶ直前に）
B) プロセス終了時にまだ参照されているオブジェクトはファイナライザ呼ばない
   （[ruby-dev:40410]のようにtempfileが消えなくなる）

ので、仕様明確化が必要でしょう。
もし超かしこいプロセス終了処理を作れば現状の仕様で問題ないのであれば、
ツッコミは歓迎します。