Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.Braritemeal(2008-08-25 00:41)
2.dyendignify(2008-08-18 10:20)
3.Dominic(2008-06-23 05:05)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
友人からの推薦図書、ドイツ発のファンタジー作品「鏡のなかの迷宮：水の女王」（カイ・マイヤー）を読む。ドイツのファンタジーと言えばミヒャエル・エンデがまず最初に浮かぶ（ちなみに「はてしない物語」は一度読んだはずなのだが物語のオチが思い出せない…）が、他にもいろいろな作家がいるみたい。作者のカイ・マイヤーはサスペンス・スリラーからファンタジーまで手がける作家とのこと。（思わず宮部みゆきを連想したが、作品のテイストは多分かなり違う…はず）
この本は三冊シリーズのうちの第一作。架空の19世紀に存在するヴェネチア共和国はエジプト帝国の軍勢に30年以上包囲されながらも『水の女王』の庇護によりかろうじて独立を保っていたが…というあたりから物語は始まる。「クスマノ・シリーズ」の合間をみながらニ冊目、三冊目に進む予定。
コンパイラの処理の後半、最終目的となるコードを生成する部分のことをバックエンドと言う。現在僕が作っているコンパイラでは、バックエンドにGCCを使う（正確に言うとコンパイラはIA-32のアセンブリコードを出力し、これをGCCに食わせて機械語を生成する）予定であるが、世の中にはほかにもいろいろなバックエンドがあるようだ。
4月のRHG読書会の席でも「バックエンドにC--を使うのはどうでしょうね」とか言われていたが、「ほぅほぅ、それは結構ですねぇ」とその場ではイイカゲンな返事をしたまま、今に至るまですっかり忘れていたのだった（どうしようもないヤツだ）。ところが2ヶ月も経とうかという今ごろになって、突如「あれは一体なんのコトを言っていたのだろう」と、気になったので真面目に調べることにした、という次第。
…ええと、まずはC--から。実は説明のほうはまだきちんと読んでいないのだが、普通のアセンブリ言語の代わりに、アーキテクチャ独立な、Cに似た記法で記述できるようにしてやろうという試みらしい。処理系として、Quick C--というものが存在する。Quick C--はOCamlで記述されているようだ。フロントエンド処理系もいろいろ作られている模様。ちなみにC--のページを良く見ると"MLRISC"というキーワードが見える。これは何だろうとリンクをたどって調べてみると…
MLRISCはStandard ML for New Jersey(smlnj)の処理系に標準で含まれているバックエンドであることが分かった。Standard MLで記述された、MLTREEと呼ばれる中間言語を入力とし、そこからAlpha, IA-32, MIPS, Sparcなど、7種類以上の機械語の生成に対応しているらしい（恐るべし）。Standard ML for New Jerseyも、これを使って機械語の生成を行っている（smlnjは2年以上使っているのに気づかなかったよ…）コード生成に先立っていろいろな最適化技法を駆使しているなど、かなり奥が深い。要チェックか？
はてしない物語、後半は哀しい話だったような。
でも、やはりオチは思い出せず…。
この前はありがとう。読んでくれたんだ。一巻だけだと? がいっぱいなことでしょう。はてしない物語の最後はむこうの世界でBBBが自分を取り戻し，こちらの世界でBBBがぎくしゃくしていたお父さんと仲良くなって，ハッピーエンドです。
今日「鏡のなかの迷宮」の2巻目と3巻目が届きました。続きが楽しみ。
「はてしない物語」はハッピーエンドということで、安心してもう一度読めそうです。近くの図書館で借りるか…