他所で落ちないのにウチでは落ちる

時間無いので簡潔に纏めると、

デバッグオプションを設定しておくと、落ちるときは落ちる　http://wiki.monaos.org/index.php?.mjt%2Fmosh%2FGC%20Assertion
デバッグオプションが無いときはとにかくなにか間違った事が起こる
- オブジェクトがすりかわる(skymosh)
- シリアライズしたライブラリがおかしい - http://wiki.monaos.org/index.php?Mosh%2FBugs%2Fserialize-library
- psyntax.hをこっちの環境で作るとたまにコンパイルできないファイルになる(尻切れになる)

ただ、想定できる原因がめちゃくちゃ多い。そもそもこれらの不思議な現象がすべて同じ原因とも言い切れない。

GC_INIT前にgc_*を呼んでいる(たぶん無罪)
- Windowsやマルチスレッド環境以外では問題ないはず。現実にはシングルスレッドのUNIXでも落ちるときは落ちる。
- Windowsで落ちない程度に修正しても落ちるときは落ちる
(そのほかGCの使い方)
- しかし、GC_DONT_GCでもダメらしい*1 - http://wiki.monaos.org/index.php?%A5%B3%A5%E1%A5%F3%A5%C8%2FMosh%2FBugs%2Fserialize-library
何かコンパイル時あるいは実行時に間違ったことが起きている
- gccのバグ
- ライブラリのシリアライザのバグ(new!) - http://wiki.monaos.org/index.php?Mosh%2FBugs%2Fserialize-library
- GCのバグ(VERY unlikely)
実は本当のi386では死なないのかもしれない
- こっちのテスト環境は64bit linux上の32bitエミュレーション環境で、しかもXen(セグメントレジスタの扱いが異なる)。
実はテスト機のメモリがおかしい

しかもリビジョンによっては死なない。
マルチスレッドにしてVM間でオブジェクトを交換しまくるとよく落ちるが、これまた別の要因(そもそもVMクラスがスレッドセーフでない)という可能性も有るのでなんとも言えない。
こういう場合はどこから手をつけるのが正しいのだろうなぁ。。
まぁ大抵の場合は、起きてそうなことから手をつけるのが正しい。つまり、

シリアライザ(やコンパイラ)を他のSchemeに移植して両方で結果を検証するようなのを作る
- (とにかく何か信頼できるポイントが必要。)
シリアライザが生成したFASLバイナリが正しいかを検証する
- (どうするんだろう)
シリアライズしたライブラリは一切使わないで問題が再現するかを試す
- (同上)
GCを無効にしてValgrindしてメモリエラーを探す
- moshはGC_INIT前にgc_*を呼ぶのでValgrindでは動かない*2からそこを修正しないと。。(そして普段はそこを修正して使っている*3のでそこの修正が原因かもしれない)