summaryrefslogtreecommitdiffstats
path: root/kernel/memory.c
diff options
context:
space:
mode:
authorArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-04 20:54:03 -0400
committerArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-04 20:54:03 -0400
commite9e24b6b316e47ac443ee57ed043e3d410a56783 (patch)
treec5b637ae4e0c13ec4d452f158f3d4ea9d7704d75 /kernel/memory.c
parent25d41ed6f719eb243a5ef77ab558510820a57c73 (diff)
downloadopen-iov-e9e24b6b316e47ac443ee57ed043e3d410a56783.tar.gz
open-iov-e9e24b6b316e47ac443ee57ed043e3d410a56783.zip
vgsp: never run work for a slot consumed without it (epoch mark + content-hash once gate)
The grace-expiry fake path consumed a held CE entry without marking its GPFIFO slot as consumed for the put epoch, and the replay guard only ran while the channel was not deferring. A later pin-batch rewind then re-read the slot, found no recorded identity, and executed the push's copies against a staging buffer the client had refilled after the faked release - a deterministic vadd input shift (a[k] == h_a[k + 2 MB]). - grace-fake consume path now calls svc_replay_note() before advancing; - the svc_replay_seen() replay skip is evaluated unconditionally: a slot consumed in the current epoch is skipped on every replay, deferral or not, until a put wrap clears the mark; - the once-only identity gate gains a content witness (FNV-1a hash of the recorded push bytes): the same entry words with different push content is a new push (clients rewrite push buffers in place) and runs its ops with a cleared done bitmap; suppression requires identical content; - snapshot write-back persists the hash array; new drain counter reident= counts content-mismatch cancellations; - the grace window stays at 8 s: a faked entry's work is never run, so the hold is that work's only chance (a 2.5 s experiment made red-class runs complete with corrupt data instead of timing out). Verified: module 8e90fc7e..., three consecutive end-to-end acceptance runs (MAIL + VADD bad=0 checksum=392344090.500000 + STATUS OK).
Diffstat (limited to 'kernel/memory.c')
0 files changed, 0 insertions, 0 deletions