[ruby-dev:34312] marshal_dump を使うとダンプ結果が壊れる

日本コントロールシステム(株) 近永と申します。

1.8.6 において、marshal_dump / marshal_load を定義して
Marshal でのダンプを再定義したオブジェクトのダンプ結果が
不正になることがあります。
複数のクラスのオブジェクト間で相互参照があって、サイズが
大きい時に発生します。

経緯は長くなるので端折りますと、どうやら marshal_dump で返した
オブジェクトが GC されてしまい、ダンプ処理の途中で中身が変化して
しまうようです。
GC.disable すると発生しませんし、GC.stress を 1.9 から
バックポートしてみると発生しやすくなりました。

一応以下のように修正すると発生しなくなるのを確認しました。

--- marshal.c.orig     2007-02-13 08:01:19.000000000 +0900
+++ marshal.c.       2008-04-10 22:56:10.000000000 +0900
@@ -502,7 +502,7 @@

        st_add_direct(arg->data, obj, arg->data->num_entries);
        if (rb_respond_to(obj, s_mdump)) {
-           VALUE v;
+           volatile VALUE v;

            v = rb_funcall(obj, s_mdump, 0, 0);
            w_class(TYPE_USRMARSHAL, obj, arg, Qfalse);

ただこの v という変数は直後に w_object の引数に渡しているだけで、
本来は volatile は不要だと理解しておりますので、問題は別のところに
あるのかもしれません。
これ以上はわたしの手に負えそうもないので、報告だけさせて頂きます。

コンパイルした環境は以下のようなものです
OS: Red Hat Enterprise Linux ES release 3 (Taroon Update 8)
CPU:Intel(R) Xeon(R) CPU

% uname -a
Linux compile 2.4.21-47.ELsmp #1 SMP Wed Jul 5 20:38:41 EDT 2006 i686
i686 i386 GNU/Linux

% gcc -v
/usr/local/lib/gcc/i686-pc-linux-gnu/3.4.6/specs から spec を読み込み中
コンフィグオプション: ./configure --program-suffix=-3.4.6
--disable-shared --disable-ada --disable-java --disable-objc :
(reconfigured) ./configure --program-suffix=-3.4.6 --disable-shared
--enable-languages=c,c++,fortran : (reconfigured) ./configure
--program-suffix=-3.4.6 --disable-shared
--enable-languages=c,c++,fortran : (reconfigured) ./configure
--program-suffix=-3.4.6 --disable-shared --enable-languages=c,c++,f77
スレッドモデル: posix
gcc バージョン 3.4.6

実行した環境はコンパイルした環境とは違っていて、下記の通りです。
OS: openSUSE 10.3 (i586)
CPU:Intel(R) Xeon(TM) CPU

% uname -a
Linux running 2.6.22.5-31-default #1 SMP 2007/09/21 22:29:00 UTC i686
i686 i386 GNU/Linux

再現させるデータ、スクリプトは保持しております。

以上、よろしくお願い致します。