diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-20 23:59:51 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-20 23:59:51 -0400 |
| commit | 243a40f6f715f410864c75731ad57062c6ce6fcb (patch) | |
| tree | 2d583b6b624ea714e2a457fe8e21e0ef2fb663c8 /wiki/open-iov.org/index.php?title=Special:UserLogin&returnto=OpenRM.html | |
| parent | f1c8349168cfcd3a2f0c293a4cf290be990d0e05 (diff) | |
| download | open-iov-243a40f6f715f410864c75731ad57062c6ce6fcb.tar.gz open-iov-243a40f6f715f410864c75731ad57062c6ce6fcb.zip | |
boot/gr: r391d post-write witness - read the VA's landing page immediately after the copy-out write
The sum=0 class: OUT-PAGE-WIT shows the changed page's bytes in the bounce
(the correct sum) and the ledger resolution (pa=0x7c00000 ap=FB), the
copy-out writes hpa=0x16f07a000, and the D2H read of the same ledger page
8-34 ms later reads zeros. sema-fbhpa proves __va(hpa) == base+pa at submit
time. This witness reads the page right after the memcpy through the same
path the D2H reader uses, so the next failing run names whether the write
target and the reader's page differ (aperture/staleness) or the write
vanished.
Diffstat (limited to 'wiki/open-iov.org/index.php?title=Special:UserLogin&returnto=OpenRM.html')
0 files changed, 0 insertions, 0 deletions
