Pager

Rev.6を表示中。最新版はこちら。

Pagerはディスク上のデータなどをアドレス空間からアクセスできるようにする。Default Pager,Vnode Pager,Device Pagerの三種類がある。

Default Pager

仮想記憶を実現するために補助記憶装置にPageOutされたページをPageInする。

Vnode Pager

ファイルとアドレス空間のマッピングを行う。mmap()などで使用される。

Device Pager

I/O空間上のメモリなどハードウェア上のメモリなどをマップするのに使う。

[関連ルーチン]
memory_object_data_request()

Memory Object(Pager)にデータの取得を要求する。
Pagerの種類に応じて各Requestルーチンを呼び出す。

dp_memory_object_data_request()
vnode_pager_data_request()
device_pager_data_request()

vm_fault_page()でPageIn処理をするのに使われる。