[ruby-dev:12582] finalizer problem

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

標準添付ライブラリの finalizer.rb が古くなっているので, 更新及び機能拡張
しているのですが...

そこで問題に気が付きました.

いま, finalizerは, GCの時にGCされるものをまとめて呼び出していますよね?

これって問題あると思います. 以下のプログラムを実行してください:

##-- リスト
require "weakref"

class Foo;end
class Bar
  def initialize
    @foo = WeakRef.new(Foo.new)

    ObjectSpace.define_finalizer self, Bar.finalProc(@foo)
  end

  def Bar.finalProc(foo)
    proc{|id| 
      begin
	foo.__getobj__
      rescue
	p $!
      end
    }
  end
end

loop do 
  Bar.new
end
##-- 結果

#<RangeError: 0x200eaf0c is recycled object>
#<RangeError: 0x200e7b18 is recycled object>
#<RangeError: 0x200e4724 is recycled object>
#<RangeError: 0x200e14ca is recycled object>
#<RangeError: 0x200deb62 is recycled object>
#<RangeError: 0x200db76e is recycled object>
#<RangeError: 0x200d837a is recycled object>
#<RangeError: 0x200d4f90 is recycled object>
#<RangeError: 0x200c82b6 is recycled object>

# これらはWeakRefの例外でなくて, ObjectSpace.__id2refの例外.

##--- ここまで

このように, その回でGCされるオブジェクトがfinalizeされる前に, 他のオブジェ
クトのfinalierからアクセスする可能性があるからです. 

GCされたオブジェクトに対するObjectSpace.__id2refは完全でないですしね.

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