[ruby-dev:43997] Re: ThreadGroup#make_local_space!

永井＠知能．九工大です．

From: Yukihiro Matsumoto <[e-mail]>
Subject: [ruby-dev:43994] Re: ThreadGroup#make_local_space!
Date: Thu, 30 Jun 2011 08:11:45 +0900
Message-ID: <[e-mail]>
> |関数的メソッドも使っているような普通の Ruby スクリプトを
> |環境汚染することなくそのまま動かせる環境が欲しいと考えています．
> 
> それをThreadGroupで実現できるか、するべきか、についてはちょっ
> と疑念を持っています。言語レベルで解決されるべきような気がし
> ますし。

言語レベルで解決していただけるなら嬉しいです．

動かしたいスクリプトが複数あったときに，閉じ込める範囲というのをどうす
るか考えた時に，sub thread の生成のことも考えると ThreadGroup の中とい
うのがわかりやすいのではないかと思ったまでです．強制終了させる必要が生
じた場合も管理し易いので．今の Ruby であれば，他所の閉鎖空間が見えない
ように無名 Module に閉じ込める形になりそうで，実際それで十分なのかもし
れませんが，管理のために，実行の際には結局 thread を使うことになるよう
な気がします．

Module を閉鎖空間とみなした上で関数的メソッドもサポートするなら，実行
中の空間のトップレベルとなっているその Module を探して，その Module で
関数的メソッドの文法で定義されたメソッドをObject クラスのメソッド検索
の前に優先的に検索するような仕組を入れてやる必要があると考えます．

そういう仕組を持った Namespace クラスを新たに導入するというのが，一時
的変更や移行は難しくなりそうですが，正しいことなのかもしれません．

現在，どの Namespace で実行しているかを保持するには，多分，VM の保持情
報に立ち入るか，thread に持たせるかになるのではないかと思いますが，間
違っていますか？
VM にまでは立ち入らない範囲で考えると，ThreadGroup に情報を持たせてお
くのが最も Namespace 検索コストがかからないように思います．
で，ThreadGroup に Namespace 情報をもたせるなら，make_local_space! で
のように直接 ThreadGroup に情報を持たせるのと同じことと考えます．

VM が保持する実行環境に Namespace 情報を保持するのであれば，話は別です．

> |これらの問題のすべてを safe level の拡張で対処できるとは思えません．
> |仮に safe level からのアプローチで解決を図るとしても，
> |ThreadGroup が管理単位となって make_local_space! のようなものが
> |必要になるだろうと予想します．
> 
> その点は否定しませんが、make_local_spaceが望ましい解かという
> と自信がありません。

提案した人間が言うのも何ですが，絶対の自信があって提案しているわけでは
ありません．(^_^; 良い案の呼び水になるのであれば，十分です．
-- 
永井 秀利  ([e-mail])
九州工業大学大学院情報工学研究院知能情報工学研究系知能情報メディア部門助教