Pager
Rev.5を表示中。最新版はこちら。
Pagerはディスク上のデータなどをアドレス空間からアクセスできるようにする。Default Pager,Vnode Pager,Device Pagerの三種類がある。Default Pager
仮想記憶を実現するために補助記憶装置にPageOutされたページをPageInする。
Vnode Pager
ファイルとアドレス空間のマッピングを行う。mmap()などで使用される。
Device Pager
I/O空間上のメモリなどハードウェア上のメモリなどをマップするのに使う。