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 | f5f9d31ed0bd1b7e08b1072ef83ed41d743bbd91 (patch) | |
| tree | cbd434237e9c6ace367612c59e05c2880cde02fd /kernel/architecture | |
| parent | 01b7626a6ef10da3f29e0d322b281d941c4b3d51 (diff) | |
| download | open-iov-f5f9d31ed0bd1b7e08b1072ef83ed41d743bbd91.tar.gz open-iov-f5f9d31ed0bd1b7e08b1072ef83ed41d743bbd91.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/architecture')
0 files changed, 0 insertions, 0 deletions
