diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-09 11:38:55 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-09 11:38:55 -0400 |
| commit | 41b58e57d30a75526104898da96291773391d0b0 (patch) | |
| tree | 447dab09ac877adfffe0a3d0440d4f50e30661d2 /kernel/dynamic_rpc_dispatcher.h | |
| parent | f5f9d31ed0bd1b7e08b1072ef83ed41d743bbd91 (diff) | |
| download | open-iov-41b58e57d30a75526104898da96291773391d0b0.tar.gz open-iov-41b58e57d30a75526104898da96291773391d0b0.zip | |
vgsp-sema: defer pool releases decoded before the guest base/injection lands (ISSUE-0002)
Hold pool-VA releases for 5s after a channel registration so the fresh
session injection supersedes the previous client's translation, defer a
readable-zero pool word instead of absorbing the write, and keep an INC
pending entry alive until the word is non-zero. Second-session releases
still resolved to the previous client's page (observed: write to
0x122090000 while the fresh injection at 0x134590000 stayed zero) - the
stale-pin source is the remaining lead; diagnostic pool-rel candidates
added.
Diffstat (limited to 'kernel/dynamic_rpc_dispatcher.h')
0 files changed, 0 insertions, 0 deletions