Rogue Engineer's Diary / やさぐれ日記(2004-11)

2004-11-07

■ 映画「オールド・ボーイ」

「オールド・ボーイ」という映画を観に行った。駅に出ているポスターを行き帰りに眺めているうちに、登場人物の3人の顔がどれも妙に印象的であるというか、頭から離れなくなったので、どうせだから見に行ってみるかという気分で川崎のチネチッタまで出かけたのである。ポスターには他に「カンヌでグランプリを受賞」とか、おすぎがホメてるセリフとかもあったがそれはまぁどうでもよい、というかカンヌのグランプリ作品もおすぎがホメる映画も今まで見た記憶がない。

13:30分の回の開始5分前に飛び込む。席はほぼ満員だったのでやや端の席に座ることになった。

…2時間後…

ぁぁ、確かにこれならばカンヌでグランプリも獲るはずだし、おすぎがホメるのも当然だわ。謎解きを軸に展開するサスペンスといえば、「ゲーム」（マイケル・ダグラスだったか）なんて映画があったけど、こちらの終盤の緊張感はそれとは比較にならない。クライマックス、静まり返った映画館の場内で、近くの席にいたヒトが息を呑む(というか生唾を飲み込む)音が聞こえたよ（ホントに）。いい映画です。

■ [Modern Compiler Implementation in ML] フローグラフ生成部のコーディング

"mciML"は、先週の終わりに頭に浮かんだ実装イメージを形にするところからスタート。まずはアセンブリコード出力用のデータ構造からフローグラフを生成する部分の実装。フローグラフだけでなく、同時に付加情報もいくつか生成しなければならないので、そこらへんの作り方で結構悩む。最初はmapとかfoldを使ってすっきりと書こうとしたが、あっさりと挫折。出来上がったコードは結局こんなカンジになった。今回も妙に入り組んだシロモノを作ってしまった気がしないでもないが、まぁそこはそれ。また後日鑑賞がてら手を入れることもあるのだろう、ということにしておく。

[ツッコミを入れる]

本日のリンク元 | 19 | 16 | 12 | 12 | 11 | 9 | 9 | 9 | 7 | 7 | TrackBack(0)

2004-11-14

■ [Modern Compiler Implementation in ML] フローグラフを描いて遊ぶ

先週はフローグラフ生成部を組み上げるところまで進めたワケだが、結果が正しいことをどうやって確認しようかと、その後ずっと考え込んでいた。出てきたデータ構造を手作業で覗き込むのではあまりにも手間がかかりすぎる。フローグラフを相手にしているのだから図にして眺めるのが筋だと思うし、そっちの方が絶対面白いであろう、ということで、いろいろと方法を検討する。

フローグラフのデータ構造から、picみたいな描画言語を経由するとツールでうまいこと画像化出来るハズであると信じてGoogleで"graph drawing language"というキーワードで探したところ、Graphvizなるモノが見つかった。テキストファイルでノードの連結状態を記述してやれば、ノードの配置と連結状態を自動的に計算した上で画像化してくれるというツールらしい。まさに今回やろうとしているフローグラフの表示のために作られたかのようなプログラムである。

マニュアルを眺めながら、Graphviz向けにファイルを出力するためのプログラムを1日かけて書く。完成したプログラムにテストプログラムの一つ

/* a simple while */
let
  var x := 5
in
  while x < 10 do x := x + 1
end

を食わせると、こんなファイルが出てくるので、これをGraphvizにかけてやると…おっ、出た出た。

フローグラフの姿が一目瞭然である。右側はマージソートのプログラム（の一部）をグラフ化してみたもの。少々規模が大きくなってもちゃんと図にしてくれる。これは楽しい。

…と、こんなことをやっているうちに日が暮れてしまった。第10章ではフローグラフと共に、interference graphの生成もやらなければならないのだが、そちらの方はまったく手がつかないままになっている、ということで次回はそちらをやっつける予定。Graphvizの出番もまだまだありそう。

本日のツッコミ(全3件) [ツッコミを入れる]

# しゅどう [すばらしー＞Graphviz K原研の(マクロ)フローグラフPostscript化ツールは、たしか、どなたか（名前失..]

