2007-11-27 [長年日記]
λ. CSLI Lecture Notes online and free
いまさらだけど <URL:http://lambda-the-ultimate.org/node/2532> より。 CSLI Lecture Notes がオンラインでフリーで読めるようになったらしい。 Aczel の Non-well-founded Sets とか色々あるな。 すごいなぁ。
λ. “Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters” by Marc Berndl, Benjamin Vitale, Mathew Zaleski and Angela Demke Brown
を読んだ。 <URL:http://www.atdot.net/~ko1/diary/200711.html#d23> より。
どうだった？＞context threading
direct threading は分岐予測が効かないのが原因で遅いなんて、考えたこともなかったので面白かったです。ただ、私はこの分野の知識があまりない(ささださん経由で聞いたくらいしかない)ので、どれくらい凄い話なのかは良くわからなかったけど。<br><br>あと、direct threading の場合はGCC拡張で比較的ポータブルに実現できたけど、これの場合にはそうはいかないですよね?