mirror of
https://github.com/boykopovar/AnyPS5.git
synced 2026-11-07 13:39:55 +00:00
Yunus Shaikh
23c201722c
A cache hit compared every captured region against guest memory, the table's words included: about 1 MiB and 32,768 regions for Village's heap, 77-81 us per compare. When a capture shared a column's words by reference (the memo's block), the variant records that block for those words, and an unwritten block now vouches for them instead: one ShaderMemory::Vouched call per block (the layout, no pending write, the flush hook, collect and UnchangedSince over the block's span), then validateCaptured skips the regions the block holds. Regions noted pending are always compared, and so is everything when the block is gone or refused. The block keeps its stamp in a shared cell instead of the memo, so a compare that finds the column unchanged after a store elsewhere in its span renews the stamp for every variant sharing the block, not just for the thread that compared it. The cell is a sequence lock: a reader that races a renewal gets no stamp and compares. APS5_NO_VOUCHED_VALIDATION=1 turns the vouch off. ShaderMemory::Vouches counts vouched and refused blocks and the words they covered. Tests: VouchSharedRegions over a strided table (only the table's regions, one block, one call), refused for a pending GPU write into a record or between records, a changed mapping, CPU, driver and GPU-result stores, a store between records until a compare renews the stamp, and a released block; and agc_driver_image_table_vouched_lookups, which dispatches over a write-watched heap (APS5_WRITE_WATCH_IMPORTS=watch, as on Windows) and checks that hits are vouched for and that a CPU store, a CP WRITE_DATA pending ahead of the dispatch and a driver store each refuse the vouch and capture the table again.