Trait EvalContextExt 

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn has_watcher_with_blocked_thread(&self, fd_id: FdId) -> bool { ... }
    fn update_fd_readiness(
        &mut self,
        fd: FileDescriptionRef<dyn FileDescription>,
        force_edge: bool,
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods

fn has_watcher_with_blocked_thread(&self, fd_id: FdId) -> bool

Returns whether the given FD has any readiness watcher with a blocked thread watching it.

fn update_fd_readiness( &mut self, fd: FileDescriptionRef<dyn FileDescription>, force_edge: bool, ) -> InterpResult<'tcx>

For a specific file description, get its current readiness and send it to everyone who registered interest in this FD. This function must be called whenever the result of FileDescription::readiness might change.

If force_edge is set, edge-triggered interests will be triggered even if the set of ready events did not change. This can lead to spurious wakeups. Use with caution!

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> EvalContextExt<'tcx> for MiriInterpCx<'tcx>