# ささだ [基本ブロックを1ノードにするとかっこいいんじゃないでしょうか。 ]

# 福盛 [昔のヒトはえらかったですよね（今のヒト達もえらいけど）＞しゅどう確かに基本ブロックを1ノードにまとめるのはやって..]

本日のリンク元 | 206 | 41 | 37 | 32 | 28 | 22 | 22 | 19 | 16 | 12 | TrackBack(0)

2004-11-21

■ [Modern Compiler Implementation in ML] interference graph

今週はinterference graphの作成準備。Liveness Analysisにて、アセンブリコード中に埋め込まれているそれぞれの仮変数（アセンブリコード中にあるt101とかt108とかいうヤツ）がフローグラフ中でどこからどこまで「生きている（有効である）」かを明らかにするプログラムを組み始める。だがなかなか進まず、半分も行かないうちに時間切れ。まことにシンドイでありますることよ。

[ツッコミを入れる]

本日のリンク元 | 24 | 19 | 15 | 14 | 10 | 8 | 7 | 7 | 6 | 6 | TrackBack(1)

2004-11-27

■ 逃げれば追ってくる

いまさらなんだけれども、"A Wizard of Earthsea"（ゲド戦記第一巻「影との戦い」）ってのは本当にすごい本だなと思ったのよ。あの本で語られてるのは要するに

『何かから逃げると、それが追いかけてくる』

ということなんだけれども、読んだ後数ヶ月経つうちに、自分やら身の回りでもまったく同じことが起きている（というかずっと起きていた）ことに気がつくワケ。夏休みの宿題でもゼミの発表でも仕事でも、はたまた借金でも、逃げようとすると大抵は追っかけてくる。逃げる側は相手が忘れるとかあきらめるとか時間切れになるとか、あるいは単にうやむやになるとかいうことを期待するし、それもときどきは成功するんだけれども、いつまでもそれがうまくいくという保証はない。もしも忘れることもあきらめることもしないヤツが相手だったらどうする？時間切れなんてものがなかったら？うやむやにした出来事が数年後に倍になって返ってきたらどうする？「逃げれば追ってくる」というのは万有引力の法則と同じくらい当たり前な事実ではあるけれども、当たり前のことを皆が理解しているかと言うとそんなことはなくて、実際はその全く逆であることの方が多いみたいだ。

ちなみにあの本で語られていることにはもう一つあって、それは

『追われたくなかったら、こちらから追いなさい』

ということ。これは僕の経験から言ってもおおむね正しいし、追うほうが追いかけられるよりもはるかにラク、かつ楽しい。「逃げるな」とか言う意味不明なアドバイスよりも「こちらから追いなさい」という方が僕にはしっくりくるのであるよ。追われる側から追う側へ立場を逆転させるのは非常にシンドイし、いつもうまく行くとは限らないけれども、やっぱり追いかける側に立つように努力したいなぁと思うワケ。以上。

本日のツッコミ(全2件) [ツッコミを入れる]

# Noniko [こんにちわ，のに子です。マイブログに御指導ありがとうございました。「追われるより追え！」いい言葉ですね。励まされる思..]

# 福盛 [恐縮です。こちらこそよろしくお願いします。 ]

本日のリンク元 | 285 | 15 | 15 | 11 | 7 | 7 | 6 | 6 | 6 | 5 | TrackBack(0)

2004-11-28

■ [Modern Compiler Implementation in ML] 丸々一年経ってしまった

"mciML"を2003年11月29日に読み始めてから、丸一年が経過した。当時の日記には

SICPに行く前に少し寄り道…といいつつ、またスブズブとはまりそうな予感。

と書いてあるが、その予想通りどっぷりとハマっている。今回は引き続きLiveness Analysisの解析部分のコーディング。まずは214ページにある

というアルゴリズムをこんなカンジでプログラムとして組み上げる。プログラム中、getSetFromTbl()とmakeSet()という二つの似た関数が並んでいるのがどうにも気に入らないが、無理に共通化しようとすると逆に分かりにくくなるのでそのままにした。来週はどこまで進むだろうか。

[ツッコミを入れる]

本日のリンク元 | 4 | 2 | 2 | TrackBack(1)