[ruby-dev:12672] segv on Continuation#call on C_ALLOCA system

新井です。

先週 rubicon-0.1.4 を ews48 で試してたのですが TestKernel.rb 
の test_s_callcc で segv します。

segv する原因は私には難しすぎたのですが、出来る限り追ってみ
たところ Continuation#call でコンテキストを復帰したときに

  4232  rb_call0(klass, recv, id, argc, argv, body, nosuper)

  4347              if ((state = EXEC_TAG()) == 0) {

ここで、tmp__protect_tmp の値が復活し、TMP_PROTECT_END 
の rb_gc_force_recycle を呼ぶことで同じアドレスを指す 
freelist ができる、のが原因なのではないかと思います。

再現させたときは、
    void
    rb_gc_force_recycle(p)
	VALUE p;
    {
	RANY(p)->as.free.flags = 0;
	RANY(p)->as.free.next = freelist;
	freelist = RANY(p);
    }

で、p と freelist の値(復帰した tmp__protect_tmp の値)が同じでした

その結果 rb_newobj() で同じアドレスを指す2つのオブジェクトが
でき、片方の変更が、もう片方に影響して最終的に GC で落ちてい
ました。暫定的に

  4232  rb_call0(klass, recv, id, argc, argv, body, nosuper)
  4233      VALUE klass, recv;

  4327              if (body->nd_rval) ruby_frame->cbase = body->nd_rval;
  4328              if (body->nd_tbl) {
  4329  #if 1
  4330                  local_vars = TMP_ALLOC(body->nd_tbl[0]+1);
  4331  #else
  4332                  local_vars = ALLOCA_N(VALUE, body->nd_tbl[0]+1);
  4333  #endif
  4334                  *local_vars++ = (VALUE)body;
  4335                  rb_mem_clear(local_vars, body->nd_tbl[0]);
  4336                  ruby_scope->local_tbl = body->nd_tbl;
  4337                  ruby_scope->local_vars = local_vars;

の #if 1 を 0 にする修正で落ちなくなったことまでを確認しまし
た。#if 1 のときは 4337行目で ruby_scope->local_vars の代入
のときにtmp__protect_tmp.u2 の値が local_vars に書き代わってました。
(つまり、ruby_scope と tmp__protect_tmp が同じ値になってた)

まあ、私の怪しく、拙い説明を読むよりは再現させた方が早いので
Linux で config.h に
  #define C_ALLOCA 1
を定義して再コンパイルして

  ruby -C rubicon/builtin TestKernel.rb test_s_callcc

を実行してみてくださいませ。うちでは

  ./miniruby  -C rubicon/builtin TestKernel.rb test_s_callcc
  #<Rubicon::TestRunner:0x40201ae8 @wait=false, @io=#<IO:0x4019cf3c>>

  TestKernel#test_s_callcc TestKernel.rb:629: [BUG] Segmentation fault
  ruby 1.7.0 (2001-03-22) [i586-linux]
  Aborted (core dumped)

と、再現するようです(上記の解析はこの環境で追った結果です)

スタックトレースは大きいので付けませんが、もし再現しないよう
でしたら言ってくださればあらためて報告します。

--
新井康司 (Koji Arai)