Module state_bank 

Software state banks, runtime knobs, and diagnostic triggers for in-situ driver experimentation.

StateBank implements MmioBackend and ResourceBackend over a 32-bit word-addressed virtual bank of 4-byte aligned offsets. A driver can register:

• Observable state slots (StateBank::define_state_slot): lock-free AtomicU32 slots readable by the host (via read32, poll32, or snapshot) and updated by the driver via StateSlotHandle.
• Runtime knobs (StateBank::define_knob): writable AtomicU32 slots (included in writable_registers) for fault/race-window injection or runtime fix-toggle experiments.
• Read probes (StateBank::define_read_probe): synchronous callbacks evaluated on demand when the host reads the offset.
• Diagnostic triggers (StateBank::define_trigger): writable offsets backed by a bounded callback Fn(u32) -> Result<u32, BackendError> whose returned status word is stored for readback and subsequent polling.

Structs

StateBank

Word-addressed software state bank exposing observable driver state slots, policy-gated runtime knobs, read probes, and diagnostic triggers.

StateSlotHandle

Lock-free handle to a 32-bit state slot or runtime knob shared between an instrumented driver and a StateBank.

Enums

StateEntry

Entry bound to a 4-byte aligned offset inside a StateBank.

Type Aliases

ReadProbeFn

Callback type for on-demand 32-bit state read probes.

TriggerFn

Callback type for write-triggered diagnostic actions.