[ruby-dev:15036] [PATCH] eval.c (rb_call0): arguments might be discarded

うえのです。

こんなスクリプトを書いて遊んでいたのですが、

  class FlyweightFactory

    def initialize(&constructor)
      @constructor = constructor
      @hash = {}
    end

    def callback(args)
      proc { |id| @hash.delete args }
    end
    private :callback

    def create(*args)
      p args
      oid = @hash[args]
      if oid then
        begin
          obj = ObjectSpace._id2ref(oid)
        rescue RangeError
          oid = nil
        end
      end
      unless oid then
        obj = @constructor.call(*args)
        ObjectSpace.define_finalizer(obj, callback(args))
        @hash[args] = obj.id
      end
      obj
    end

  end

  factory = FlyweightFactory.new { |a,b| "#{a}#{b}" }
  100000.times { |i| factory.create(i, i) }

実行してみると妙なエラーが発生して終了してしまいます。

  % ruby -v
  ruby 1.6.5 (2001-09-19) [i686-linux]
  % ruby test.rb
  [0, 0]
  [1, 1]
  [2, 2]
  ...skip...
  [2618, 2618]
  [2619, 2619]
  [2620, 2620]
  [2621, 2621]
  [2622, 2622]
  [2623, 2623]
  [2624, 2624]
  nil           # <== ?????
  test.rb:24: wrong # of arguments (0 for 2) (ArgumentError)
        from test.rb:33:in `call'
        from test.rb:24:in `create'
        from test.rb:35
        from test.rb:35:in `times'
        from test.rb:35


引数の配列を rb_ary_new4 で作るときに GC が始まり、ファイナライザが
実行されて rb_yield0 から scope_dup が呼び出されることで
rb_call0 のローカル変数の local_vars と ruby_scope->local_vars が
等しくなくなってしまい、作成した配列をローカル変数の値として正しく
格納できないことがあるのが原因のようです。

ruby-1.6.5 に対するパッチです。


--- eval.c.orig	Mon Nov  5 18:33:01 2001
+++ eval.c	Mon Nov  5 18:35:00 2001
@@ -4464,7 +4464,7 @@
 				v = rb_ary_new4(argc,argv);
 			    else
 				v = rb_ary_new2(0);
-			    local_vars[node->nd_rest] = v;
+			    ruby_scope->local_vars[node->nd_rest] = v;
 			}
 		    }
 		}



 --  ----  -     - - -- -
うえの かつひろ <[e-mail]>