[ruby-dev:549] Re: optimize (Re: Assigne to special variable)

まつもと ゆきひろです

In message "[ruby-dev:545] Re: optimize (Re: Assigne to special variable)"
    on 97/09/26, "EGUCHI Osamu" <[e-mail]> writes:

|えぐち です。

|> うーん，えぐちさんってすごい人かも．
|
|とーりすがりのものです。

すごい人がとーりがかったわけですね．^^;;;

[546]のBignumのコードなんか見てると尊敬しちゃいます．私の苦
手分野なんでとくにそう思うのかも．

|私も Lisp でがしがし書ける人でないのであれですが、
|COMMON LISP THE LANGAGE (2nd Ed.)なんかを読むと
|言語設計の段階で強烈に最適化を意識して舞うよね。
|
|まつもとさんって、 hogehoge_p() とかするから lisper かと
|思ってました 。で ruby は CLOS の影響かと、、

お察しの通り若干lispがかってます．もっとも私が使うのはemacs
lispだけですけど．CLOSの仕様は昔感動しながら勉強した覚えがあ
りますが，使った事はないです．

| obj = obj + m  --> obj += m
|
|もピープホールの一種じゃないかな、これだけでもエバるときに
|若干手数が減ると思うです？

結局 obj += m は obj = obj + m に戻して評価してますからねえ．
それほど効果は出ないかも．

|また、メソッドのテールリカージョンは可能だとおもいます。

できます？ 昔から野郎と思ってできないでいるんですけど．アイ
ディアだけでも大歓迎です．

|もともとキャッシュしなくても hash(Hashにあらず) を
|クラスのメソッドの探索に使っているので、以上にクラス階層が
|深くならない限りミスキャッシュのランタイムコストは、これ以上
|気にしないでいいと思います。

closed hashなんで失敗検出時間も有限で済みますしね．
じゃあ，この件は忘れましょう．

|> いや，もっと大胆なことを考えています．今のrubyは部分式の評価
|> をrb_eval()の再帰呼出で行っていますが，これを非再帰化すると
|> 言うものです．ただ，そのためにソフトウェアスタックを使う必要
|> が出たりするとかえって遅くなるかも．まだ実装にかかれる程考え
|> がまとまっていません．
|
|＃JavaVM に食べさせようとしてませんか？ (^^)

さすがにそこまでは．

|  例外からの復帰がスタックと整合するか問題ですね。
|  ソフトスタックもThread毎に必要でしょうし、
|  イテレータもスタックに絡まってきそうですね。
|
|この辺の問題が、 setjmp() で一挙に解決してるんで
|「絶妙」だと思ったわけです。（あの volatile は尋常ぢゃない）

volatile多すぎですよね．変数をレジスタに置けないし，もっとも
やってる事が事だけにしょうがないのかも知れませんが．あの巨大
なrb_evalを適当に分割すれば良いのかなあ．

|逆に言うと、ここの default: に来る NODE をなくすとよいと、、
|（多分今は殆ど来ないと思う）

そうですね，なくすとちょっとだけ速くなります．

|> たとえば現在のrubyではwhileなどの単純ループやclass/module定
|> 義などでもsetjmpを使っています．この辺はパーザとの連係で減ら
|> せるのではないかと考えています．そのためにはrb_evalの非再帰
|> 化が必要そうですけど．
|
|ですね、このあいだの _setjmp() への変更で、なぜにあんなに
|スピードが変わるかわかったような気がします。
|x86 や sparc は setjmp() で数十バイトしか退去しませんが
|mips や amd29000 のようなレジスタマシンだと１Ｋバイト
|前後の退去が起こるので、setjmp() の多様はつらいかもしれません。
|
|時流としては、シリコンでのレジスタは増やしてもインストラクションは
|比較的少ない（と行っても３２本ぐらい）のレジスタにしてそれを
|レジスタリネーミングで投機実行の先行実行にあてがうのがメインストリートに
|なってきたので setjmp() のコストが爆発することはないでしょう。
|（でも VLIW が流行ったらまずいかも）

|ruby のスレッドって１０ｍｓでスケジューラ呼んでますよネ
|これにプライオリティエンコード付けるとメモリ保護無しですが、
|いっぱしのマルチタスク環境になりますね。

100msです．10msだとスケジューラが重すぎて，まともに動かない
と思います．で，プライオリティはやればできるけど，今は要らな
いかなあと思って放ってます．

|＃その前に非同期ＩＯを実装しないと、、

それにCコード実行中にはスイッチが起きないし…．

|正規表現ってあれで独立した言語みたいなものだから手強いです。

ですねえ．私には歯が立ちそうにないです．

				まつもと ゆきひろ /:|)