Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.Dominic(2008-06-23 05:05)
2.CheapestCheapOEMoem(2008-06-17 03:00)
3.NewDownloadCreativAdobOEM(2008-06-12 20:00)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
先週はレジスタ割り付けのアルゴリズムを一通り眺める、いわば「丸呑み」をするところまで進めた。今週はその「消化」にとりかかる。「消化」をしているときに頭の中でどのようなことが起きているかを説明するのは至難の業だが、図の助けを借りて説明してみることにしたい。
"mciML"の244ページから249ページにかけて、擬似コードで記述されているアルゴリズムの参照関係を、Graphvizで表示させるとこのようになる。
かなり入り組んだ図であるが、この中にある"Coalese"と、それに関係するノードを取り除くと見通しは少々良くなる。
まずはこのあたりを足がかりに攻めることする。さらに理解を進めるには、アルゴリズム同士の参照関係だけではなく、アルゴリズムとデータ構造の参照関係も整理しておかなければならない。下の図は、データ構造を灰色の四角で表し、アルゴリズムとの参照関係を矢印付きの線で示したもの。
ということで、図をいろいろと並べてきたが、単に図示できるようになった、というだけでは全く足りない。いわゆる「腑に落ちる」状態になるには、上の図で示されるような概略と、擬似コードの細部を何度も行ったり来たりすることが必要になる。図が理解を助けてくれることは間違いないが、それだけで全てをまかなうことが出来ないのも、また事実である。
