Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.dyendignify(2008-08-18 10:20)
2.Dominic(2008-06-23 05:05)
3.CheapestCheapOEMoem(2008-06-17 03:00)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
ひょんなことから、"Modern Compiler Implementation in ML"の第11章、つまり現在僕が製作しているレジスタ割り付け部の、元ネ タとおぼしき論文を見つけた。
論文の中身は上記ページからダウンロードすることが出来る。よく見ると"Modern Compiler Implementation in ML"の第11章とほとんど同じ内容だ。2005年1月23日の日記では、
"LivenessAnalysis"と、"Build"に相当する部分は前の章（第10章）で既に作成済みだし、そこで作成した コードがほぼそのまま使 えるだろうと思ったのだが…どうも勝手が違う。扱っているデータの表現形態が、現在の章とその前の章で微妙に異なっているのだ。 「記述の断層」とでも言うべきか。まだまだ苦労しそうな気配である。
なんてことを書いたのだが、つまるところ、この論文の内容を本に丸ごと取り込んでたのね（論文は1996年に、本は1997年に、それぞれ発行されている）。道理で前の章（第10章）ときれいにつながらないわけだ。
論文の中では、このアルゴリズムをStandard ML of New Jersey (SML/NJ)に実装し、計測した結果も載っている。SML/NJのレジスタ割り付け部分の ソースコード（実体はMLRISCのコードで ある）を見る限りでは、この方式がそのまま実装されているようだ。時間が出来たら自分の書いたコードと比べてみようか。
