新城＠筑波大学情報です。こんにちは。

kono@ie.u-ryukyu.ac.jp (Shinji KONO) writes:
> 河野真治 @ 琉球大学情報工学です。
> OSのバグが少ないのは、APIで要求を単純に切っているからです。
> 例えば、TeX と LaTeX ではバグの量が二桁違います。そして、LaTeX
> のバグが完全に取れるなんて思っている人はきっといないし、日々、
> 生成されているってのが現状でしょう。それは、何故でしょう?
> 
> Byte code もそういう切口なので、バグは、Perl Script そのもの
> よりは少なくなるはずだと思います。

たしかに、うまく層を切ると、それぞれの層は単純化されて、作る
のが簡単になるし、それでバグが減るというのはそうでしょう。
昔学生実験で作ったコンパイラも４人部分担して作りました。
字句解析、構文解析＋コード生成、あと、ＶＭ。（あと１人は遊ん
でました。）

LaTeX は、マクロだからプログラムが書きにくいというのはバグの
増産に影響しているでしょう。

> > そうなんですよね。だから、Parrot があれば、「同じOS」が複数
> > のプラットホームで動くという表現に引っ掛かるわけです。
> 
> いや、だからさ、OS の一部だと思えば良いんですよね。そして、
> isolation とかbugを減らす手法を提案して行けば良いわけだ。

言語依存の VM のレベルで isolation を提供してもいいけど、そ
れは「OS」には向かない isolation になっちゃうんじゃないかな。
「OS」向きの isolation は、プロセスなので、主にメモリとUID。
という話なんです。

どんな isolatoin がいいですか。Parrot にはまだ isolation は
ついてないわけですね。

言語レベルの VM でもメモリ(変数含む)の isolation は、まあ普
通はやるでしょうね。

＼＼　新城　靖　（しんじょう　やすし）　＼＼
＼＼　筑波大学　電子・情報　　　　　　　＼＼