Trait miri::shims::unix::thread::EvalContextExt

source ·
pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn pthread_create(
        &mut self,
        thread: &OpTy<'tcx>,
        _attr: &OpTy<'tcx>,
        start_routine: &OpTy<'tcx>,
        arg: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, ()> { ... }
    fn pthread_join(
        &mut self,
        thread: &OpTy<'tcx>,
        retval: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, ()> { ... }
    fn pthread_detach(&mut self, thread: &OpTy<'tcx>) -> InterpResult<'tcx, ()> { ... }
    fn pthread_self(&mut self) -> InterpResult<'tcx, Scalar> { ... }
    fn pthread_setname_np(
        &mut self,
        thread: Scalar,
        name: Scalar,
        max_name_len: usize,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn pthread_getname_np(
        &mut self,
        thread: Scalar,
        name_out: Scalar,
        len: Scalar,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn sched_yield(&mut self) -> InterpResult<'tcx, ()> { ... }
}

Provided Methods§

source

fn pthread_create( &mut self, thread: &OpTy<'tcx>, _attr: &OpTy<'tcx>, start_routine: &OpTy<'tcx>, arg: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>

source

fn pthread_join( &mut self, thread: &OpTy<'tcx>, retval: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>

source

fn pthread_detach(&mut self, thread: &OpTy<'tcx>) -> InterpResult<'tcx, ()>

source

fn pthread_self(&mut self) -> InterpResult<'tcx, Scalar>

source

fn pthread_setname_np( &mut self, thread: Scalar, name: Scalar, max_name_len: usize, ) -> InterpResult<'tcx, Scalar>

Set the name of the current thread. max_name_len is the maximal length of the name including the null terminator.

source

fn pthread_getname_np( &mut self, thread: Scalar, name_out: Scalar, len: Scalar, ) -> InterpResult<'tcx, Scalar>

source

fn sched_yield(&mut self) -> InterpResult<'tcx, ()>

Implementors§

source§

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