erix/pagerd
1
0
Fork 0
generated from erix/meta
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
pagerd is the user-space paging/backing policy service. It provides page content and page-fault resolution policy for managed mappings.
26 commits 1 branch 0 tags 212 KiB
  • Rust 100%
Find a file
Exact
Erik Inkinen e3a35a7086
All checks were successful
CI / test (push) Successful in 5s
Details
CI / security (push) Successful in 1m27s
Details
CI / minimal-versions (push) Successful in 11s
Details
pagerd: drop unstable rustfmt options for stable toolchains
2026-03-23 10:19:56 +02:00
.github refactor: Update milestone terminology to component milestone tracking across documentation 2026-03-05 11:56:53 +02:00
src pagerd: split runtime and startup paths 2026-03-23 09:37:40 +02:00
.editorconfig Initial commit 2026-02-26 17:47:51 +01:00
.gitignore Initial commit 2026-02-26 17:47:51 +01:00
ARCHITECTURE.md runtime-mode: migrate feature gates and document mode model 2026-03-11 08:04:59 +02:00
Cargo.toml runtime-mode: migrate feature gates and document mode model 2026-03-11 08:04:59 +02:00
CODE_OF_CONDUCT.md Initial commit 2026-02-26 17:47:51 +01:00
CONTRIBUTING.md refactor: Update milestone terminology to component milestone tracking across documentation 2026-03-05 11:56:53 +02:00
LICENSE Initial commit 2026-02-26 17:47:51 +01:00
linker.ld feat: Add stack reserve section and enhance IPC message handling in main.rs 2026-03-04 14:50:43 +02:00
README.md refactor: Update milestone terminology to component milestone tracking across documentation 2026-03-05 11:56:53 +02:00
ROADMAP.md runtime-mode: migrate feature gates and document mode model 2026-03-11 08:04:59 +02:00
rustfmt.toml pagerd: drop unstable rustfmt options for stable toolchains 2026-03-23 10:19:56 +02:00
SECURITY.md docs: align security policy phase numbering 2026-03-11 05:28:14 +02:00

README.md

EriX Pager Service (pagerd)

pagerd is the user-space paging/backing policy service. It provides page content and page-fault resolution policy for managed mappings.

Scope

  • resolve page-fault requests for approved mappings
  • provide zero-fill/file-backed/other backing policy (as defined by system policy)
  • coordinate with vspaced and memd for mapping and frame lifecycle

Out of Scope

  • address-space layout policy (owned by vspaced)
  • global process lifecycle policy (owned by procd)

Inputs and Outputs

  • startup contract: docs/handoff/root-to-services.md
  • receives pager-relevant capabilities from rootd
  • serves page-fault/backing IPC protocols to authorized peers

Invariants

  • no undeclared authority outside transferred caps
  • deterministic page-fault behavior for deterministic backing state
  • explicit error signaling on unrecoverable fault paths

Implementation Status

Runtime baseline:

  • no_std executable service binary (x86_64-unknown-none) with SysV entry ABI
  • startup envelope parsing/validation via lib-bootstrap
  • role/intake contract validation via lib-capabi
  • runtime IPC server loop (RECV + REPLY) for pager fault/resolve messages
  • deterministic fault-id tracking and resolve response policy