From: SASADA Koichi <ko1 atdot.net>
Subject: [yarv-dev:638] Re: thread support
Date: Sun, 02 Oct 2005 18:15:05 +0900

> 　パスカル文字列だっけ、文字列の先頭が長さ、というデータ構造。あんな感じ
> に作り変えたらこの辺の問題は解決するのかな、と少し思いました。ptr が文字
> 列の実体で *((int *)ptr-1) が長さ、とか。配列も同様。

それだと部分文字列の共有ができないんですな。
まあヘッダと実体がくっついているのと別々なのと2種類あってもいいんですが。

> 　前、田中哲さんに指摘されたのですが、Ruby の処理系は SEGV などは *絶対
> に起こらないべきである* （たとえば、call/cc 関連で大量のバグが出たとき、
> これに対応するために大量のコード修正が行われた）と言われたことがあるの
> で、そういう、バグを一切許さないのが Ruby 流なのかなぁ、と思わないでもな
> いです。

言語のコアの部分はもちろんロバストであるべきなんですが、
Cライブラリにはそういう意味での安全性を保証するのが非常に高くつく、
もしくは不可能なAPIを持つものがあります。どこかで妥協するなら、
その妥協ラインをどこに引くかってとこですね。

本当に妥協しないなら、例えばconservative GCはダメだ、ってことにも
なりかねません (メモリが余ってるのにGCできない、という可能性をゼロに
することができないから。以前、Tom Lordがこの論理でprecise GCしかない、
と主張してました)。

--shiro

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml