Expand description
KernelObserver trait + panic-resilient ObserverRegistry.
Observer panic policy: first panic evicts. Eviction is recorded
in evicted set so subsequent deliveries skip the handle even if a
pathological observer were re-inserted with the same handle (it cannot
be — next_handle is monotonic).
Traits§
- Kernel
Observer - Sink for
KernelEvents. Implementations are invoked inBTreeMap<ObserverHandle, _>order during the post-commit drain ofKernel::step. Panics insideon_eventare caught and result in first-panic eviction of the observer (A22).