diff options
Diffstat (limited to 'docs/03-architecture')
| -rw-r--r-- | docs/03-architecture/06-host-module-and-hybrid-model.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/03-architecture/06-host-module-and-hybrid-model.md b/docs/03-architecture/06-host-module-and-hybrid-model.md index dbf0c00..73349e8 100644 --- a/docs/03-architecture/06-host-module-and-hybrid-model.md +++ b/docs/03-architecture/06-host-module-and-hybrid-model.md @@ -256,6 +256,19 @@ pipeline: The same page-granular discipline already applies to the host-side bridge read/write helpers and to semaphore I/O. +Rule 1 holds at *operation* granularity as well as per entry. A push whose +decode finds one operand still under targeted translation is left pending and +decoded again on the next pass; the operations that already ran before the +hold must not run again. The service therefore records, per slot, the +identity of the entry plus a bitmap of the decoded operation indexes whose +work has executed for that identity. A retry skips those operations and only +re-attempts the ones that did not run; once a pass completes with no operand +left pending, a replay of the identity suppresses all operations. This +closes the hole where a held-and-retried entry re-ran a completed 1 MB +staging copy after the client refilled the staging buffer, overwriting a +finished chunk with the following chunk's data (observed once in fourteen +live cycles before the fix). + ## 5. The forwarding path (design) ``` |