diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 08:41:17 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 08:41:17 -0400 |
| commit | ae441e307665e748d3d5bd9ec028b3262b216a95 (patch) | |
| tree | e6589e8a903eac3b882a8818b999a8e325dbf7f8 /debug/risc-v-gsp-rm-vm/ghidra/GreenEyeControl.java | |
| parent | ba58dcdc5ad6ca021c723d279f33e3f14e1184df (diff) | |
| download | open-iov-ae441e307665e748d3d5bd9ec028b3262b216a95.tar.gz open-iov-ae441e307665e748d3d5bd9ec028b3262b216a95.zip | |
gsp-phys: relay verify hardening and counter exposure (default off)
- the work_relay state line now reports the real backend data-compare
verify_fail plus a verify_transient count, distinct from the sema-service
hold re-read verify_fail (previously the backend counter was dropped)
- a relayed copy whose host-side compare fails is re-read and re-compared
once after a short delay; a transient mismatch counts as success and only
a persistent mismatch falls back to the software apply as before
- the final-mismatch diagnostic now logs the semaphore target/payload/poll
time, the first differing byte and 16-byte dumps of live dst, live src and
a submit-time analysis material, flagging source mutation vs snapshot/dst
- the fault no_event path logs the post reason/return
All changes are behind the default-off relay path.
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/ghidra/GreenEyeControl.java')
0 files changed, 0 insertions, 0 deletions
