[ruby-dev:32503] Re: SEGV by test/ruby/test_fiber.rb

遠藤です。

07/12/09 に SASADA Koichi<[e-mail]> さんは書きました:
> > 以下のパッチで rb_gc() を入れても症状が出なくなりました。
>
> 　どうもありがとうございます．全くその通りです．スタック上には Ruby
> オブジェクト以外置かないようにしていたつもりでしたが，ご指摘のとおり
> 穴があったようです．

r14156 を見ましたが、cfp->sp を書き換えないのは理由があるのでしょうか。
あと sp の代入を移動した意図がわかりません。


また、後で気づきましたが mark_stack_len = iseq->arg_size; は不十分だと
思います。sp が argv の先頭のとき、そこから iseq->arg_size 分しか mark
されません。そのため argv の長さが iseq->arg_size より長かった場合、
例の場所で gc が起きたら argv の中の要素が gc されてしまうと思います。

実証例です。rb_gc() を例の場所へ挿入しておくと以下で落ちます。本当に
このせいで落ちているのかどうかは未確認ですが。


$ ./ruby -e '
def foo
  yield(Object.new, Object.new, Object.new)
end

foo(&lambda {|*a| p a })
'
-e:6: -- control frame ----------
c:0007 p:---- s:0016 b:0016 l:000015 d:000015 CFUNC  :inspect
c:0006 p:---- s:0014 b:0014 l:000013 d:000013 CFUNC  :p
c:0005 p:0010 s:0010 b:0010 l:000584 d:000009 BLOCK  -e:6
c:0004 p:0042 s:0008 b:0008 l:000007 d:000007 METHOD -e:3
c:0003 p:0019 s:0005 b:0005 l:000584 d:000584 TOP    -e:6
c:0002 p:---- s:0003 b:0003 l:000002 d:000002 FINISH :inherited
c:0001 p:---- s:0001 b:-001 l:000000 d:000000 ------
---------------------------
DBG> : "-e:6:in `p'"
DBG> : "-e:6:in `block in <main>'"
DBG> : "-e:3:in `foo'"
DBG> : "-e:6:in `<main>'"
-- backtrace of native function call (Use addr2line) --
0x80eaa75
0x8108d83
0x8108e4b
0x80bc770
0xffffe440
0x8058424
0x8058473
0x805ac97
0x805b010
0x805b376
0x807d666
0x80f3d91
0x80eef96
0x80f3cf6
0x80e9935
0x805acf8
0x805b010
0x805b376
0x807d666
0x8069b01
0x806fcdc
0x80e135e
0x80e3093
0x80e5cd6
0x80e9334
0x80e966b
0x805a219
0x805e080
0x8057d70
0xb7de7ea8
0x8057c91
-------------------------------------------------------
[BUG] Segmentation fault
ruby 1.9.0 (2007-12-10) [i686-linux]

アボートしました


勘違いだったらすみませんが、vm_callee_setup_arg によってスタックが
(Qnil 以外で) 伸びるのは arg_block だけだと思います。もしそうなら
vm_callee_setup_arg を呼ぶ時は sp を argv の終端の次にあわせておき
(つまり vm_invoke_block の DEC_SP(argc) をやめる) 、mark_stack_len は
常に 0 にしておくのが良いと思います。


とりあえず、すごく安易なパッチです。

Index: insnhelper.ci
===================================================================
--- insnhelper.ci	(revision 14169)
+++ insnhelper.ci	(working copy)
@@ -115,7 +115,7 @@
 	VALUE * const dst = argv;
 	int opt_pc = 0;

-	th->mark_stack_len = iseq->arg_size;
+	th->mark_stack_len = argc > iseq->arg_size ? argc : iseq->arg_size;

 	/* mandatory */
 	if (argc < (m + iseq->arg_post_len)) { /* check with post arg */
@@ -434,6 +434,7 @@
     /* TODO: eliminate it */
     GetISeqPtr(iseqval, iseq);
     sp = rsp + iseq->arg_size;
+    cfp->sp = rsp;

     opt_pc = vm_callee_setup_arg(th, iseq, argc, rsp, &blockptr);


-- 
Yusuke ENDOH <[e-mail]>