2008-09-19 [長年日記]
λ. The Transactional Memory / Garbage Collection Analogy
The Transactional Memory / Garbage Collection Analogy by Dan Grossman
Transactional memory (TM) is to shared-memory concurrency as garbage collection (GC) is to memory management.
The Transactional Memory / Garbage Collection Analogy | Lambda the Ultimate より。
A unified theory of garbage collection のようなものを期待していたら、本当にただのアナロジーだった。 もっとも、著者がCycloneの作者の一人であることもあって、非常に説得力のあるアナロジーではあるのだけど。
あと、X10, Fortress, Chapel といった次世代の言語ではトランザクショナルメモリが言語の一部になっているそうな。X10とFortressは知ってたけど、Chapelってのもあるのね。
λ. 量子誤り訂正符号
decoherenceによる問題は量子誤り訂正符号で常に回避可能なものなのだろうか? 回避可能だとして、それはGCのように普段はその存在を意識しないで構わないものになるのだろうか? それともトランザクショナルメモリーのように抽象的にではあっても存在を意識する必要があるものになるのだろうか? 知人と量子計算について話していてちょっとそんなことを思った。まだ量子誤り訂正符号がどんなものなのか私は全然理解してないけど。
λ. シュシュ
シュシュって何かと思ったら、ヘアアクセサリなのね。 シュッ・シュッとは関係ないと。