From fa5446f14e0c57037432911745944da11f570945 Mon Sep 17 00:00:00 2001 From: ayumin Date: Thu, 8 Sep 2011 17:09:30 +0000 Subject: * template/yarvarch.ja: Change encoding from Shift-JIS to UTF-8 git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@33230 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- template/yarvarch.ja | 402 +++++++++++++++++++++++++-------------------------- 1 file changed, 201 insertions(+), 201 deletions(-) (limited to 'template') diff --git a/template/yarvarch.ja b/template/yarvarch.ja index c332c20811..bb90f0c0d2 100644 --- a/template/yarvarch.ja +++ b/template/yarvarch.ja @@ -1,17 +1,17 @@ -#title YARVアーキテクチャ -#set author 日本 Ruby の会 ささだこういち +#title YARV繧｢繝ｼ繧ｭ繝繧ｯ繝√Ε +#set author 譌･譛ｬ Ruby 縺ｮ莨 縺輔＆縺縺薙≧縺縺｡ -- 2005-03-03(Thu) 00:31:12 +0900 いろいろと書き直し +- 2005-03-03(Thu) 00:31:12 +0900 縺繧阪＞繧阪→譖ｸ縺咲峩縺 ---- -* これは？ +* 縺薙ｌ縺ｯｼ -[[YARV: Yet Another RubyVM|http://www.atdot.net/yarv]] の 設計メモです。 +[[YARV: Yet Another RubyVM|http://www.atdot.net/yarv]] 縺ｮ 險ｭ險医Γ繝｢縺ｧ縺吶 -YARV は、Ruby プログラムのための次の機能を提供します。 +YARV 縺ｯ縲ヽuby 繝励Ο繧ｰ繝ｩ繝縺ｮ縺溘ａ縺ｮ谺｡縺ｮ讖溯ｽ繧呈署萓帙＠縺ｾ縺吶 - Compiler - VM Generator @@ -22,72 +22,72 @@ YARV - (experimental) AOT Compiler -現在の YARV は Ruby インタプリタの拡張ライブラリとして実装しています。こ -れにより、Ruby インタプリタの必要な機能（パーサ、オブジェクト管理、既存 -の拡張ライブラリ）などがほぼそのまま利用できます。 +迴ｾ蝨ｨ縺ｮ YARV 縺ｯ Ruby 繧､繝ｳ繧ｿ繝励Μ繧ｿ縺ｮ諡｡蠑ｵ繝ｩ繧､繝悶Λ繝ｪ縺ｨ縺励※螳溯｣縺励※縺縺ｾ縺吶ゅ％ +繧後↓繧医ｊ縲ヽuby 繧､繝ｳ繧ｿ繝励Μ繧ｿ縺ｮ蠢隕√↑讖溯ｽｼ医ヱ繝ｼ繧ｵ縲√が繝悶ず繧ｧ繧ｯ繝育ｮ｡逅縲∵里蟄 +縺ｮ諡｡蠑ｵ繝ｩ繧､繝悶Λ繝ｪｼ峨↑縺ｩ縺後⊇縺ｼ縺昴ｮ縺ｾ縺ｾ蛻ｩ逕ｨ縺ｧ縺阪∪縺吶 -ただし、いくつかのパッチを Ruby インタプリタに当てなければなりません。 +縺溘□縺励√＞縺上▽縺九ｮ繝代ャ繝√ｒ Ruby 繧､繝ｳ繧ｿ繝励Μ繧ｿ縺ｫ蠖薙※縺ｪ縺代ｌ縺ｰ縺ｪ繧翫∪縺帙ｓ縲 -今後は、Ruby 本体のインタプリタ部分（eval.c）を置き換えることを目指して -開発を継続する予定です。 +莉雁ｾ後ｯ縲ヽuby 譛ｬ菴薙ｮ繧､繝ｳ繧ｿ繝励Μ繧ｿ驛ｨ蛻ｼeval.cｼ峨ｒ鄂ｮ縺肴鋤縺医ｋ縺薙→繧堤岼謖縺励※ +髢狗匱繧堤ｶ咏ｶ壹☆繧倶ｺ亥ｮ壹〒縺吶 * Compiler (compile.h, compile.c) -コンパイラは、Ruby インタプリタのパーサによって生成された構文木（RNode -データによる木）を YARV 命令列に変換します。YARV 命令については後述しま -す。 +繧ｳ繝ｳ繝代う繝ｩ縺ｯ縲ヽuby 繧､繝ｳ繧ｿ繝励Μ繧ｿ縺ｮ繝代ｼ繧ｵ縺ｫ繧医▲縺ｦ逕滓舌＆繧後◆讒区枚譛ｨｼRNode +繝繝ｼ繧ｿ縺ｫ繧医ｋ譛ｨｼ峨ｒ YARV 蜻ｽ莉､蛻励↓螟画鋤縺励∪縺吶YARV 蜻ｽ莉､縺ｫ縺､縺縺ｦ縺ｯ蠕瑚ｿｰ縺励∪ +縺吶 -とくに難しいことはしていませんが、スコープなどの開始時にローカル変数の初 -期化などを行い、あとは構文木を辿り変換していきます。 +縺ｨ縺上↓髮｣縺励＞縺薙→縺ｯ縺励※縺縺ｾ縺帙ｓ縺後√せ繧ｳ繝ｼ繝励↑縺ｩ縺ｮ髢句ｧ区凾縺ｫ繝ｭ繝ｼ繧ｫ繝ｫ螟画焚縺ｮ蛻 +譛溷喧縺ｪ縺ｩ繧定｡後＞縲√≠縺ｨ縺ｯ讒区枚譛ｨ繧定ｾｿ繧雁､画鋤縺励※縺縺阪∪縺吶 -変換中は Ruby の Array オブジェクトに YARV 命令オブジェクト、およびオペ -ランドを格納していき、最後に実行できる形に変換します。コンパイラでは、コ -ンパイル中に生成するメモリ領域の管理が問題になることがありますが、YARV -の場合、Ruby インタプリタがすべて面倒をみてくれるのでこの部分は非常に楽 -に作ることができました（ガーベージコレクタによって自動的にメモリ管理をし -てくれるため）。 +螟画鋤荳ｭ縺ｯ Ruby 縺ｮ Array 繧ｪ繝悶ず繧ｧ繧ｯ繝医↓ YARV 蜻ｽ莉､繧ｪ繝悶ず繧ｧ繧ｯ繝医√♀繧医ｳ繧ｪ繝 +繝ｩ繝ｳ繝峨ｒ譬ｼ邏阪＠縺ｦ縺縺阪∵怙蠕後↓螳溯｡後〒縺阪ｋ蠖｢縺ｫ螟画鋤縺励∪縺吶ゅさ繝ｳ繝代う繝ｩ縺ｧ縺ｯ縲√さ +繝ｳ繝代う繝ｫ荳ｭ縺ｫ逕滓舌☆繧九Γ繝｢繝ｪ鬆伜沺縺ｮ邂｡逅縺悟撫鬘後↓縺ｪ繧九％縺ｨ縺後≠繧翫∪縺吶′縲〆ARV +縺ｮ蝣ｴ蜷医ヽuby 繧､繝ｳ繧ｿ繝励Μ繧ｿ縺後☆縺ｹ縺ｦ髱｢蛟偵ｒ縺ｿ縺ｦ縺上ｌ繧九ｮ縺ｧ縺薙ｮ驛ｨ蛻縺ｯ髱槫ｸｸ縺ｫ讌ｽ +縺ｫ菴懊ｋ縺薙→縺後〒縺阪∪縺励◆ｼ医ぎ繝ｼ繝吶ｼ繧ｸ繧ｳ繝ｬ繧ｯ繧ｿ縺ｫ繧医▲縺ｦ閾ｪ蜍慕噪縺ｫ繝｡繝｢繝ｪ邂｡逅繧偵＠ +縺ｦ縺上ｌ繧九◆繧ｼ峨 -YARV 命令は、命令を示す識別子、オペランドなど、すべて 1 word （マシンで -表現できる自然な値。C 言語ではポインタのサイズ。Ruby インタプリタ用語で -は VALUE のサイズ）で表現されます。そのため、YARV 命令はいわゆる「バイト -コード」ではありません。そのため、YARV の説明などでは「命令列」という用 -語を使っています。 +YARV 蜻ｽ莉､縺ｯ縲∝多莉､繧堤､ｺ縺呵ｭ伜挨蟄舌√が繝壹Λ繝ｳ繝峨↑縺ｩ縲√☆縺ｹ縺ｦ 1 word ｼ医槭す繝ｳ縺ｧ +陦ｨ迴ｾ縺ｧ縺阪ｋ閾ｪ辟ｶ縺ｪ蛟､縲C 險隱槭〒縺ｯ繝昴う繝ｳ繧ｿ縺ｮ繧ｵ繧､繧ｺ縲３uby 繧､繝ｳ繧ｿ繝励Μ繧ｿ逕ｨ隱槭〒 +縺ｯ VALUE 縺ｮ繧ｵ繧､繧ｺｼ峨〒陦ｨ迴ｾ縺輔ｌ縺ｾ縺吶ゅ◎縺ｮ縺溘ａ縲〆ARV 蜻ｽ莉､縺ｯ縺繧上ｆ繧九後ヰ繧､繝 +繧ｳ繝ｼ繝峨阪〒縺ｯ縺ゅｊ縺ｾ縺帙ｓ縲ゅ◎縺ｮ縺溘ａ縲〆ARV 縺ｮ隱ｬ譏弱↑縺ｩ縺ｧ縺ｯ縲悟多莉､蛻励阪→縺縺逕ｨ +隱槭ｒ菴ｿ縺｣縺ｦ縺縺ｾ縺吶 -1 word であるため、メモリの利用効率は多少悪くなりますが、アクセス速度な -どを考慮すると、本方式が一番いいと考えております。たとえばオペランドをコ -ンスタントプールに格納し、インデックスのみをオペランドで示すことも可能で -すが、間接アクセスになってしまうので性能に影響が出るため、却下しました。 +1 word 縺ｧ縺ゅｋ縺溘ａ縲√Γ繝｢繝ｪ縺ｮ蛻ｩ逕ｨ蜉ｹ邇縺ｯ螟壼ｰ第が縺上↑繧翫∪縺吶′縲√い繧ｯ繧ｻ繧ｹ騾溷ｺｦ縺ｪ +縺ｩ繧定諷ｮ縺吶ｋ縺ｨ縲∵悽譁ｹ蠑上′荳逡ｪ縺縺縺ｨ閠縺医※縺翫ｊ縺ｾ縺吶ゅ◆縺ｨ縺医ｰ繧ｪ繝壹Λ繝ｳ繝峨ｒ繧ｳ +繝ｳ繧ｹ繧ｿ繝ｳ繝医励ｼ繝ｫ縺ｫ譬ｼ邏阪＠縲√う繝ｳ繝繝繧ｯ繧ｹ縺ｮ縺ｿ繧偵が繝壹Λ繝ｳ繝峨〒遉ｺ縺吶％縺ｨ繧ょ庄閭ｽ縺ｧ +縺吶′縲髢捺磁繧｢繧ｯ繧ｻ繧ｹ縺ｫ縺ｪ縺｣縺ｦ縺励∪縺縺ｮ縺ｧ諤ｧ閭ｽ縺ｫ蠖ｱ髻ｿ縺悟ｺ繧九◆繧√∝唆荳九＠縺ｾ縺励◆縲 * VM Generator (rb/insns2vm.rb, insns.def) -rb/insns2vm.rb というスクリプトは、insns.def というファイルを読み込み、 -VM のために必要なファイルを生成します。具体的には、命令を実行する部分を -生成しますが、ほかにもコンパイルに必要な情報、最適化に必要な情報、やアセ -ンブラ、逆アセンブラに必要な情報を示すファイルも生成します。 +rb/insns2vm.rb 縺ｨ縺縺繧ｹ繧ｯ繝ｪ繝励ヨ縺ｯ縲（nsns.def 縺ｨ縺縺繝輔ぃ繧､繝ｫ繧定ｪｭ縺ｿ霎ｼ縺ｿ縲 +VM 縺ｮ縺溘ａ縺ｫ蠢隕√↑繝輔ぃ繧､繝ｫ繧堤函謌舌＠縺ｾ縺吶ょｷ菴鍋噪縺ｫ縺ｯ縲∝多莉､繧貞ｮ溯｡後☆繧矩Κ蛻繧 +逕滓舌＠縺ｾ縺吶′縲√⊇縺九↓繧ゅさ繝ｳ繝代う繝ｫ縺ｫ蠢隕√↑諠蝣ｱ縲∵怙驕ｩ蛹悶↓蠢隕√↑諠蝣ｱ縲√ｄ繧｢繧ｻ +繝ｳ繝悶Λ縲騾繧｢繧ｻ繝ｳ繝悶Λ縺ｫ蠢隕√↑諠蝣ｱ繧堤､ｺ縺吶ヵ繧｡繧､繝ｫ繧ら函謌舌＠縺ｾ縺吶 -** 命令記述 +** 蜻ｽ莉､險倩ｿｰ -insns.def には、各命令がどのような命令であるかを記述します。具体的には次 -の情報を記述します。 +insns.def 縺ｫ縺ｯ縲∝推蜻ｽ莉､縺後←縺ｮ繧医≧縺ｪ蜻ｽ莉､縺ｧ縺ゅｋ縺九ｒ險倩ｿｰ縺励∪縺吶ょｷ菴鍋噪縺ｫ縺ｯ谺｡ +縺ｮ諠蝣ｱ繧定ｨ倩ｿｰ縺励∪縺吶 -- 命令の名前 -- その命令のカテゴリ、コメント（英語、日本語） -- オペランドの名前 -- その命令実行前にスタックからポップする値 -- その命令実行後にスタックにプッシュする値 -- その命令のロジック（C 言語で記述） +- 蜻ｽ莉､縺ｮ蜷榊燕 +- 縺昴ｮ蜻ｽ莉､縺ｮ繧ｫ繝繧ｴ繝ｪ縲√さ繝｡繝ｳ繝茨ｼ郁恭隱槭∵律譛ｬ隱橸ｼ +- 繧ｪ繝壹Λ繝ｳ繝峨ｮ蜷榊燕 +- 縺昴ｮ蜻ｽ莉､螳溯｡悟燕縺ｫ繧ｹ繧ｿ繝繧ｯ縺九ｉ繝昴ャ繝励☆繧句､ +- 縺昴ｮ蜻ｽ莉､螳溯｡悟ｾ後↓繧ｹ繧ｿ繝繧ｯ縺ｫ繝励ャ繧ｷ繝･縺吶ｋ蛟､ +- 縺昴ｮ蜻ｽ莉､縺ｮ繝ｭ繧ｸ繝繧ｯｼC 險隱槭〒險倩ｿｰｼ -たとえば、スタックに self をおく putself という命令は次のように記述しま -す。 +縺溘→縺医ｰ縲√せ繧ｿ繝繧ｯ縺ｫ self 繧偵♀縺 putself 縺ｨ縺縺蜻ｽ莉､縺ｯ谺｡縺ｮ繧医≧縺ｫ險倩ｿｰ縺励∪ +縺吶 #code /** @c put @e put self. - @j self を置く。 + @j self 繧堤ｽｮ縺上 */ DEFINE_INSN putself @@ -99,36 +99,36 @@ putself } #end -この場合、オペランドと、スタックからポップする値は無いことになります。命 -令終了後、self をスタックトップに置きたいわけですが、それは val という、 -スタックにプッシュする値として宣言しておいた変数に代入しておくことで、こ -れを変換するとスタックトップに置く C プログラムが生成されます。 +縺薙ｮ蝣ｴ蜷医√が繝壹Λ繝ｳ繝峨→縲√せ繧ｿ繝繧ｯ縺九ｉ繝昴ャ繝励☆繧句､縺ｯ辟｡縺縺薙→縺ｫ縺ｪ繧翫∪縺吶ょ多 +莉､邨ゆｺ蠕後《elf 繧偵せ繧ｿ繝繧ｯ繝医ャ繝励↓鄂ｮ縺阪◆縺繧上¢縺ｧ縺吶′縲√◎繧後ｯ val 縺ｨ縺縺縲 +繧ｹ繧ｿ繝繧ｯ縺ｫ繝励ャ繧ｷ繝･縺吶ｋ蛟､縺ｨ縺励※螳｣險縺励※縺翫＞縺溷､画焚縺ｫ莉｣蜈･縺励※縺翫￥縺薙→縺ｧ縲√％ +繧後ｒ螟画鋤縺吶ｋ縺ｨ繧ｹ繧ｿ繝繧ｯ繝医ャ繝励↓鄂ｮ縺 C 繝励Ο繧ｰ繝ｩ繝縺檎函謌舌＆繧後∪縺吶 -細かいフォーマットは insns.def の冒頭を参照してください。そんなに難しく -ないと思います。 +邏ｰ縺九＞繝輔か繝ｼ繝槭ャ繝医ｯ insns.def 縺ｮ蜀帝ｭ繧貞盾辣ｧ縺励※縺上□縺輔＞縲ゅ◎繧薙↑縺ｫ髮｣縺励￥ +縺ｪ縺縺ｨ諤昴＞縺ｾ縺吶 -insnhelper.h というファイルに、命令ロジックを記述するために必要なマクロ -が定義されています。また、VM の内部構造に関する定義は vm.h というファイ -ルにあります。 +insnhelper.h 縺ｨ縺縺繝輔ぃ繧､繝ｫ縺ｫ縲∝多莉､繝ｭ繧ｸ繝繧ｯ繧定ｨ倩ｿｰ縺吶ｋ縺溘ａ縺ｫ蠢隕√↑繝槭け繝ｭ +縺悟ｮ夂ｾｩ縺輔ｌ縺ｦ縺縺ｾ縺吶ゅ∪縺溘〃M 縺ｮ蜀驛ｨ讒矩縺ｫ髢｢縺吶ｋ螳夂ｾｩ縺ｯ vm.h 縺ｨ縺縺繝輔ぃ繧､ +繝ｫ縺ｫ縺ゅｊ縺ｾ縺吶 * VM (Virtual Machine, vm.h, vm.c) -VM は、実際にコンパイルした結果生成される YARV 命令列を実行します。まさ -に、この部分が YARV のキモになり、将来的には eval.c をこの VM で置き換え -たいと考えています。 +VM 縺ｯ縲∝ｮ滄圀縺ｫ繧ｳ繝ｳ繝代う繝ｫ縺励◆邨先棡逕滓舌＆繧後ｋ YARV 蜻ｽ莉､蛻励ｒ螳溯｡後＠縺ｾ縺吶ゅ∪縺 +縺ｫ縲√％縺ｮ驛ｨ蛻縺 YARV 縺ｮ繧ｭ繝｢縺ｫ縺ｪ繧翫∝ｰ譚･逧縺ｫ縺ｯ eval.c 繧偵％縺ｮ VM 縺ｧ鄂ｮ縺肴鋤縺 +縺溘＞縺ｨ閠縺医※縺縺ｾ縺吶 -現在の Ruby インタプリタで実行できるすべてのことが、この VM で実現できる -ように作っています（現段階ではまだ完全ではありませんが、そうなるべきです）。 +迴ｾ蝨ｨ縺ｮ Ruby 繧､繝ｳ繧ｿ繝励Μ繧ｿ縺ｧ螳溯｡後〒縺阪ｋ縺吶∋縺ｦ縺ｮ縺薙→縺後√％縺ｮ VM 縺ｧ螳溽樟縺ｧ縺阪ｋ +繧医≧縺ｫ菴懊▲縺ｦ縺縺ｾ縺呻ｼ育樟谿ｵ髫弱〒縺ｯ縺ｾ縺螳悟ｨ縺ｧ縺ｯ縺ゅｊ縺ｾ縺帙ｓ縺後√◎縺縺ｪ繧九∋縺阪〒縺呻ｼ峨 -VM は、単純なスタックマシンとして実装しています。スレッドひとつにスタッ -クひとつを保持します。スタックの領域はヒープから取得するので、柔軟な領域 -設定が可能です。 +VM 縺ｯ縲∝腰邏斐↑繧ｹ繧ｿ繝繧ｯ繝槭す繝ｳ縺ｨ縺励※螳溯｣縺励※縺縺ｾ縺吶ゅせ繝ｬ繝繝峨ｲ縺ｨ縺､縺ｫ繧ｹ繧ｿ繝 +繧ｯ縺ｲ縺ｨ縺､繧剃ｿ晄戟縺励∪縺吶ゅせ繧ｿ繝繧ｯ縺ｮ鬆伜沺縺ｯ繝偵ｼ繝励°繧牙叙蠕励☆繧九ｮ縺ｧ縲∵沐霆溘↑鬆伜沺 +險ｭ螳壹′蜿ｯ閭ｽ縺ｧ縺吶 -** レジスタ +** 繝ｬ繧ｸ繧ｹ繧ｿ -VM は 5 つの仮想的なレジスタによって制御されます。 +VM 縺ｯ 5 縺､縺ｮ莉ｮ諠ｳ逧縺ｪ繝ｬ繧ｸ繧ｹ繧ｿ縺ｫ繧医▲縺ｦ蛻ｶ蠕｡縺輔ｌ縺ｾ縺吶 - PC (Program Counter) - SP (Stack Pointer) @@ -136,77 +136,77 @@ VM - LFP (Local Frame Pointer) - DFP (Dynamic Frame Pointer) -PC は現在実行中の命令列の位置を示します。SP はスタックトップの位置を示し -ます。CFP、LFP、DFP はそれぞれフレームの情報を示します。詳細は後述します。 +PC 縺ｯ迴ｾ蝨ｨ螳溯｡御ｸｭ縺ｮ蜻ｽ莉､蛻励ｮ菴咲ｽｮ繧堤､ｺ縺励∪縺吶４P 縺ｯ繧ｹ繧ｿ繝繧ｯ繝医ャ繝励ｮ菴咲ｽｮ繧堤､ｺ縺 +縺ｾ縺吶CFP縲´FP縲．FP 縺ｯ縺昴ｌ縺槭ｌ繝輔Ξ繝ｼ繝縺ｮ諠蝣ｱ繧堤､ｺ縺励∪縺吶りｩｳ邏ｰ縺ｯ蠕瑚ｿｰ縺励∪縺吶 -** スタックフレーム +** 繧ｹ繧ｿ繝繧ｯ繝輔Ξ繝ｼ繝 obsolete (update soon) -** フレームデザインについての補足 +** 繝輔Ξ繝ｼ繝繝繧ｶ繧､繝ｳ縺ｫ縺､縺縺ｦ縺ｮ陬懆ｶｳ -Lisp の処理系などをかんがえると、わざわざブロックローカルフレームとメソ -ッドローカルフレームのようなものを用意するのは奇異に見えるかもしれません。 -あるフレームを、入れ子構造にして、ローカル変数のアクセスはその入れ子を外 -側に辿れば必ずたどり着くことができるからです（つまり、lfp は必要ない）。 +Lisp 縺ｮ蜃ｦ逅邉ｻ縺ｪ縺ｩ繧偵°繧薙′縺医ｋ縺ｨ縲√ｏ縺悶ｏ縺悶ヶ繝ｭ繝繧ｯ繝ｭ繝ｼ繧ｫ繝ｫ繝輔Ξ繝ｼ繝縺ｨ繝｡繧ｽ +繝繝峨Ο繝ｼ繧ｫ繝ｫ繝輔Ξ繝ｼ繝縺ｮ繧医≧縺ｪ繧ゅｮ繧堤畑諢上☆繧九ｮ縺ｯ螂逡ｰ縺ｫ隕九∴繧九°繧ゅ＠繧後∪縺帙ｓ縲 +縺ゅｋ繝輔Ξ繝ｼ繝繧偵∝･繧悟ｭ先ｧ矩縺ｫ縺励※縲√Ο繝ｼ繧ｫ繝ｫ螟画焚縺ｮ繧｢繧ｯ繧ｻ繧ｹ縺ｯ縺昴ｮ蜈･繧悟ｭ舌ｒ螟 +蛛ｴ縺ｫ霎ｿ繧後ｰ蠢縺壹◆縺ｩ繧顔捩縺上％縺ｨ縺後〒縺阪ｋ縺九ｉ縺ｧ縺呻ｼ医▽縺ｾ繧翫〕fp 縺ｯ蠢隕√↑縺ｼ峨 -しかし、Ruby ではいくつか状況が違います。まず、メソッドローカルな情報が -あること、具体的にはブロックとself（callee からみると reciever）です。こ -の情報をそれぞれのフレームにもたせるのは無駄です。 +縺励°縺励ヽuby 縺ｧ縺ｯ縺縺上▽縺狗憾豕√′驕輔＞縺ｾ縺吶ゅ∪縺壹√Γ繧ｽ繝繝峨Ο繝ｼ繧ｫ繝ｫ縺ｪ諠蝣ｱ縺 +縺ゅｋ縺薙→縲∝ｷ菴鍋噪縺ｫ縺ｯ繝悶Ο繝繧ｯ縺ｨselfｼcallee 縺九ｉ縺ｿ繧九→ recieverｼ峨〒縺吶ゅ％ +縺ｮ諠蝣ｱ繧偵◎繧後◇繧後ｮ繝輔Ξ繝ｼ繝縺ｫ繧ゅ◆縺帙ｋ縺ｮ縺ｯ辟｡鬧縺ｧ縺吶 -また、Ruby2.0 からはブロックローカル変数はなくなります（ブロックローカル -引数は残るので、構造自体はあまり変わりません）。そのため、メソッドローカ -ル変数へのアクセスが頻発することが予想されます。 +縺ｾ縺溘ヽuby2.0 縺九ｉ縺ｯ繝悶Ο繝繧ｯ繝ｭ繝ｼ繧ｫ繝ｫ螟画焚縺ｯ縺ｪ縺上↑繧翫∪縺呻ｼ医ヶ繝ｭ繝繧ｯ繝ｭ繝ｼ繧ｫ繝ｫ +蠑墓焚縺ｯ谿九ｋ縺ｮ縺ｧ縲∵ｧ矩閾ｪ菴薙ｯ縺ゅ∪繧雁､峨ｏ繧翫∪縺帙ｓｼ峨ゅ◎縺ｮ縺溘ａ縲√Γ繧ｽ繝繝峨Ο繝ｼ繧ｫ +繝ｫ螟画焚縺ｸ縺ｮ繧｢繧ｯ繧ｻ繧ｹ縺碁ｻ逋ｺ縺吶ｋ縺薙→縺御ｺ域Φ縺輔ｌ縺ｾ縺吶 -このとき、メソッドローカル変数へのアクセスのたびにフレーム（スコープ）の -リストをたどるのは無駄であると判断し、明示的にメソッドローカルスコープと -ブロックフレームを分離し、ブロックフレームからはメソッドローカルフレーム -が lfpレジスタによって容易にアクセスできるようにしました。 +縺薙ｮ縺ｨ縺阪√Γ繧ｽ繝繝峨Ο繝ｼ繧ｫ繝ｫ螟画焚縺ｸ縺ｮ繧｢繧ｯ繧ｻ繧ｹ縺ｮ縺溘ｳ縺ｫ繝輔Ξ繝ｼ繝ｼ医せ繧ｳ繝ｼ繝暦ｼ峨ｮ +繝ｪ繧ｹ繝医ｒ縺溘←繧九ｮ縺ｯ辟｡鬧縺ｧ縺ゅｋ縺ｨ蛻､譁ｭ縺励∵守､ｺ逧縺ｫ繝｡繧ｽ繝繝峨Ο繝ｼ繧ｫ繝ｫ繧ｹ繧ｳ繝ｼ繝励→ +繝悶Ο繝繧ｯ繝輔Ξ繝ｼ繝繧貞髮｢縺励√ヶ繝ｭ繝繧ｯ繝輔Ξ繝ｼ繝縺九ｉ縺ｯ繝｡繧ｽ繝繝峨Ο繝ｼ繧ｫ繝ｫ繝輔Ξ繝ｼ繝 +縺 lfp繝ｬ繧ｸ繧ｹ繧ｿ縺ｫ繧医▲縺ｦ螳ｹ譏薙↓繧｢繧ｯ繧ｻ繧ｹ縺ｧ縺阪ｋ繧医≧縺ｫ縺励∪縺励◆縲 -** メソッド呼び出しについて +** 繝｡繧ｽ繝繝牙他縺ｳ蜃ｺ縺励↓縺､縺縺ｦ -メソッド呼び出しは、YARV 命令列で記述されたメソッドか、C で記述されたメ -ソッドかによってディスパッチ手法が変わります。 +繝｡繧ｽ繝繝牙他縺ｳ蜃ｺ縺励ｯ縲〆ARV 蜻ｽ莉､蛻励〒險倩ｿｰ縺輔ｌ縺溘Γ繧ｽ繝繝峨°縲， 縺ｧ險倩ｿｰ縺輔ｌ縺溘Γ +繧ｽ繝繝峨°縺ｫ繧医▲縺ｦ繝繧｣繧ｹ繝代ャ繝∵焔豕輔′螟峨ｏ繧翫∪縺吶 -YARV 命令列であった場合、上述したスタックフレームを作成して命令を継続し -ます。とくに VM の関数を再帰呼び出すすることは行ないません。 +YARV 蜻ｽ莉､蛻励〒縺ゅ▲縺溷ｴ蜷医∽ｸ願ｿｰ縺励◆繧ｹ繧ｿ繝繧ｯ繝輔Ξ繝ｼ繝繧剃ｽ懈舌＠縺ｦ蜻ｽ莉､繧堤ｶ咏ｶ壹＠ +縺ｾ縺吶ゅ→縺上↓ VM 縺ｮ髢｢謨ｰ繧貞榊ｸｰ蜻ｼ縺ｳ蜃ｺ縺吶☆繧九％縺ｨ縺ｯ陦後↑縺縺ｾ縺帙ｓ縲 -C で記述されたメソッドだった場合、単純にその関数を呼び出します（ただし、 -バックトレースを正しく生成するためにメソッド呼び出しの情報を付加してから -行ないます）。 +C 縺ｧ險倩ｿｰ縺輔ｌ縺溘Γ繧ｽ繝繝峨□縺｣縺溷ｴ蜷医∝腰邏斐↓縺昴ｮ髢｢謨ｰ繧貞他縺ｳ蜃ｺ縺励∪縺呻ｼ医◆縺縺励 +繝舌ャ繧ｯ繝医Ξ繝ｼ繧ｹ繧呈ｭ｣縺励￥逕滓舌☆繧九◆繧√↓繝｡繧ｽ繝繝牙他縺ｳ蜃ｺ縺励ｮ諠蝣ｱ繧剃ｻ伜刈縺励※縺九ｉ +陦後↑縺縺ｾ縺呻ｼ峨 -このため、VM 用スタックを別途用意したものの、プログラムによってはマシン -スタックを使い切ってしまう可能性があります（C -> Ruby -> C -> ... という -呼び出しが続いた場合）。これは、現在では避けられない仕様となっています。 +縺薙ｮ縺溘ａ縲〃M 逕ｨ繧ｹ繧ｿ繝繧ｯ繧貞挨騾皮畑諢上＠縺溘ｂ縺ｮ縺ｮ縲√励Ο繧ｰ繝ｩ繝縺ｫ繧医▲縺ｦ縺ｯ繝槭す繝ｳ +繧ｹ繧ｿ繝繧ｯ繧剃ｽｿ縺蛻縺｣縺ｦ縺励∪縺蜿ｯ閭ｽ諤ｧ縺後≠繧翫∪縺呻ｼC -> Ruby -> C -> ... 縺ｨ縺縺 +蜻ｼ縺ｳ蜃ｺ縺励′邯壹＞縺溷ｴ蜷茨ｼ峨ゅ％繧後ｯ縲∫樟蝨ｨ縺ｧ縺ｯ驕ｿ縺代ｉ繧後↑縺莉墓ｧ倥→縺ｪ縺｣縺ｦ縺縺ｾ縺吶 -** 例外 +** 萓句､ -例外は、Java の JVM と同様に例外テーブルを用意することで実現します。例外 -が発生したら、当該フレームを、例外テーブルを検査します。そこで、例外が発 -生したときの PC の値に合致するエントリがあった場合、そのエントリに従って -動作します。もしエントリが見つからなかった場合、スタックを撒き戻してまた -同様にそのスコープの例外テーブルを検査します。 +萓句､悶ｯ縲゛ava 縺ｮ JVM 縺ｨ蜷梧ｧ倥↓萓句､悶ユ繝ｼ繝悶Ν繧堤畑諢上☆繧九％縺ｨ縺ｧ螳溽樟縺励∪縺吶ゆｾ句､ +縺檎匱逕溘＠縺溘ｉ縲∝ｽ楢ｩｲ繝輔Ξ繝ｼ繝繧偵∽ｾ句､悶ユ繝ｼ繝悶Ν繧呈､懈渊縺励∪縺吶ゅ◎縺薙〒縲∽ｾ句､悶′逋ｺ +逕溘＠縺溘→縺阪ｮ PC 縺ｮ蛟､縺ｫ蜷郁ｴ縺吶ｋ繧ｨ繝ｳ繝医Μ縺後≠縺｣縺溷ｴ蜷医√◎縺ｮ繧ｨ繝ｳ繝医Μ縺ｫ蠕薙▲縺ｦ +蜍穂ｽ懊＠縺ｾ縺吶ゅｂ縺励お繝ｳ繝医Μ縺瑚ｦ九▽縺九ｉ縺ｪ縺九▲縺溷ｴ蜷医√せ繧ｿ繝繧ｯ繧呈鋳縺肴綾縺励※縺ｾ縺 +蜷梧ｧ倥↓縺昴ｮ繧ｹ繧ｳ繝ｼ繝励ｮ萓句､悶ユ繝ｼ繝悶Ν繧呈､懈渊縺励∪縺吶 -また、break、return（ブロック中）、retry なども同様の仕組みで実現します。 +縺ｾ縺溘｜reak縲〉eturnｼ医ヶ繝ｭ繝繧ｯ荳ｭｼ峨〉etry 縺ｪ縺ｩ繧ょ酔讒倥ｮ莉慕ｵ縺ｿ縺ｧ螳溽樟縺励∪縺吶 -*** 例外テーブル +*** 萓句､悶ユ繝ｼ繝悶Ν -例外テーブルエントリは具体的には次の情報が格納されています。 +萓句､悶ユ繝ｼ繝悶Ν繧ｨ繝ｳ繝医Μ縺ｯ蜈ｷ菴鍋噪縺ｫ縺ｯ谺｡縺ｮ諠蝣ｱ縺梧ｼ邏阪＆繧後※縺縺ｾ縺吶 -- 対象とする PC の範囲 -- 対象とする例外の種類 -- もし対象となったときにジャンプする先（種類による） -- もし対象となったときに起動するブロックの iseq +- 蟇ｾ雎｡縺ｨ縺吶ｋ PC 縺ｮ遽蝗ｲ +- 蟇ｾ雎｡縺ｨ縺吶ｋ萓句､悶ｮ遞ｮ鬘 +- 繧ゅ＠蟇ｾ雎｡縺ｨ縺ｪ縺｣縺溘→縺阪↓繧ｸ繝｣繝ｳ繝励☆繧句茨ｼ育ｨｮ鬘槭↓繧医ｋｼ +- 繧ゅ＠蟇ｾ雎｡縺ｨ縺ｪ縺｣縺溘→縺阪↓襍ｷ蜍輔☆繧九ヶ繝ｭ繝繧ｯ縺ｮ iseq *** rescue -rescue 節はブロックとして実現しています。$! の値を唯一の引数として持ちま -す。 +rescue 遽縺ｯ繝悶Ο繝繧ｯ縺ｨ縺励※螳溽樟縺励※縺縺ｾ縺吶$! 縺ｮ蛟､繧貞髪荳縺ｮ蠑墓焚縺ｨ縺励※謖√■縺ｾ +縺吶 #code begin @@ -216,7 +216,7 @@ rescue C end #end -は、次のような Ruby スクリプトに変換されます。 +縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｪ Ruby 繧ｹ繧ｯ繝ｪ繝励ヨ縺ｫ螟画鋤縺輔ｌ縺ｾ縺吶 #code {|err| @@ -225,7 +225,7 @@ end when B === err when C === err else - raise # yarv の命令では throw + raise # yarv 縺ｮ蜻ｽ莉､縺ｧ縺ｯ throw end } #end @@ -233,32 +233,32 @@ end *** ensure -正常系（例外が発生しなかった場合）と異常系（例外が発生したときなど）の2 -種類の命令列が生成されます。正常系では、ただの連続したコード領域としてコ -ンパイルされます。また、異常系ではブロックとして実装します。最後は必ず -throw 命令で締めることになります。 +豁｣蟶ｸ邉ｻｼ井ｾ句､悶′逋ｺ逕溘＠縺ｪ縺九▲縺溷ｴ蜷茨ｼ峨→逡ｰ蟶ｸ邉ｻｼ井ｾ句､悶′逋ｺ逕溘＠縺溘→縺阪↑縺ｩｼ峨ｮ2 +遞ｮ鬘槭ｮ蜻ｽ莉､蛻励′逕滓舌＆繧後∪縺吶よｭ｣蟶ｸ邉ｻ縺ｧ縺ｯ縲√◆縺縺ｮ騾｣邯壹＠縺溘さ繝ｼ繝蛾伜沺縺ｨ縺励※繧ｳ +繝ｳ繝代う繝ｫ縺輔ｌ縺ｾ縺吶ゅ∪縺溘∫焚蟶ｸ邉ｻ縺ｧ縺ｯ繝悶Ο繝繧ｯ縺ｨ縺励※螳溯｣縺励∪縺吶よ怙蠕後ｯ蠢縺 +throw 蜻ｽ莉､縺ｧ邱繧√ｋ縺薙→縺ｫ縺ｪ繧翫∪縺吶 -*** break, return（ブロック中）、retry +*** break, returnｼ医ヶ繝ｭ繝繧ｯ荳ｭｼ峨〉etry -break 文、ブロック中の return 文、retry 文は throw 命令としてコンパイル -されます。どこまで戻るかは、break をフックする例外テーブルのエントリが判 -断します。 +break 譁縲√ヶ繝ｭ繝繧ｯ荳ｭ縺ｮ return 譁縲〉etry 譁縺ｯ throw 蜻ｽ莉､縺ｨ縺励※繧ｳ繝ｳ繝代う繝ｫ +縺輔ｌ縺ｾ縺吶ゅ←縺薙∪縺ｧ謌ｻ繧九°縺ｯ縲｜reak 繧偵ヵ繝繧ｯ縺吶ｋ萓句､悶ユ繝ｼ繝悶Ν縺ｮ繧ｨ繝ｳ繝医Μ縺悟愛 +譁ｭ縺励∪縺吶 -** 定数の検索 +** 螳壽焚縺ｮ讀懃ｴ｢ -定数という名前なのに、Ruby ではコンパイル時に決定しません。というか、い -つまでも再定義可能になっています。 +螳壽焚縺ｨ縺縺蜷榊燕縺ｪ縺ｮ縺ｫ縲ヽuby 縺ｧ縺ｯ繧ｳ繝ｳ繝代う繝ｫ譎ゅ↓豎ｺ螳壹＠縺ｾ縺帙ｓ縲ゅ→縺縺縺九√＞ +縺､縺ｾ縺ｧ繧ょ榊ｮ夂ｾｩ蜿ｯ閭ｽ縺ｫ縺ｪ縺｣縺ｦ縺縺ｾ縺吶 -定数アクセスのためのRuby記述は次のようになります。 +螳壽焚繧｢繧ｯ繧ｻ繧ｹ縺ｮ縺溘ａ縺ｮRuby險倩ｿｰ縺ｯ谺｡縺ｮ繧医≧縺ｫ縺ｪ繧翫∪縺吶 #code -Ruby表現: +Ruby陦ｨ迴ｾ: expr::ID::...::ID #end -これは、yarv命令セットでは次のようになります。 +縺薙ｌ縺ｯ縲【arv蜻ｽ莉､繧ｻ繝繝医〒縺ｯ谺｡縺ｮ繧医≧縺ｫ縺ｪ繧翫∪縺吶 #code (expr) @@ -268,161 +268,161 @@ getconstant ID #end -*** 定数検索パス +*** 螳壽焚讀懃ｴ｢繝代せ -もし expr が nil だった場合、定数検索パスに従って定数を検索します。この -挙動は今後 Ruby 2.0 に向けて変更される場合があります。 +繧ゅ＠ expr 縺 nil 縺縺｣縺溷ｴ蜷医∝ｮ壽焚讀懃ｴ｢繝代せ縺ｫ蠕薙▲縺ｦ螳壽焚繧呈､懃ｴ｢縺励∪縺吶ゅ％縺ｮ +謖吝虚縺ｯ莉雁ｾ Ruby 2.0 縺ｫ蜷代¢縺ｦ螟画峩縺輔ｌ繧句ｴ蜷医′縺ゅｊ縺ｾ縺吶 -+ クラス、モジュールの動的ネスト関係（プログラムの字面上）をルートまで辿る -+ 継承関係をルート（Object）まで辿る ++ 繧ｯ繝ｩ繧ｹ縲√Δ繧ｸ繝･繝ｼ繝ｫ縺ｮ蜍慕噪繝阪せ繝磯未菫ゑｼ医励Ο繧ｰ繝ｩ繝縺ｮ蟄鈴擇荳奇ｼ峨ｒ繝ｫ繝ｼ繝医∪縺ｧ霎ｿ繧 ++ 邯呎価髢｢菫ゅｒ繝ｫ繝ｼ繝茨ｼObjectｼ峨∪縺ｧ霎ｿ繧 -このため、クラス、モジュールの動的ネスト関係を保存しなければなりません。 -このために、thread_object には klass_nest_stack というものを用意しました。 -これは、現在のネストの情報を保存します。 +縺薙ｮ縺溘ａ縲√け繝ｩ繧ｹ縲√Δ繧ｸ繝･繝ｼ繝ｫ縺ｮ蜍慕噪繝阪せ繝磯未菫ゅｒ菫晏ｭ倥＠縺ｪ縺代ｌ縺ｰ縺ｪ繧翫∪縺帙ｓ縲 +縺薙ｮ縺溘ａ縺ｫ縲》hread_object 縺ｫ縺ｯ klass_nest_stack 縺ｨ縺縺繧ゅｮ繧堤畑諢上＠縺ｾ縺励◆縲 +縺薙ｌ縺ｯ縲∫樟蝨ｨ縺ｮ繝阪せ繝医ｮ諠蝣ｱ繧剃ｿ晏ｭ倥＠縺ｾ縺吶 -メソッド定義時、その現在のネスト情報をメソッド定義時に（dupして）加える -ことで、そのメソッドの実行時、そのネスト情報を参照することが可能になりま -す。 +繝｡繧ｽ繝繝牙ｮ夂ｾｩ譎ゅ√◎縺ｮ迴ｾ蝨ｨ縺ｮ繝阪せ繝域ュ蝣ｱ繧偵Γ繧ｽ繝繝牙ｮ夂ｾｩ譎ゅ↓ｼdup縺励※ｼ牙刈縺医ｋ +縺薙→縺ｧ縲√◎縺ｮ繝｡繧ｽ繝繝峨ｮ螳溯｡梧凾縲√◎縺ｮ繝阪せ繝域ュ蝣ｱ繧貞盾辣ｧ縺吶ｋ縺薙→縺悟庄閭ｽ縺ｫ縺ｪ繧翫∪ +縺吶 -トップレベルでは、その情報はないことになります。 +繝医ャ繝励Ξ繝吶Ν縺ｧ縺ｯ縲√◎縺ｮ諠蝣ｱ縺ｯ縺ｪ縺縺薙→縺ｫ縺ｪ繧翫∪縺吶 -クラス/モジュール定義文実行時は、現在の情報そのものを参照することになり -ます。これは、クラススコープ突入時、その情報をクラス定義文にコピーします -（すでにコピーされていれば、これを行いません）。 +繧ｯ繝ｩ繧ｹ/繝｢繧ｸ繝･繝ｼ繝ｫ螳夂ｾｩ譁螳溯｡梧凾縺ｯ縲∫樟蝨ｨ縺ｮ諠蝣ｱ縺昴ｮ繧ゅｮ繧貞盾辣ｧ縺吶ｋ縺薙→縺ｫ縺ｪ繧 +縺ｾ縺吶ゅ％繧後ｯ縲√け繝ｩ繧ｹ繧ｹ繧ｳ繝ｼ繝礼ｪ∝･譎ゅ√◎縺ｮ諠蝣ｱ繧偵け繝ｩ繧ｹ螳夂ｾｩ譁縺ｫ繧ｳ繝斐ｼ縺励∪縺 +ｼ医☆縺ｧ縺ｫ繧ｳ繝斐ｼ縺輔ｌ縺ｦ縺繧後ｰ縲√％繧後ｒ陦後＞縺ｾ縺帙ｓｼ峨 -これにより、動的なネスト情報を統一的に扱うことができます。 +縺薙ｌ縺ｫ繧医ｊ縲∝虚逧縺ｪ繝阪せ繝域ュ蝣ｱ繧堤ｵｱ荳逧縺ｫ謇ｱ縺縺薙→縺後〒縺阪∪縺吶 -** 最適化手法 +** 譛驕ｩ蛹匁焔豕 -YARV では高速化を目的としているので、さまざまな最適化手法を利用していま -す。詳細は割愛しますが、以下に述べる最適化などを行なっております。 +YARV 縺ｧ縺ｯ鬮倬溷喧繧堤岼逧縺ｨ縺励※縺繧九ｮ縺ｧ縲√＆縺ｾ縺悶∪縺ｪ譛驕ｩ蛹匁焔豕輔ｒ蛻ｩ逕ｨ縺励※縺縺ｾ +縺吶りｩｳ邏ｰ縺ｯ蜑ｲ諢帙＠縺ｾ縺吶′縲∽ｻ･荳九↓霑ｰ縺ｹ繧区怙驕ｩ蛹悶↑縺ｩ繧定｡後↑縺｣縺ｦ縺翫ｊ縺ｾ縺吶 *** threaded code -GCC の C 言語拡張である値としてのラベルを利用して direct threaded code -を実現しています。 +GCC 縺ｮ C 險隱樊僑蠑ｵ縺ｧ縺ゅｋ蛟､縺ｨ縺励※縺ｮ繝ｩ繝吶Ν繧貞茜逕ｨ縺励※ direct threaded code +繧貞ｮ溽樟縺励※縺縺ｾ縺吶 *** Peephole optimization -いくつかの簡単な最適化をしています。 +縺縺上▽縺九ｮ邁｡蜊倥↑譛驕ｩ蛹悶ｒ縺励※縺縺ｾ縺吶 *** inline method cache -命令列の中にメソッド検索結果を埋め込みます。 +蜻ｽ莉､蛻励ｮ荳ｭ縺ｫ繝｡繧ｽ繝繝画､懃ｴ｢邨先棡繧貞沂繧∬ｾｼ縺ｿ縺ｾ縺吶 *** inline constant cache -命令列の中に定数検索結果を埋め込みます。 +蜻ｽ莉､蛻励ｮ荳ｭ縺ｫ螳壽焚讀懃ｴ｢邨先棡繧貞沂繧∬ｾｼ縺ｿ縺ｾ縺吶 -*** ブロックと Proc オブジェクトの分離 +*** 繝悶Ο繝繧ｯ縺ｨ Proc 繧ｪ繝悶ず繧ｧ繧ｯ繝医ｮ蛻髮｢ -ブロック付きメソッド呼び出しが行なわれたときにはすぐにはブロックを Proc -オブジェクトとして生成しません。これにより、必要ない Proc オブジェクトの -生成を抑えています。 +繝悶Ο繝繧ｯ莉倥″繝｡繧ｽ繝繝牙他縺ｳ蜃ｺ縺励′陦後↑繧上ｌ縺溘→縺阪↓縺ｯ縺吶＄縺ｫ縺ｯ繝悶Ο繝繧ｯ繧 Proc +繧ｪ繝悶ず繧ｧ繧ｯ繝医→縺励※逕滓舌＠縺ｾ縺帙ｓ縲ゅ％繧後↓繧医ｊ縲∝ｿ隕√↑縺 Proc 繧ｪ繝悶ず繧ｧ繧ｯ繝医ｮ +逕滓舌ｒ謚代∴縺ｦ縺縺ｾ縺吶 -Proc メソッドは、実際に必要になった時点で作られ、そのときに環境（スコー -プ上に確保された変数など）をヒープに保存します。 +Proc 繝｡繧ｽ繝繝峨ｯ縲∝ｮ滄圀縺ｫ蠢隕√↓縺ｪ縺｣縺滓凾轤ｹ縺ｧ菴懊ｉ繧後√◎縺ｮ縺ｨ縺阪↓迺ｰ蠅ｼ医せ繧ｳ繝ｼ +繝嶺ｸ翫↓遒ｺ菫昴＆繧後◆螟画焚縺ｪ縺ｩｼ峨ｒ繝偵ｼ繝励↓菫晏ｭ倥＠縺ｾ縺吶 -*** 特化命令 +*** 迚ｹ蛹門多莉､ -Fixnum 同士の加算などを正直に関数呼び出しによって行なうと、コストがかか -るので、これらのプリミティブな操作を行なうためのメソッド呼び出しは専用命 -令を用意しました。 +Fixnum 蜷悟｣ｫ縺ｮ蜉邂励↑縺ｩ繧呈ｭ｣逶ｴ縺ｫ髢｢謨ｰ蜻ｼ縺ｳ蜃ｺ縺励↓繧医▲縺ｦ陦後↑縺縺ｨ縲√さ繧ｹ繝医′縺九° +繧九ｮ縺ｧ縲√％繧後ｉ縺ｮ繝励Μ繝溘ユ繧｣繝悶↑謫堺ｽ懊ｒ陦後↑縺縺溘ａ縺ｮ繝｡繧ｽ繝繝牙他縺ｳ蜃ｺ縺励ｯ蟆ら畑蜻ｽ +莉､繧堤畑諢上＠縺ｾ縺励◆縲 -*** 命令融合 +*** 蜻ｽ莉､陞榊粋 -複数の命令を 1 命令に変換します。融合命令は opt_insn_unif.def の記述によ -り自動的に生成されます。 +隍謨ｰ縺ｮ蜻ｽ莉､繧 1 蜻ｽ莉､縺ｫ螟画鋤縺励∪縺吶り檮蜷亥多莉､縺ｯ opt_insn_unif.def 縺ｮ險倩ｿｰ縺ｫ繧 +繧願ｪ蜍慕噪縺ｫ逕滓舌＆繧後∪縺吶 -*** オペランド融合 +*** 繧ｪ繝壹Λ繝ｳ繝芽檮蜷 -複数のオペランドを含めた命令を生成します。融合命令は opt_operand.def の -記述によって自動的に生成されます。 +隍謨ｰ縺ｮ繧ｪ繝壹Λ繝ｳ繝峨ｒ蜷ｫ繧√◆蜻ｽ莉､繧堤函謌舌＠縺ｾ縺吶り檮蜷亥多莉､縺ｯ opt_operand.def 縺ｮ +險倩ｿｰ縺ｫ繧医▲縺ｦ閾ｪ蜍慕噪縺ｫ逕滓舌＆繧後∪縺吶 *** stack caching -スタックトップを仮想レジスタに保持するようにします。現在は 2 個の仮想レ -ジスタを想定し、5状態のスタックキャッシングを行ないます。スタックキャッ -シングする命令は自動的に生成されます。 +繧ｹ繧ｿ繝繧ｯ繝医ャ繝励ｒ莉ｮ諠ｳ繝ｬ繧ｸ繧ｹ繧ｿ縺ｫ菫晄戟縺吶ｋ繧医≧縺ｫ縺励∪縺吶ら樟蝨ｨ縺ｯ 2 蛟九ｮ莉ｮ諠ｳ繝ｬ +繧ｸ繧ｹ繧ｿ繧呈Φ螳壹＠縲5迥ｶ諷九ｮ繧ｹ繧ｿ繝繧ｯ繧ｭ繝｣繝繧ｷ繝ｳ繧ｰ繧定｡後↑縺縺ｾ縺吶ゅせ繧ｿ繝繧ｯ繧ｭ繝｣繝 +繧ｷ繝ｳ繧ｰ縺吶ｋ蜻ｽ莉､縺ｯ閾ｪ蜍慕噪縺ｫ逕滓舌＆繧後∪縺吶 *** JIT Compile -機械語を切り貼りします。非常に実験的なコードものしか作っておりません。ほ -とんどのプログラムは動きません。 +讖滓｢ｰ隱槭ｒ蛻繧願ｲｼ繧翫＠縺ｾ縺吶る撼蟶ｸ縺ｫ螳滄ｨ鍋噪縺ｪ繧ｳ繝ｼ繝峨ｂ縺ｮ縺励°菴懊▲縺ｦ縺翫ｊ縺ｾ縺帙ｓ縲ゅ⊇ +縺ｨ繧薙←縺ｮ繝励Ο繧ｰ繝ｩ繝縺ｯ蜍輔″縺ｾ縺帙ｓ縲 *** AOT Compile -YARV 命令列を C 言語に変換します。まだ十分な最適化を行なえておりませんが、 -それなりに動きます。rb/aotc.rb がコンパイラです。 +YARV 蜻ｽ莉､蛻励ｒ C 險隱槭↓螟画鋤縺励∪縺吶ゅ∪縺蜊∝縺ｪ譛驕ｩ蛹悶ｒ陦後↑縺医※縺翫ｊ縺ｾ縺帙ｓ縺後 +縺昴ｌ縺ｪ繧翫↓蜍輔″縺ｾ縺吶Ｓb/aotc.rb 縺後さ繝ｳ繝代う繝ｩ縺ｧ縺吶 * Assembler (rb/yasm.rb) -YARV 命令列のアセンブラを用意しました。使い方は rb/yasm.rb を参照してく -ださい（まだ、例示してある生成手法のすべてをサポートしているわけではあり -ません）。 +YARV 蜻ｽ莉､蛻励ｮ繧｢繧ｻ繝ｳ繝悶Λ繧堤畑諢上＠縺ｾ縺励◆縲ゆｽｿ縺譁ｹ縺ｯ rb/yasm.rb 繧貞盾辣ｧ縺励※縺 +縺縺輔＞ｼ医∪縺縲∽ｾ狗､ｺ縺励※縺ゅｋ逕滓先焔豕輔ｮ縺吶∋縺ｦ繧偵し繝昴ｼ繝医＠縺ｦ縺繧九ｏ縺代〒縺ｯ縺ゅｊ +縺ｾ縺帙ｓｼ峨 * Dis-Assembler (disasm.c) -YARV 命令列を示すオブジェクト YARVCore::InstructionSequence には disasm -メソッドがあります。これは、命令列を逆アセンブルした文字列を返します。 +YARV 蜻ｽ莉､蛻励ｒ遉ｺ縺吶が繝悶ず繧ｧ繧ｯ繝 YARVCore::InstructionSequence 縺ｫ縺ｯ disasm +繝｡繧ｽ繝繝峨′縺ゅｊ縺ｾ縺吶ゅ％繧後ｯ縲∝多莉､蛻励ｒ騾繧｢繧ｻ繝ｳ繝悶Ν縺励◆譁蟄怜励ｒ霑斐＠縺ｾ縺吶 -* YARV 命令セット +* YARV 蜻ｽ莉､繧ｻ繝繝 <%= d %> -* その他 +* 縺昴ｮ莉 -** テスト +** 繝繧ｹ繝 -test/test_* がテストケースです。一応、ミスなく動くはずです。逆にいうと、 -このテストに記述されている例ではきちんと動作するということです。 +test/test_* 縺後ユ繧ｹ繝医こ繝ｼ繧ｹ縺ｧ縺吶ゆｸ蠢懊√Α繧ｹ縺ｪ縺丞虚縺上ｯ縺壹〒縺吶る縺ｫ縺縺縺ｨ縲 +縺薙ｮ繝繧ｹ繝医↓險倩ｿｰ縺輔ｌ縺ｦ縺繧倶ｾ九〒縺ｯ縺阪■繧薙→蜍穂ｽ懊☆繧九→縺縺縺薙→縺ｧ縺吶 -** ベンチマーク +** 繝吶Φ繝√槭ｼ繧ｯ -benchmark/bm_* にベンチマークプログラムがおいてあります。 +benchmark/bm_* 縺ｫ繝吶Φ繝√槭ｼ繧ｯ繝励Ο繧ｰ繝ｩ繝縺後♀縺縺ｦ縺ゅｊ縺ｾ縺吶 -** 今後の予定 +** 莉雁ｾ後ｮ莠亥ｮ -まだまだやらなければいけないこと、未実装部分がたくさんありますんでやって -いかなければなりません。一番大きな目標は eval.c を置き換えることでしょう -か。 +縺ｾ縺縺ｾ縺繧繧峨↑縺代ｌ縺ｰ縺縺代↑縺縺薙→縲∵悴螳溯｣驛ｨ蛻縺後◆縺上＆繧薙≠繧翫∪縺吶ｓ縺ｧ繧縺｣縺ｦ +縺縺九↑縺代ｌ縺ｰ縺ｪ繧翫∪縺帙ｓ縲ゆｸ逡ｪ螟ｧ縺阪↑逶ｮ讓吶ｯ eval.c 繧堤ｽｮ縺肴鋤縺医ｋ縺薙→縺ｧ縺励ｇ縺 +縺九 *** Verifier -YARV 命令列は、ミスがあっても動かしてしまうため危険である可能性がありま -す。そのため、スタックの利用状態をきちんと事前に検証するようなベリファイ -アを用意しなければならないと考えています。 +YARV 蜻ｽ莉､蛻励ｯ縲√Α繧ｹ縺後≠縺｣縺ｦ繧ょ虚縺九＠縺ｦ縺励∪縺縺溘ａ蜊ｱ髯ｺ縺ｧ縺ゅｋ蜿ｯ閭ｽ諤ｧ縺後≠繧翫∪ +縺吶ゅ◎縺ｮ縺溘ａ縲√せ繧ｿ繝繧ｯ縺ｮ蛻ｩ逕ｨ迥ｶ諷九ｒ縺阪■繧薙→莠句燕縺ｫ讀懆ｨｼ縺吶ｋ繧医≧縺ｪ繝吶Μ繝輔ぃ繧､ +繧｢繧堤畑諢上＠縺ｪ縺代ｌ縺ｰ縺ｪ繧峨↑縺縺ｨ閠縺医※縺縺ｾ縺吶 -*** Compiled File の構想 +*** Compiled File 縺ｮ讒区Φ -Ruby プログラムをこの命令セットにシリアライズしたデータ構造をファイルに -出力できるようにしたいと考えています。これを利用して一度コンパイルした命 -令列をファイルに保存しておけば、次回ロード時にはコンパイルの手間、コスト -を省くことができます。 +Ruby 繝励Ο繧ｰ繝ｩ繝繧偵％縺ｮ蜻ｽ莉､繧ｻ繝繝医↓繧ｷ繝ｪ繧｢繝ｩ繧､繧ｺ縺励◆繝繝ｼ繧ｿ讒矩繧偵ヵ繧｡繧､繝ｫ縺ｫ +蜃ｺ蜉帙〒縺阪ｋ繧医≧縺ｫ縺励◆縺縺ｨ閠縺医※縺縺ｾ縺吶ゅ％繧後ｒ蛻ｩ逕ｨ縺励※荳蠎ｦ繧ｳ繝ｳ繝代う繝ｫ縺励◆蜻ｽ +莉､蛻励ｒ繝輔ぃ繧､繝ｫ縺ｫ菫晏ｭ倥＠縺ｦ縺翫¢縺ｰ縲∵ｬ｡蝗槭Ο繝ｼ繝画凾縺ｫ縺ｯ繧ｳ繝ｳ繝代う繝ｫ縺ｮ謇矩俣縲√さ繧ｹ繝 +繧堤怐縺上％縺ｨ縺後〒縺阪∪縺吶 -**** 全体構成 +**** 蜈ｨ菴捺ｧ区 -次のようなファイル構成を考えていますが、まだ未定です。 +谺｡縺ｮ繧医≧縺ｪ繝輔ぃ繧､繝ｫ讒区舌ｒ閠縺医※縺縺ｾ縺吶′縲√∪縺譛ｪ螳壹〒縺吶 #code u4 : 4 byte unsigned storage @@ -450,5 +450,5 @@ CompiledFile{ } #end -Java classfile のパクリ。 +Java classfile 縺ｮ繝代け繝ｪ縲 -- cgit v1.2.3