kerf init: reconcile the live pool instead of writing the baseline once - #17

Merged

congwang-mk merged 23 commits into

mainfrom

pool-reinit

Aug 22, 2026

Commits on Aug 21, 2026

models: Describe pool memory as kernel chunks plus per-node requests
congwang-mk
committed
edac816
parser: Read pool chunks and per-node memory requests from the baseline
congwang-mk
committed
e2f6b3c
parser: Scope legacy memory checks to /resources and migrate the examples
congwang-mk
committed
b64e634
extractor: Describe baseline memory as per-node allocation requests
congwang-mk
committed
61144b8
pool: Compute the difference between the live pool and a requested baseline
congwang-mk
committed
d2c9874
pool: Cover surplus-node release and size ordering in the diff
congwang-mk
committed
9da9520
overlay: Address fragments by target path and generate pool transactions
congwang-mk
committed
203bee0
runtime: Share one overlay write path and read every pool chunk
congwang-mk
committed
b1c6ab7
init: Reconcile the live pool against the requested baseline
congwang-mk
committed
f9b8d79
init: Detect a live pool from the kernel read-back, not the host CPU list
congwang-mk
committed
3da9f29
show: List every pool chunk with its NUMA node
congwang-mk
committed
3d938a0
init: Keep pool CPUs valid when re-initializing a live pool
congwang-mk
committed
abf06cb
pool: Validate and allocate against every pool chunk
congwang-mk
committed
301ded3
parser: Accept a live pool that holds no memory
congwang-mk
committed
a2d36c8
init: Say why the pool did not shrink
congwang-mk
committed
18ddf57
resources: Take the free CPU list from the kernel
congwang-mk
committed
1496e9d
kerf: Clean up around the pool interface
congwang-mk
committed
096017b
pool: Never offer a busy chunk back to the host
congwang-mk
committed
de63020

Commits on Aug 22, 2026

init: Request per-node pool memory as SIZE@N
congwang-mk
committed
65b61e4
init: Pick the NUMA node for an unpinned memory request in user space
congwang-mk
committed
cfb764e
tests: Satisfy the newer pylint run by CI
congwang-mk
committed
bc51ac6
ci: Build pylibfdt with a pinned swig before poetry installs
congwang-mk
committed
51b4894
init: Spell an empty resource as none and drop --teardown
congwang-mk
committed
8b0a67a

Navigation Menu

Uh oh!

kerf init: reconcile the live pool instead of writing the baseline once - #17

kerf init: reconcile the live pool instead of writing the baseline once#17
congwang-mk merged 23 commits into
mainfrom
pool-reinit

Commits on Aug 21, 2026

models: Describe pool memory as kernel chunks plus per-node requests

parser: Read pool chunks and per-node memory requests from the baseline

parser: Scope legacy memory checks to /resources and migrate the examples

extractor: Describe baseline memory as per-node allocation requests

pool: Compute the difference between the live pool and a requested baseline

pool: Cover surplus-node release and size ordering in the diff

overlay: Address fragments by target path and generate pool transactions

runtime: Share one overlay write path and read every pool chunk

init: Reconcile the live pool against the requested baseline

init: Detect a live pool from the kernel read-back, not the host CPU list

show: List every pool chunk with its NUMA node

init: Keep pool CPUs valid when re-initializing a live pool

pool: Validate and allocate against every pool chunk

parser: Accept a live pool that holds no memory

init: Say why the pool did not shrink

resources: Take the free CPU list from the kernel

kerf: Clean up around the pool interface

pool: Never offer a busy chunk back to the host

Commits on Aug 22, 2026

init: Request per-node pool memory as SIZE@N

init: Pick the NUMA node for an unpinned memory request in user space

tests: Satisfy the newer pylint run by CI

ci: Build pylibfdt with a pinned swig before poetry installs

init: Spell an empty resource as none and drop --teardown