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)
いつものように日記のリンク元一覧を眺めていると
http://www.shudo.net/antenna/?iwamuradesu
という一行が。以前からタダモノではないとは思っていたが、まさか久々の挨拶をそういうマニアックな方法で送ってくるとは…岩村くん、参りました。面白スギ。
先週のテストコード見直しは少々本筋とは離れていたが、今回はレジスタ割り付けの確認用コードを本格的に組み始める。12月12日の日記で紹介したinterference graph生成プログラムを元に、これをレジスタ割り付け用ルーチン向けに改造。ということで今回組んだテスト用コードはこちら。Graphvizで結果を表示させるとこんなカンジになる。
ノードに"Initial"や"Precolored"といった属性ラベルが付いていることや、若干色がついていることを除けば、以前のinterference graphと外見はほとんど変わっていないように見えるが、動作確認に必要な要素は（ひそかに）作りこまれている。もう少しするとそこらへんもうまく見せられるようになると思うのだが、さて。
今年もRubyな人々のお花見に参加。昨年は井の頭公園だったが、今年は代々木公園での開催。昨年同様、20人近くの人が集まる盛大な花見に。以下トピック：
プログラミングは今回は進まず。そういえば、先週のテスト用コード（とレジスタ割り付け部本体）が完成すると、どんな風になるかについてはあまり説明していなかったのであった。ちょうど良いことに東大の萩谷先生のところでやっているコンパイラの授業の資料「レジスタの割り付け.ppt」の11ページから29ページあたりまでのところに説明図があるので、これを見てもらうと雰囲気は（若干ではあるが）つかめるかも知れない。要するにグラフのノード（丸い部分）を一つ一つ消していった後に、消していったノードを色つきで復元する（ただし線でつながったノード同士は同じ色にしない）という一連の絵を出してみたいと思っているワケだ。ということで来週に続く。
■ 集合
会場には13:00に到着。20人以上やってくると聞いていたのに4〜5人の姿だけ。まもなく先週のお花見でもお会いした上山さんが登場。即席のxyzzyのプロモーションが始まった。まずは上山さんのナビゲーションでインストール、カスタマイズした後、手始めに階乗の計算を見せてもらう。
(defun fact (n)
(if (= n 0) 1
(* n (fact (- n 1)))))
と入力して実行。100までの階乗を計算させても楽勝である。さすがCommon Lisp（ちなみにMeadow(Emacs 20.7.1)で同じように計算をさせると11の階乗を超えたあたりで正しい答えが出なくなる）1000までの階乗も一瞬で計算する（おっ、ちょっとすごいかも）。10000までの階乗もちゃんと出た（かなりびっくり）。面白い。今度練習も兼ねて円周率の計算とかやってみようか。
14:00からは本日の目玉、artonさんによる講演が始まる。「COM―古きを訪ねて新しきを知る」「ビジネスWebフレームワークの現況」の二本立てである。
■ artonさん
一言で言うなら「知行一致の人」。
のバランスがとにかく高いレベルで実現されていることが話を聞いているだけで分かる。ところどころよく分からないところもあったんだけれどもね。「分からないなら何でその場で質問しないのだ」って？質問するには自分が理解できない部分がどこなのか分からないといかんのであるよ。（分かるかな？）
■ GUID
そんな中でもGUID（全世界で一意となるような128ビットのIDフィールド）についての説明はよく理解できたし、面白かった。
「初めの頃はGUIDの末尾6バイトにMACアドレスが使われていたので、これを生成する"CoCreateGuid" という関数をMACアドレスの取得に使っていた連中もいたんだが、Wordとかで作られた文書にもMicrosoftはGUIDを埋め込んでいたもんだから、プライバシーがどうのこうのと、あちこちでいろいろ問題になったわけだ。ということでMicrosoftはGUIDの生成法を変えてしまい、GUIDに頼ってMACアドレスを手に入れてた連中は全滅。」
GUIDとプライバシーの件は数年前に結構話題になっていたなぁと思いながら当時の記録を探し出してみる…これかな。
マイクロソフト社の『オフィス』文書にユーザー固有のID番号が隠されているというセキュリティー問題は、他のソフトウェア・アプリケーションで作成されたファイルにも影響を及ぼす可能性がある、とこの問題を見つけたプログラマーが述べた。
（…）
スミス社長やプライバシー擁護団体は、マイクロソフト社がすでにID番号のデータベースを作成してしまったのではないかと心配している。ただしマイクロソフト社側は、顧客の同意を得ずに不注意に集められた可能性のあるハードウェアID情報のデータベースは削除する予定だと語っている。
（HotWired 1999年3月8日「MSのセキュリティー問題を検知する方法」）
MACアドレスを入手する簡単な方法は他になかなか無かったので、GUIDの生成用関数"CoCreateGuid"を使うなんて出来事が起きたようなのだが、「もうこうなったらプログラムの中からDOSコマンドを実行してその結果を拾い出すというのが一番早いのではないか」という話も、あの場では出てきたと記憶している。だがそこでも落とし穴にはまる人たちがいたのであった。
この文章を Windows 98 上で読まれている方は実際に試してみるとよい。DOS窓で winipcfg /All /Batch と打てば、コマンドを実行したディレクトリ配下にWinipcfg.out という、そのマシンの IP ネットワーク情報の詳細が記述されたファイルが作成される。
しかし、Windows 95 日本語版だとこれがうまくいかないというのだ。半信半疑で試してみると・・・ホントだ、できん！
（…）
これは一体どうしたものだろう。我々は途方に暮れた。
（…）
Windows 95 日本語版においては、/All オプションは /全、/Batch オプションは/バッチというわけの分からん日本語化がなされているというのだ。しかも気をつけなければならないのは、上の「バッチ」は半角で入力しなければならないし、winipcfg /全 /バッチ（半角ね）の結果として作られるファイルの中身も半角カナだらけというおまけつきである。
（…）
Windows 98 でできるごく基本的な操作なら 95 でもできるだろうと踏んだ常識的な人間は、Windows 95に仕掛けられた五年殺しに泡を食うという案配だ。
（YAMDAS Project「窓の五年殺し vs 頼みの網」）
winipcfgコマンドのコマンドラインオプションに"/全"(漢字だ)と"/バッチ"（半角のカナだ）を要求する（しかもドキュメントには説明がない）とはまた豪快な。当時のMSKKの自由奔放ぶりがうかがえるエピソードである。さすがに今ならばそんな心配はしなくていい…はずであるが。
せっかくなので、他にMACアドレスを取得する方法はどんなものがあるのかな、と思いながら調べてみると、"How can I find the hardware address of a NDIS MAC adapter?"というページが見つかった。これによると、
と、9種類（！）もの方法があるみたい（どれを使うのがいいかは僕は知らないけど）。CoCreateGuid関数を使う方法は、Windows2000からは使えなくなっているという説明も確かにあるなぁ…でもその下に
However, Microsoft has introduced a new function, UuidCreateSequential, which behaves as CoCreateGuid did on previous versions.
（しかし、MicorosoftはUuidCreateSequentialという新しい関数を導入した。これは以前のバージョンのCoCreateGuid関数と同じように動作するものである）
とか書いてあるよ。Microsoftはやっぱり自由奔放だ。
■ 二次会と三次会
ということで（？）読書会も無事終わり、まぐろ食べ放題のお店に移動しての二次会。とろろと納豆付き。もちろんその他にも沢山料理が出てきた。主な話題は…
三次会は別の居酒屋にて。僕の座ったテーブルではなぜかフォントがらみの話題で盛り上がる。
さんざん騒いだ後に23時ごろ（？）に解散。お疲れ様でした。
# arton [先日はどうも。なんかすさまじく持ち上げていただいて恐縮です（と思わずコメントを入れるくらい舞い上がっている）。 ]
# 福盛 [いえいえ、こちらこそ恐縮です（ぉぉ、なんとも日本的な会話だ）なんというか、そのときの印象をそのまま書いたらあんな文章..]
# 三浦 [winipcfgのNT系版はリソースキットのツールとしてwntipcfgという名前で配られてますね。 ]
# 福盛 [ほほぅ…しかし"wnt"("win"ではない)ipcfgとはまたなんとも微妙な名前をつけるものですなぁ。google..]
# arton [>UuidCreateSequential 確かに自由奔放ですね。まあプライバシー侵害が問題となる既存コードはそのま..]
# 福盛 [UuidCreateSequentialみたいな仕様がデザインレビューを通過して(いや、そもそもトラディショナルなデ..]
テストコードの更新はさらに進む。4月3日の日記で出した、干渉グラフの表示内容も若干アップデート。現在出ている図はこんなカンジ：
4月3日の図との違いは赤い点線がついたことと、ノードの属性が変化しているところ。赤い点線は萩谷先生によるコンパイラの授業の資料「レジスタの割り付け.ppt」の30ページ「生存区間の合併」の対象となっているノードの組を表す。要するに赤い点線同士で結ばれたノードは出来る限り同じレジスタに割り当てるように努力する、ということ。逆に黒い実線で結ばれたノード同士には同じレジスタを割り当てないようにしなければならない。
また今回の図では、"MakeWorkist"というアルゴリズムまでの実行結果を各ノードの属性として表示させ、確認の対象としている。既にレジスタ名が割り付けられているノードは"Precolored"という属性が付けられている点については、4月3日の日記で出した図と同じであるが、他のノードについては
というルールで属性付けが行われている。
今回は"EnableMoves"、"DecrementDegree"、そして"Simplify"の各アルゴリズムの実装。レジスタ割り付け部の構造を示す下の図のうち、赤い色で示されたノードがそれに当たる。
ちなみにコードはこんなカンジ。これで実装も半分を超えたかというと、実はそういうワケにはいかないのであった。上の図は、アルゴリズムの全体像の見通しを良くするために、"Coalesce"とその配下にあるアルゴリズムを取り払った、いわば単純化版の図なのである（細かいいきさつは1月16日の日記を参照）。ということで下に示す図が、本来のレジスタ割り付け部の構造図。
（おなじみのセリフであるが）やはり先は長い。まだ当分はハマり楽しめそうだ。
4月1日から読んでいた"The Gift"(Marcel Mauss)を読了。日本語では「贈与論」というタイトルで知られる本。3月17日の日記で、「お返し文化」についてちょろっと書いたが、そこで述べた内容の延長線上にある、というかその分野の本家に当たる本というべきか。発行は1950年。南太平洋の島々に住む人々やオーストラリアのマオリ族、北アメリカのネイティブアメリカン、等の社会がかつて持っていた「贈り物をする」「贈り物をもらう」というシステムの複雑さを分析した、文化人類学の古典である。
「贈り物をする」「贈り物をもらう」ことを中心に回る社会というのは、要するに貨幣経済、つまり「お金」が登場する前の状況であるため、とても単純で原始的な「物々交換」（『オレ、これをやる。オマエ、それをよこせ』）の世界を連想してしまいがちなのだが、この本で紹介されるシステムはどれも、頭がクラクラするほど複雑なものばかりなのであった。特に驚いたのは、自分が人からもらった贈り物を第三者に渡し、それに対するお返しを受けた場合には、そのお返しを元の持ち主に渡さなければならないというマオリ族のルール。
これ、2002年度の未踏ソフトウェアに採択されていた伝播投資貨幣"picsy"の説明図「感謝の伝播」に出てくるのと、（ものすごく乱暴な解釈だが）基本的には同じ構造が現れているように見える。う〜ん…
オリジナルはフランス語。英語版は翻訳のせいか、やたら難しい文章になっている。amazonのレビューでも「読むほうにとっては文章の構成、語句の使い方などがあまり整理されておらず、読みにくいという印象を受けました」と書かれていたりする。確かに読むのは辛く、理解しきれないところも山のように残っているが、面白い本である。
# コザイク1号 [リンク元を個人情報と主張する人がいる件について ]