Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.bag781(2009-06-26 12:58)
2.Rhett Trappman(2009-06-22 09:26)
3.Rhett Trappman(2009-06-22 09:24)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
ということでアジトを移るがのごとく「やさぐれエンジニアのかくれが」と「やさぐれ日記」の引越しを行った。
■ きっかけ
引越しを考えるに至った、はっきりとしたきっかけというのは特にない。研究室のサーバを間借りしているのがうしろめたくなったとか思うほど、元々しおらしいワケでもないし、もうしばらく図々しく居候を続けてもよかったのではあるが、向こう3年から5年ほどのやや長めのスパンで今後を予想してみると、間借り生活が少々心もとなくなってきた、という次第である。
■ 要件
というワケで移転を考え始めたのが3ヶ月ほど前のこと。引越し先を選ぶにあたっての要件は以下のようなものであった。
■ 迷走
と、ここまで来てまっさきに思い浮かぶのは自宅でサーバを立てて、DynDNSとのあわせ技で運用するという方式である。が…今さら自分で箱を組み上げて自宅に置くのは、なんというかメンドくさくていやだなぁと思ってしまったのだ。仮にサーバマシンを仕立て上げて5年運用するケースを考えると、サーバ構築に7万円ほど（もっと安いか）、ランニングコストはVIAの低消費電力系のCPUを使った場合で、ハードディスクやらなんやら全部込みの消費電力を30Wくらい（乱暴）と仮定して年間の消費電力を計算してみると大体年5000円、ということで総額10万円弱、年当たり2万円ほどかかる、という計算となる。
これだったら年2万円ほどの予算でレンタルサーバを借りたほうがラクかも、でもどの程度使えるものだろうか…と思っていた10月のある日のこと、Wataru's memoのこんな記事を発見した。ほほう、最近のレンタルサーバはroot権限の使えるモノがあるのね。ということで、いろいろと探し回ってみるが、値段やディスクスペースなどの点でなかなか希望に添うものが見つからない。ということで、この計画も頓挫である。
■ 発見
そうこうして1ヶ月ほどが過ぎた11月中旬、偶然「移転に伴うレンタルサーバについての考察」という記事に行き当たった。そもそもレンタルサーバを使うに当たってroot権限が必要かなと思っていたのは、tDiary（しかも自前で少々改造している）が使えるかがどうにも不明だったためである。これがクリアできれば一般のレンタルサーバを使うのもまったく問題はない、と思いつつ件の文章を読んでみると…XREAというキーワードが。あぁ、そういえばXREAはtDiaryの運用実績があった。しかも「年間2400円、500MB、転送量1GB/日」とか書いてある。24000円じゃなくて2400円。予想していたよりもマルが一つ少ない。さらに広告付きサービスならば無料とのことなので、まずは無料アカウントにて引越し実験をすることにした。
■ 引越し
11/23日にXREAのアカウントを取り、早速ファイルをごっそりとアップロードしてみる。
あらまぁ、なんとあっけない。あれこれ微調整を含めても移行は1時間弱で完了。広告付きの状態で1週間のテスト運用に入った。同時にドメインをValue-Domainにて取得。ドメイン名についてはあれこれ考えていたが結局空いていた"fukumori.org"に決定（適当）。こちらは年額990円である。シェルアカウントは使えないがこれはそれほど問題とならなかった。ということでそのまま正式サービスに移行して現在に至る、という次第。
■ 最後の仕上げ
引越し元もしばらくアクセス可能にしておこうかと当初は思っていたのであるが、もうここまで来たら一気にHTTP Redirectで引越し先へ誘導してしまうことにした。引越し元のpublic_html/.htaccessを以下のような内容に書き換える。
Redirect permanent /~fukumori http://fukumori.org
以上にて引越しはめでたく完了。ということで皆さま、今後ともよろしくお願いいたします。
先週で丸一年が経過したということは先週の日記にも書いたが、では一年間でどこまで進んだのか?という観点から振り返ってみることにしたい。
■ ハマリ具合をグラフにしてみた
2003年11月30日に開始してから今日に至るまでの読了ページをグラフ化することで、進み具合の傾向を眺めてみる。なお、現在製作中のコンパイラが一通り組みあがるのは"mciML"のPart1の終わり(263ページ)なので、ここを当面の目標としてグラフ中に示す。
出だし（2003年12月中旬まで）は40ページ/週というハイペースで進んだものの、それ以降は週当たり3ページ弱と、一気にスローダウンしている。見事なハマり具合である。
■ 作ったモジュールの依存関係を眺めてみた
現在使っているML処理系(SML/NJ)に付属している、CM(Compilation Manager,要するにmakeみたいなものね)をあれこれいじっているうちに、モジュール間の依存関係をGraphvizのファイル形式(dot)で出力する機能が標準で備わっていることが分かったのでさっそく試してみる。デフォルトの出力ではシステムライブラリへの参照が入っていたりするので、これを手作業で取り除いたりしてdotファイルを整理した後、Graphvizに食わせた結果、出てきた図がこれ：
いま作成しているモジュール(liveness.sml)は赤で表示してある。それにしてもいろいろと作ったものであるよ。
ここ2週間ほど書きつづけていたLiveness Analysisまわりのモジュールもいよいよ終盤である。今週は"interference graph"を構築する部分を組み上げた。アセンブリコード中の仮変数は最終的にはレジスタに割り振られるワケだが、コード中、ある二つの仮変数が互いに干渉(interference)するような場合、これらを同じレジスタに割り付けることは出来ない。"interference graph"とはその干渉関係をまとめたグラフのことを指す。グラフであるからには当然Graphvizの出番も回ってくる。今回は無向グラフを描画するためのツール"neato"を使ったお絵かきである。
まずは11月14日に使ったテストプログラムをネタにしたinterference graph。
面白みのない至極真っ当なグラフが出てくる。グラフ中において線で直接結ばれた仮変数は、同じレジスタに割り付けることが出来ない。ということでいずれの仮変数も%ebpレジスタに割り当てることは不可能である（というかそもそもそんなヘンなことをするヤツはいない）し、t1001とt1002は同じレジスタに割り付けることができないということが明らかとなる（これは元のアセンブリコードと比べるとよく分かる）。
これは少々単純すぎたので、もう少し複雑なものを相手にしてみようと思い、同じく11月14日に使ったマージソートのプログラムのinterference graphを出してみた。すると…
うげげ。まさに阿鼻叫喚と呼ぶにふさわしい図である。もっと簡単な例題でじっくりと確認した方が良さそうだ。
第10章で作成したモジュール"liveness.sml"は今週になってようやく完成。出来上がりはこんなカンジである。例のごとく、気になるところ（addInterferenceEdge()とmakeMovesList()に、『そこはかとなく』似た部分があるけどなんとか一つにまとめられないかなぁ、とか）も少々残っているが前に進む。落穂はあとで拾うこともあるだろう。
そして大詰めの第11章"Register Allocation"へ。2004年5月2日の日記では「第7章が最大の山場になりそう」とか書いていたが、本当の山場はここだったらしい。ページ数を見ても30ページと、今まで消化してきた中で最大のボリュームである。現在は230ページあたり。
秋葉原をうろうろと歩いていると、Wonder Cityという店の前あたりで、「256MB、USBタイプのMP3プレーヤーが2000円！」という店員さんの声が聞こえた。あっという間に人がむらがる。ジャンク扱いの品らしいが、2000円ならばハズしても痛くなかろうということで、僕もひとつ手に取り、レジに並ぶ。店員さんの声がしてから売り切れになるまで3分弱。一瞬の出来事であった。
で、買ったのがこれ。
NextwayのNMP-412Xという機種である。www.nextway.jpにはもはやつながらない（「ジャンク扱い」と言ってたのはこれが原因か）が、代理店である丸紅インフォテックのページにはファームウェアアップデート等の情報がまだ残っていた。関心空間内のページを見たところ、結構良いモノらしい。中身はRio SU30と同じだとか。
手持ちの携帯用ヘッドフォンと並べてみる。左はSonyのMDR-A44、右上はShureのE2c。
小さなMP3プレーヤーが手に入ったので、audible.comも再び活用することにした。ここはAudio Book(本の朗読)のダウンロード販売をしているサイトである。今年の3月に一度"Ender's Game"（邦題「エンダーのゲーム」）を購入したが、当時はCD-ROMを使うタイプのMP3プレーヤーしか持っていなかったため、出先で聴くのはかなり面倒であった覚えがある。
"Ender's Game"の続編に当たる"Ender's Shadow"（邦題「エンダーズ・シャドウ」）はabridged（短縮版）しか手に入らないので見送り（ちなみに「エンダーズ・シャドウ」はしばらく前に読んだので話の内容は一応覚えている…はず）、その続編に当たる"Shadow of the Hegemon"を$9.95で購入。収録時間12時間強、200MB弱の音声ファイルをダウンロードする。音声ファイルはMP3ではないのでNMP-412Xで直接聴くことはできないが、CD-ROMへの音声ファイルの書き込みはサポートされているので、「CD-RWへの書き込み→CD-RWから読み出してMP3に変換→CD-RWを消去（実際には5枚のディスクで回すのですぐ消すわけではないが）」という力技でなんとかする。ちなみにiPodとかだと直接転送ができるとのこと。ラクそうでいいなぁ。でもこっちのプレーヤーは2000円だし、まぁいいか。MP3化するときのビットレートは64Kbpsを選択したが、もっと低めでも良かったかもしれない。一度に2時間分(CD-RW2枚)くらいをMP3へ変換してNMP-412Xへ転送し、聴く。いいカンジだ。
"mciML"は前回と同様、第11章"Register Allocation"のぬかるみにはまる。現在は240ページあたり。なかなか（理解が）進まない。やっぱりここは難関みたいだ。それはそうと（と話をかえてごまかす）AT&T形式によるアセンブリ言語の記法については9月12日の日記にも書いたが、そこらへんのお話がキレイにまとめられている"Using Assembly Language in Linux"というドキュメントを発見した。簡潔でわかりやすく、カユいところに手が届く、とてもいい解説だ。さっそく「日本語訳して公開してもいい？」と作者にメールを出したが宛先不明で戻ってきた。残念。ちなみに日本語の書籍としては、「プログラミングの力を生み出す本―インテルCPUのGNUユーザへ」というのが良いらしい。ここの紹介でも「本書は和文書籍中、現時点で最高評価」とか言ってる。そういえば柴田くん（村岡研OB）も以前、この本を買うか買うまいか迷ってたなぁ。
# たけちゃん [えーー、そんなぁ。NMP-612(256MB)とってもイイ！のに。 僕、￥30,000出して去年買ったのに…。 ]