[ruby-list:27534] Re: RFC: RubyVM

豊福さん、今日は、上手といいます。

>   豊福です。
> 
>   あおきさんの日記で
>     [ruby-talk:10238] RFC: RubyVM 
> という話題があるというのを知ったのですが英語が苦手で
> ついていけません。
>   概要とその後の話の流れについてどなたか解説お願い
> できないですか。
> ---
>                         豊福
>                         [e-mail]


解説はできませんが、気の付いたことだけ。
＃Squeakを調べたことがあるので・・
＃Smalltalker でしたら失礼します

10238で Feldt さんが提案していることの骨子は以下のようです。

1 Ruby上でRuby Program を実行するVMコンポーネント用のモジュール（？）と
ライブラリを作ろう。このコンポーネントにより、Rubyを動かしたい環境用のVM
を構築することできる。

Abstract
--------
We argue for a project to develop a modular and OO library of virtual
machine components for executing Ruby programs in Ruby. The components 
from the library can be assembled to construct custom virtual machines 
suited to particular needs/situations where Ruby programs needs to be 
executed (ie. different platforms with different constraints/trade-offs).

２　それで、これは　Squeakがもう達成していることだから、その手法・技術を
借用できるのではないかと言っているようです。

RubyVM - Ruby's Squeak
----------------------

基本的なアイデアは、Smalltalkの環境であるSqueakと同様のことをすることだ。
The basic idea in this text is that we should do something
similar to the Smalltalk environment Squeak. 

Squeakは高度にポータブルなSmalltalk-80の実装で、そのVMは全てSmalltalkで
書かれており、デバッグ、分析、変更が用意だ。パフォーマンスが必要な時は、
Cプログラムを生成する。
Squeak
is an open, highly-portable Smalltalk-80 implementation whose virtual
machine is written entirely in Smalltalk, making it easy to debug,
analyze, and change. To achieve practical performance, a translator
produces an equivalent C program whose performance is comparable to
commercial Smalltalks." (From www.squeak.org)

Squeakは以下のメインコンポーネントを持つ。
*小さなSmalltalkインタプリタ。このmStは用意にCにコンパイルされる
（コード生成）
*mStからCへのコンパイラコンパイラ。フルSmalltalk。
*Smalltalkライブラリ。

Squeak has the following main components:
  * Smalltalk interpreter written in a subset of Smalltalk (hereafter
  we call it mSt as in micro Smalltalk) that can be easily compiled to C
  * Compiler compiling mSt to C written in "full" Smalltalk
  * Smalltalk libs written in "full" Smalltalk
 
この辺りの詳細については、梅澤さんが下記で紹介していますのでごらん下さい。
＃うまく説明できない。

http://www.mars.dti.ne.jp/~umejava/smalltalk/squeak/index.html

ポイントは・・
＞古くて誰も見向きもしなかったApple Smalltalk上で、新たなSmalltalkのイメー
ジを開発、さらにSmalltalkで書いたSmalltalk Interpreterを、やはり
Smalltalkで書かれたトランスレータでCに変換してコンパイル。コンパイルして
できたVM上で新たなイメージファイルを動かして、またInterpreterをデバック、
それを変換して。。。

＃イメージファイルには、仮想マシンと、インタプリタ、ライブラリが全て含ま
れます。


３　そして、Squeakに沿った形でRubyVMを考える。
In this text, we propose a Ruby project along the lines of Squeak
called RubyVM.

Overview of RubyVM
------------------
Based on Squeak, we think the basic structure of RubyVM should be
something like this:

Cにコンパイル出来るmRb、マイクロRuby言語
* mRb = MicroRubyLanguage, a subset of Ruby with constructs that can
be compiled to static/fast C.

mrbc　mRbコンパイラ、フルRuby。
* mrbc = mRb compiler written in (full) Ruby. Compiles mRb programs to C.

コアVM
* RubyVM-Core = Ruby language/interpreter core components written in mRb.

スタンダードライブラリ
* RubyStdlib in (full) Ruby = Implementing the standard library in Ruby. 
(This should not be a part of RubyVM since MNG
will also have use for it mainly to address I4-I7 above). Some kind of
incremental/bootstrapping would probably be a good thing, ie. describe
dependencies between different classes in RubyStdLib and implement them in 
an order honoring the dependecies.

（では）