From: Tanaka Akira <akr@...17n.org>
Date: 2005-11-28T16:44:31+09:00
Subject: [ruby-dev:27851] tail call and conservertive GC

x86_64-linux で、gcc 4.0.3 20051111 なるものを用いて ruby
1.9 を作ると install が失敗します。

% make install
./miniruby ./instruby.rb --dest-dir="" --make="make" --mflags="" --make-flags="" --mantype="doc"
/tmp/a/ruby/lib/tempfile.rb:12: invalid identifier include? (NameError)
        from ./instruby.rb:12
make: *** [do-install-local] Error 1
zsh: exit 2     make install
% ./miniruby -v
ruby 1.9.0 (2005-11-28) [x86_64-linux]
% gcc -v
Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --program-suffix=-4.0 --enable-__cxa_atexit --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-awt=gtk-default --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.0-1.4.2.0/jre --enable-mpfr --disable-werror --enable-checking=release x86_64-linux-gnu
Thread model: posix
gcc version 4.0.3 20051111 (prerelease) (Debian 4.0.2-4)

調べてみると、

% ./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 されちゃっているということがわかりました。

(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.

さて、どうしたもんでしょう?

まぁ、tail call になるのを防止すればいいわけですが、tail
call になっているのはここに限らずかなりある感じです。
-- 
[田中 哲][たなか あきら][Tanaka Akira]