diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-09 10:36:40 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-09 10:36:40 -0400 |
| commit | 5c87a30965485ef546bb793ef737f2ae7ff1e761 (patch) | |
| tree | 9cdcb464f0f3850f847b133edf8b3f4de9dda2a7 /kernel/memory.c | |
| parent | caa0369a9e54444a6b325b7a4faff2d960ecba15 (diff) | |
| download | open-iov-5c87a30965485ef546bb793ef737f2ae7ff1e761.tar.gz open-iov-5c87a30965485ef546bb793ef737f2ae7ff1e761.zip | |
vgsp-sema: never drop a decoded pool release in the counter path (ISSUE-0002)
A CE (pool) release that reaches svc_counter_release_apply finds no
counter slot and was discarded. The launch path normally writes pool
releases via svc_sem_write, but skips it whenever it believes the value
was already applied (or the word was unreadable at decode time); the
second session's early releases were lost exactly there. Apply
forward-only absolute through the pool writer instead - idempotent for
a monotonic tracker, so a duplicate can never double-count.
Diffstat (limited to 'kernel/memory.c')
0 files changed, 0 insertions, 0 deletions