Skip to main content

EffectSink

oris_kernel::kernel::runtime_effect

Trait EffectSink 

Source 
pub trait EffectSink: Send + Sync {
    // Required method
    fn record(&self, run_id: &RunId, effect: &RuntimeEffect);
}
Expand description

Sink for recording runtime effects for the active thread/run.

The kernel driver (and any code that produces side effects) should log every RuntimeEffect through this trait so that nothing is uncaptured. Implementations may append to a thread-local buffer, a run-scoped log, or a no-op for tests.

Required Methods§

Source

fn record(&self, run_id: &RunId, effect: &RuntimeEffect)

Records one runtime effect for the given run.

Implementors§