[ruby-dev:32926] Re: SEGV by regexp match in while loop

Gimiteといいます。

 [ruby-dev:32831]も同じ原因のようです。

$ gdb ruby19 ruby19.core
GNU gdb 6.1.1 [FreeBSD]
...
#0  match_at (reg=0x8276600, str=0x82d54ec " ", end=0x82d54ed "",
    sstart=0x82d54ec " ", sprev=0x0, msa=0xbfa00730) at regexec.c:1288
1288      STACK_PUSH_ENSURED(STK_ALT, FinishCode);  /* bottom stack */
[New Thread 0x8154300 (LWP 100131)]
[New Thread 0x8154000 (LWP 100215)]
(gdb) p $sp
$1 = (void *) 0xbf9ff960
(gdb) x $sp
0xbf9ff960:     Cannot access memory at address 0xbf9ff960
...
(gdb) up
#11 0x080d497d in vm_eval (th=0x8156000, initial=0) at insns.def:1050
1050        CALL_METHOD(num, blockptr, flag, id, mn, recv, klass);
(gdb) p $fp-$sp
$12 = 2082248

08/01/05 に Tanaka Akira<[e-mail]> さんは書きました:
> Debian GNU/Linux (sarge) の gcc-3.4 を使ってビルドした ruby
> で、以下のようにすると SEGV します。
>
> % svn co http://svn.ruby-lang.org/repos/ruby/trunk ruby
> ...
> % autoconf
> % ./configure --prefix=/tmp/a CC=gcc-3.4
> ...
> % make
> ...
> % ./miniruby -ve 'while true; /a/ =~ "a"; end'
> ruby 1.9.0 (2008-01-05 revision 0) [i686-linux]
> zsh: segmentation fault  ./miniruby -ve 'while true; /a/ =~ "a"; end'
>
> スタックサイズを変えると落ちるまでの時間が変わるのでどうもス
> タックオーバーフローのようです。
> 私の試した環境だと、スタックサイズ 8Mbytes の場合数秒で落ち
> ます。
>
> 以下はスタックサイズを 2Mbytes として調べたものです。
>
> % limit
> cputime         unlimited
> filesize        unlimited
> datasize        unlimited
> stacksize       2MB
> coredumpsize    0kB
> memoryuse       unlimited
> maxproc         27643
> descriptors     1024
> memorylocked    32kB
> addressspace    unlimited
> maxfilelocks    unlimited
> % gdb miniruby
> GNU gdb 6.3-debian
> Copyright 2004 Free Software Foundation, Inc.
> GDB is free software, covered by the GNU General Public License, and you are
> welcome to change it and/or distribute copies of it under certain conditions.
> Type "show copying" to see the conditions.
> There is absolutely no warranty for GDB.  Type "show warranty" for details.
> This GDB was configured as "i386-linux"...Using host libthread_db library "/lib/tls/libthread_db.so.1".
>
> (gdb) run -ve 'while true; /a/ =~ "a"; end'
> Starting program: /tmp/a/ruby/miniruby -ve 'while true; /a/ =~ "a"; end'
> [Thread debugging using libthread_db enabled]
> [New Thread -1210779968 (LWP 14167)]
> [New Thread -1211511888 (LWP 14170)]
> ruby 1.9.0 (2008-01-05 revision 0) [i686-linux]
>
> Program received signal SIGSEGV, Segmentation fault.
> [Switching to Thread -1210779968 (LWP 14167)]
> match_at (reg=0x81a7f18, str=0xb7ad5958 "a", end=0xb7ad5959 "", sstart=0xb7ad5958 "a", sprev=0x0, msa=0xbf96bda0)
>     at regexec.c:1290
> 1290      STACK_PUSH_ENSURED(STK_ALT, FinishCode);  /* bottom stack */
>
> スタックポインタ近辺を調べてみるとたしかにメモリが途切れてい
> るようです。
>
> (gdb) p $sp
> $1 = (void *) 0xbf96afe0
> (gdb) x $sp
> 0xbf96afe0:     Cannot access memory at address 0xbf96afe0
> (gdb) x $sp+1
> 0xbf96afe1:     Cannot access memory at address 0xbf96afe1
> (gdb) x $sp+4
> 0xbf96afe4:     Cannot access memory at address 0xbf96afe4
> (gdb) x $sp+10
> 0xbf96afea:     Cannot access memory at address 0xbf96afea
> (gdb) x $sp+100
> 0xbf96b044:     0x08164f44
>
> しかし、バックトレースを見るとそれほどスタックを消費している
> ようには見えません。
>
> (gdb) bt
> #0  match_at (reg=0x81a7f18, str=0xb7ad5958 "a", end=0xb7ad5959 "", sstart=0xb7ad5958 "a", sprev=0x0, msa=0xbf96bda0)
>     at regexec.c:1290
> #1  0x080cd9e5 in onig_search (reg=0x81a7f18, str=0xb7ad5958 "a", end=0xb7ad5959 "", start=0xbf96bda0 "",
>     range=0xb7ad5959 "", region=0x8164f24, option=0) at regexec.c:3608
> #2  0x080bdbf3 in rb_reg_search (re=3083514820, str=3081591120, pos=0, reverse=0) at re.c:1069
> #3  0x080be85d in reg_match_pos (re=3083514820, strp=0xbf96bed4, pos=0) at re.c:2209
> #4  0x080be8c3 in rb_reg_match (re=0, str=3081591120) at re.c:2256
> #5  0x08109a85 in vm_eval (th=0x8168160, initial=0) at insns.def:2014
> #6  0x0810f3d0 in vm_eval_body (th=0x8168160) at vm.c:1148
> #7  0x08110e83 in rb_iseq_eval (iseqval=3083514180) at vm.c:1357
> #8  0x08070b9f in ruby_exec_node (n=0xb7cab324, file=0x81a71b1 "-e") at eval.c:229
> #9  0x08074099 in ruby_run_node (n=0xb7cab324) at eval.c:259
> #10 0x080584f0 in main (argc=3, argv=0xbfb68df4, envp=0xbfb68e04) at main.c:36
>
> 各スタックフレームを調べてみると、どうも、vm_eval のスタック
> フレームが激しく大きいようです。
>
> (gdb) up
> #1  0x080cd9e5 in onig_search (reg=0x81a7f18, str=0xb7ad5958
> "a", end=0xb7ad5959 "", start=0xbf96bda0 "",
>     range=0xb7ad5959 "", region=0x8164f24, option=0) at
>     regexec.c:3608
> 3608                MATCH_AND_RETURN_CHECK(orig_range);
> (gdb)
> #2  0x080bdbf3 in rb_reg_search (re=3083514820,
> str=3081591120, pos=0, reverse=0) at re.c:1069
> 1069        result = onig_search(RREGEXP(re)->ptr,
> (gdb)
> #3  0x080be85d in reg_match_pos (re=3083514820,
> strp=0xbf96bed4, pos=0) at re.c:2209
> 2209        return rb_reg_search(re, str, pos, 0);
> (gdb)
> #4  0x080be8c3 in rb_reg_match (re=0, str=3081591120) at
> re.c:2256
> 2256        long pos = reg_match_pos(re, &str, 0);
> (gdb)
> #5  0x08109a85 in vm_eval (th=0x8168160, initial=0) at
> insns.def:2014
> 2014        val = rb_reg_match(r, obj);
> (gdb) p $sp
> $3 = (void *) 0xbf96bed0
> (gdb) p $fp
> $4 = (void *) 0xbfb68ab8
> (gdb) p $fp-$sp
> $5 = 2083816
>
> 想像するに、vm_eval のループの中でスタックをどんどん動的に確
> 保していくようなことになっているんじゃないでしょうか。
>
> なお、Debian GNU/Linux (etch) の gcc-3.4 では再現しませんで
> した。
> --
> [田中 哲][たなか あきら][Tanaka Akira]
>
>