diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-20 17:40:42 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-20 17:40:42 -0400 |
| commit | d8a18e3bac91149b17dae4f3e99f05d201e96ba5 (patch) | |
| tree | 701c30b2a087116bc5d634d1f59d42ec63e499d7 /wiki/open-iov.org/index.php?title=OpenRM&action=edit.html | |
| parent | 44f62038e39a7678a9213e314116ea72ce55db35 (diff) | |
| download | open-iov-d8a18e3bac91149b17dae4f3e99f05d201e96ba5.tar.gz open-iov-d8a18e3bac91149b17dae4f3e99f05d201e96ba5.zip | |
sema: r376 pin-agreement on the copy ledger-first branches - a fresh disagreeing pin beats a recorded landing on both dst (write) and src (read) at top level and per page, repairing the entry; closes the stale-entry write (guest-corruption) and read (wrong-result) classes
Diffstat (limited to 'wiki/open-iov.org/index.php?title=OpenRM&action=edit.html')
0 files changed, 0 insertions, 0 deletions