2005-09-23 Measuring the Impact of the Virtual Memory Manager in Linux (LSM 2005) Linux Linux て可変ページは full には使ってないのか…知らんかった Linux でも TLB の flush が大いの少ないのというのは頭痛のタネみたい。IPC が重要な primitive な L4 とはちょっと違う方向性でだけど、でも Hurd/L4 も kernel replacement としてちゃんと稼働し始めたら同じ問題を扱うことになるんでしょうな。