日々の流転

λ. ドメイン認証の問題点と解決案

を読んだ。/.J の IPアドレスの最近傍識別を行うSPAM Filter より。

λ. RHG読書会::東京 入門JavaScript 第四回

先月はなかったので二ヶ月ぶり。 RHG読書会みたいな楽しさは久しぶりで、なんだか元気をもらった気がする。

jsthread

牧さんのjsthreadの話が面白かった。jsthreadはプリエンプティブなスレッドを実装したJavaScriptライブラリ。

• <URL:http://sourceforge.net/projects/jsthread/>
• <URL:http://jsthread.sourceforge.net/>

今回の話を聞くまでは「CPS変換して継続呼び出しをsetTimeoutを介するようにすれば良いだけじゃん」とか思っていたのだが、実際に話を聴いたら面白かった。

Function#toStringで取得した関数のソースコードをパースし Trampolined Style に変換する。そして、変換結果をその関数のプロパティに保存しておく。このライブラリは関数を呼ぶ際にこのプロパティが存在するかチェックし、存在しない場合には普通の関数呼び出しを行い、存在する場合にはそれをスケジューラに渡して呼び出す。 このようになっているために、変換されていないコードから変換済みの関数を呼び出す際にも問題が起こらないようになっている。 考えてみればJavaScriptらしい自然な設計ではあるが、細かいところまで良く出来ていると感じた。

本質的な問題は変換対象の関数が自由変数を含む場合。JavaScriptには環境を明示的に操作する機能はないと思うので、自由変数にアクセスできないはず。 ……と思ったが、Firefoxではevalの第二引数を使うことで以下のようにアクセスできた。IEやOperaではダメだったけど。

var f = (function(x){ return function(){ return x } })(10)
eval("x", f) //=> 10
eval("function(z){x=z}", f)(100)

ということは、Firefoxのことだけを考えるのなら jsthread-fv-firefox.diff のようにすれば良い。

それから、JavaScriptのパーサがソースコード中の大きな量を占めている。個人的に「JavaScriptでパーサはあまり書きたくないなぁ」と思っていたが……　なお、パーサはRhinoのコードを翻訳したそうで、拡張構文(?)もそのまま使えるそうだ。

あと、このような変換ではプログラムの意味が変わってしまうので、変換の正当性をどのように定義するかが難しいそうだ。

関連

• ライフ - L'eclat des jours(2007-04-15)
• JavaScript でプリエンプティブなスレッドを - val it : α → α = fun

λ. 日本Ruby会議2007のチケット

今日10:00に発売で13:30頃に売り切れだったとか。 買えなかった……しょぼーん。

というか、そもそも今日発売だったこと自体を知らなかった。 最近アンテナが低すぎな私 orz

そういえば、プログラムをみて気付いたのだが、今回はむとうさんも発表するのだな。むとうさんはあまりこういうイベントには出てこない印象があったので楽しみ。