pager - Mechanism for userspace paging
Pagers provide a mechanism for a userspace process to provide demand paging for VMOs.
A pager object allows a userspace pager service (typically a filesystem) to create VMOs that serve as in-memory caches for external data. For a given VMO created by a pager object, the kernel delivers page requests to an associated port. The pager service is then responsible for fulfilling the requests by supplying the appropriate pages to the VMO.
The kernel does not do prefetching; it is the responsibility of the pager service to implement any applicable prefetching.
It is possible for a single pager to simultaneously back multiple VMOs. Requests for the different VMOs can be differentiated by the key parameter used when creating the VMO. It is also possible for multiple independent pager objects to exist simultaneously.
Creating a pager is not a privileged operation. However, the default behavior of syscalls that
operate on VMOs is to fail if the operation would require blocking on IPC back to a userspace
process, so applications generally need to be aware of when they are operating on pager owned
VMOs. This means that services that provide pager owned VMOs to clients should be explicit about
doing so as part of their API. Whether or not accesses into a VMO may result in a pager request
can be determined by checking for the ZX_INFO_VMO_PAGER_BACKED flag returned by
zx_object_get_info() in zx_info_vmo_t.
TODO(stevensd): Writeback is not currently implemented. Update the documentation when it is.
- vm_object - Virtual Memory Objects
- pager_create - create a new pager object
- pager_create_vmo - create a vmo owned by a pager
- pager_detach_vmo - detaches a pager from a vmo
- pager_supply_pages - supply pages into a pager owned vmo
- pager_op_range - performs a pager operation on the specified range