[ruby-dev:27856] Re: tail call and conservertive GC

なかだです。

At Mon, 28 Nov 2005 16:44:31 +0900,
Tanaka Akira wrote in [ruby-dev:27851]:
> 調べてみると、
> 
> % ./miniruby -ve '10000.times { eval "" }'
> ruby 1.9.0 (2005-11-28) [x86_64-linux]
> *** glibc detected *** double free or corruption (fasttop): 0x00000000006d40c0 ***
> 
> という問題まで絞りこめ、これはどうも rb_compile_string が
> rb_parser_compile_string を tail call していて、
> 呼び出される前に VALUE volatile な vparser がスタック上から
> 消えていて、GC されちゃっているということがわかりました。

rb_parser_compile_string()のvparserもvolatileなはずですが、そっ
ちも消えてしまってるんでしょうか。

> (gdb) disassemble rb_compile_string 
> Dump of assembler code for function rb_compile_string:
> 0x000000000045f7d0 <rb_compile_string+0>:       mov    %rbx,0xffffffffffffffe8(%rsp)
> 0x000000000045f7d5 <rb_compile_string+5>:       mov    %r12,0xfffffffffffffff0(%rsp)
> 0x000000000045f7da <rb_compile_string+10>:      mov    %edx,%ebx
> 0x000000000045f7dc <rb_compile_string+12>:      mov    %r13,0xfffffffffffffff8(%rsp)
> 0x000000000045f7e1 <rb_compile_string+17>:      sub    $0x28,%rsp
> 0x000000000045f7e5 <rb_compile_string+21>:      mov    %rdi,%r13
> 0x000000000045f7e8 <rb_compile_string+24>:      mov    %rsi,%r12
> 0x000000000045f7eb <rb_compile_string+27>:      callq  0x44f400 <rb_parser_new>
> 0x000000000045f7f0 <rb_compile_string+32>:      mov    %rax,0x8(%rsp)
> 0x000000000045f7f5 <rb_compile_string+37>:      mov    0x8(%rsp),%rdi
> 0x000000000045f7fa <rb_compile_string+42>:      mov    %ebx,%ecx
> 0x000000000045f7fc <rb_compile_string+44>:      mov    %r12,%rdx
> 0x000000000045f7ff <rb_compile_string+47>:      mov    %r13,%rsi
> 0x000000000045f802 <rb_compile_string+50>:      mov    0x10(%rsp),%rbx
> 0x000000000045f807 <rb_compile_string+55>:      mov    0x18(%rsp),%r12
> 0x000000000045f80c <rb_compile_string+60>:      mov    0x20(%rsp),%r13
> 0x000000000045f811 <rb_compile_string+65>:      add    $0x28,%rsp
> 0x000000000045f815 <rb_compile_string+69>:      jmpq   0x45f6e0 <rb_parser_compile_string>
> End of assembler dump.

なんとなく%rdi,%rsi,%edx,%ecxの順にレジスタ渡ししているっぽいで
すが、vparser自体は渡されているんじゃないでしょうか。だとすれば
問題は、引数ではvolatileがついていてもメモリ上に置かれるとは限
らない、ということのような気がします。

> まぁ、tail call になるのを防止すればいいわけですが、tail
> call になっているのはここに限らずかなりある感じです。

この推測が正しければ、volatileなローカル変数に保存しておくこと
で解決しないでしょうか。


Index: node.h
===================================================================
RCS file: /cvs/ruby/src/ruby/node.h,v
retrieving revision 1.71
diff -U2 -p -r1.71 node.h
--- node.h	8 Oct 2005 09:58:23 -0000	1.71
+++ node.h	28 Nov 2005 09:18:21 -0000
@@ -354,7 +354,7 @@ VALUE rb_parser_new(void);
 VALUE rb_parser_end_seen_p(VALUE);
 
-NODE *rb_parser_compile_cstr(volatile VALUE, const char*, const char*, int, int);
-NODE *rb_parser_compile_string(volatile VALUE, const char*, VALUE, int);
-NODE *rb_parser_compile_file(volatile VALUE, const char*, VALUE, int);
+NODE *rb_parser_compile_cstr(VALUE, const char*, const char*, int, int);
+NODE *rb_parser_compile_string(VALUE, const char*, VALUE, int);
+NODE *rb_parser_compile_file(VALUE, const char*, VALUE, int);
 
 NODE *rb_compile_cstr(const char*, const char*, int, int);
Index: parse.y
===================================================================
RCS file: /cvs/ruby/src/ruby/parse.y,v
retrieving revision 1.425
diff -U2 -p -u -r1.425 parse.y
--- parse.y	21 Nov 2005 13:51:48 -0000	1.425
+++ parse.y	28 Nov 2005 09:19:07 -0000
@@ -4643,7 +4643,8 @@ rb_compile_string(const char *f, VALUE s
 
 NODE*
-rb_parser_compile_string(volatile VALUE vparser, const char *f, VALUE s, int line)
+rb_parser_compile_string(VALUE vparser, const char *f, VALUE s, int line)
 {
     struct parser_params *parser;
+    volatile VALUE self = vparser;
 
     Data_Get_Struct(vparser, struct parser_params, parser);
@@ -4664,5 +4665,5 @@ rb_compile_cstr(const char *f, const cha
 
 NODE*
-rb_parser_compile_cstr(volatile VALUE vparser, const char *f, const char *s, int len, int line)
+rb_parser_compile_cstr(VALUE vparser, const char *f, const char *s, int len, int line)
 {
     return rb_parser_compile_string(vparser, f, rb_str_new(s, len), line);
@@ -4684,7 +4685,8 @@ rb_compile_file(const char *f, VALUE fil
 
 NODE*
-rb_parser_compile_file(volatile VALUE vparser, const char *f, VALUE file, int start)
+rb_parser_compile_file(VALUE vparser, const char *f, VALUE file, int start)
 {
     struct parser_params *parser;
+    volatile VALUE self = vparser;
 
     Data_Get_Struct(vparser, struct parser_params, parser);


-- 
--- 僕の前にBugはない。
--- 僕の後ろにBugはできる。
    中田 伸悦