diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-08 23:39:30 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-08 23:39:30 -0400 |
| commit | 828479d2aa9f668ececc866dc9cf00ee74662ebc (patch) | |
| tree | aceada74c618c3dc6e6f063415d129fd6e714985 /kernel/gsp_phys_boot.h | |
| parent | 06deaccd97b69f0beffe7d98ff9bfc1b0428591e (diff) | |
| download | open-iov-828479d2aa9f668ececc866dc9cf00ee74662ebc.tar.gz open-iov-828479d2aa9f668ececc866dc9cf00ee74662ebc.zip | |
vgsp-sema: only a real session end may request the discovery flush (ISSUE-0002)
A redundant channel delete (a FREE for a handle that never registered, or
a repeated delete after the session already ended) found the channel set
empty while the next client was already starting and re-armed the flush,
which then executed mid-startup and wiped that client's discovery state
(and dropped its pending releases): the client spun at its first channel.
Track whether a session's channel has registered since the last flush and
request the flush only on the true existed->empty transition; redundant
deletes are inert.
Diffstat (limited to 'kernel/gsp_phys_boot.h')
0 files changed, 0 insertions, 0 deletions
