Commit 73d1b45
committed
feat(notecard): Re-entrant run_operation chokepoint + request-lock seam
All Notecard entry points funnel through run_operation(), which holds an optional operation lock for the whole operation; nested entry points (e.g. execute(const T&) inside execute(T&)) re-enter as no-ops via a depth counter. The operation lock reuses the IBusLock seam (set_request_lock/clear_request_lock); null default = zero behavioral cost. RTX/readiness is wired in a later task.1 parent 7f4950e commit 73d1b45
4 files changed
Lines changed: 439 additions & 236 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
196 | 196 | | |
197 | 197 | | |
198 | 198 | | |
199 | | - | |
| 199 | + | |
| 200 | + | |
200 | 201 | | |
201 | 202 | | |
202 | 203 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
158 | 158 | | |
159 | 159 | | |
160 | 160 | | |
| 161 | + | |
161 | 162 | | |
162 | 163 | | |
163 | 164 | | |
| |||
194 | 195 | | |
195 | 196 | | |
196 | 197 | | |
| 198 | + | |
197 | 199 | | |
198 | 200 | | |
199 | 201 | | |
| |||
0 commit comments