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)
9/25から読んでいた"Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor"(Tim Berners-Lee and Mark Fischetti)を読了。増井さんの本棚経由で見つけた本。9月22日に読了した"Where Wizards Stay Up Late: The Origins of the Internet"は1989年までのインターネットの成長をテーマとした本であったが、本書の前半部はその後のインターネットの発展、つまり1989年のWWWの誕生から1999年までの出来事を描いている。
後半部はTim Berners-Leeが語るWebの未来像。9月3日の日記でとりあげた「セマンティックWeb」についても興味深い記述が随所に見られる。機会があれば改めて取り上げることにしたい。
"mciML"はアセンブリコード出力部を引き続き実装中。アセンブリコードっぽい断片が少しだけ出るようになった。とはいってもまだ完成にはほど遠い。
L18:
movl $1, 'd0
movl 's1, -4('s0)
dummyStm
L15:
leal -4('s0), 'd0
movl 's0, 'd0
addl $3, 'd0
movl 's0, 'd0
L16:
jmpl
L14:
leal -4('s0), 'd0
movl 's0, 'd0
addl $2, 'd0
movl 's0, 'd0
jmpl
L17:
's0とか'd0はレジスタ割り付け前の仮のラベルである。jmplにもジャンプ先のアドレスが入っていないし、この段階の「なんちゃって」なアセンブリコードを見ても何をしているかはほとんど理解出来ないであろう。レジスタ割り付けと最適化が済むとそれらしくなるはずである（と期待）。
10月2日から読んでいた"Tehanu"(Ursula K. Le Guin)を読了。いわゆる「ゲド戦記」の第四巻に当たる本。前作の"The Farthest Shore"は1972年の作品、そしてこの"Tehanu"は1990年の作品と、約20年のブランクがあるのだが、続けて読む限りでは大きなギャップは感じられない。いわゆる『おとぎ話』("The Tombs of Atuan")のエンディングから数十年が過ぎて、その登場人物たちがどのように生き続けているかを描いた本。と言ってもこのシリーズ自体、単なるおとぎ話と言うには重過ぎるのではあるが。
"mciML"はアセンブリコード出力部の実装を引き続き実施中。現在出るコードはこんなカンジ。
L6: movl $1, t104 movl t104, -4(t101) leal -4(t101), t105 movl $1, t106 cmpl t105, t106 jg L2 L3: leal -4(t101), t108 movl t108, t107 addl $3, t107 movl t107, t103 L4: jmp L5 L2: leal -4(t101), t110 movl t110, t109 addl $2, t109 movl t109, t103 jmp L4 L5:
「なんちゃってアセンブリコード」から「へなちょこアセンブリコード」へ進化している…のかな。
渋谷シネマライズにて、「恋の門」を観る。8月29日に「茶の味」を観たときに見かけた予告編がやたら面白そうだったので気になっていた一本。友人が先日、この作品の監督である、松尾スズキの書く文章を絶賛していたこともあり、さらに期待は高まる。15:00の回に向け、上映30分前に入場するヒトの列に並んだのだが、それから10分もしないうちに長蛇の列が入り口前の階段から映画館前までのびるありさま。少しでも遅れていたら立ち見決定になるところである。席を無事確保し、予告編の後に映画が始まる。
…始まって5分くらいで既に客席は爆笑の渦に。こりゃスゴい。出だしの勢いが良すぎた分、後半に息切れするかと途中心配したが、そのまま押し切りフィナーレへ。傑作であった。「茶の味」に続き、実写の日本映画で当たりを引くのはうれしい限りである。
ちなみにこの作品、エンドロールもちゃんと観ておくこと。「あのシーンに出演していたのはあのヒトだったのか」と驚くことが出来る、かも知れない。
"mciML"はアセンブリコード出力部の実装がほぼ完了。ちゃんと"Maximal Munch"が出来ているかについてはイマイチ自信がない（ついでにちゃんとアセンブリコードが出ているかもイマイチ自信がない）が、困ったら後で直せばいいということで（いきあたりばったりに）決着。
ついでに、放っておいたままであった（アセンブリコード出力以外の）細かなコードも実装。こちらはTiger言語の標準関数を定義している部分。
val base_venv =
foldl (fn((lname,fmls,res),tbl)
=> S.enter(tbl,S.symbol(lname),
FunEntry{level=Translate.outermost,
label=Temp.namedlabel lname,
formals=fmls,
result=res}))
S.empty [("print",[T.STRING],T.UNIT),
("flush",[],T.UNIT),
("getchar",[],T.STRING),
("ord",[T.STRING],T.INT),
("chr",[T.INT],T.STRING),
("size",[T.STRING],T.INT),
("substring",[T.STRING,T.INT,T.INT],T.STRING),
("concat",[T.STRING,T.STRING],T.STRING),
("not",[T.INT],T.INT),
("exit",[T.INT],T.UNIT)]
ML様が提供する型推論のおかげで、こんな風に入り組んだコードも楽に書ける。少々間違ってもML様の出してくれるエラーメッセージに従ってコードを修正してやればたちどころに解決。素晴らしい。ML様の出すエラーメッセージがときどき意味不明なので苦労しているとか、無駄にアクロバティックなコードを書いている、などということは決してない。ML様万歳である。
いまどき、連絡手段というものにはこと欠かないし、知人に向けて何かのメッセージを送るというのはとても簡単なことだ。でも僕は友人にやたら連絡をとったりしないし、友人達もむやみに連絡をして来たりすることはない。なぜかって？
僕らが連絡をとろうとするときには、用件が必要だから。連絡する手段があっても話すべきことがなければ、それは全く意味がない。「コミュニケーションの手段が豊かになればコミュニケーションそのものも豊かになる」なんてセリフはどこかで聞いたような気がするが（あるいは単なる気のせいか）そんなのはナンセンスだってことを僕らは知っている。
でも話すべき内容がなくても絶え間なく連絡をとる人々、というのも世の中には確かにいるらしい。彼ら/彼女らを理解するのはきっと難しいのだろうな。僕らにとっては。
"mciML"は第10章"Liveness Analysis"に突入。次章で行う予定のレジスタ割り付けに先立ち、プログラムの制御フローグラフ(control flow graph)を構築し、その中で使われている仮変数の干渉状態を表現したグラフ(interference graph)を作るのだとか何とか（もはや日本語ではない、というかニンゲンの言葉ではない）。
同時に今まで書いたプログラムの見直しも行う。以前は発見できなかったバグも、プログラムが完成に近づくにつれ見つかるようになってきた。コンパイラでは入力データの組み合わせは膨大なものになるため、潜在的バグを全部捕まえるのは至難の業だ。手持ちのテストプログラム70種と8-queen、そしてmergesortのプログラムが正しくコンパイルでき、動作するところまで持っていくのが当面の目標だが、さてどうなることやら。
"mciML"は引き続き第10章"Liveness Analysis"。演習問題としてフローグラフを書いて変数の生存期間を調べてみたり。実装すべきモジュールの仕様は本文中に提示されているものの、実装のイメージがなかなか浮かばず、しばらく考え込む。結局、頭の中に具体的な実装の絵が現れたのは寝る直前のことであった。
# 役不足たけちゃん [用件：用事のこと。 要件：あることが成り立つための条件のこと。法律や数学で使う。(eg. 詐欺罪の構成要件) ]
# 役不足たけちゃん [あ、つっこみを入れる前に直ってる！！！！ ]
# 福盛 [ふふふ、昨晩、風呂に入ろうとしたときにふと気がついたので直したのです。次回にご期待ください(って何だ) ]
# 役不足たけちゃん [忘年会でもやりますか？ ]
# 福盛 [もうそんな時期なんだなぁ。やりましょう。 ]
# miso [すいませんmixiのやりすぎでした。 ]