Expand description
Page-table-cache bench guest (one image, two endpoints).
- Endpoint 0 (caller
A): reads a countnfromφ[7],derive_spawns a child Instance once (from its own image — the kernel’sderive_spawnfalls back to the running frame’s image when the image slot is empty), thenhost_calls that resident child’s echo endpointntimes, summing the echoes. Because the child is anOwnedsub-VM that HALT folds back into the same cnode slot, every iteration re-CALLs the same residentB. - Endpoint 1 (echo
B): returns its argument (φ[7]) unchanged. No data-region access ⇒ no CoW, no per-instance page-table delta.
Goal: a steady-state CALL into the resident B allocates nothing
beyond a small KernelFrame — no per-CALL page-table rebuild. The
companion tests/pt_cache_heap.rs measures that directly.