Trait miri::concurrency::sync::EvalContextExtPriv

source ·
pub(super) trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn get_or_create_id<Id: SyncId + Idx, T: Default>(
        &mut self,
        lock_op: &OpTy<'tcx>,
        lock_layout: TyAndLayout<'tcx>,
        offset: u64,
        get_objs: impl for<'a> Fn(&'a mut MiriInterpCx<'tcx>) -> &'a mut IndexVec<Id, T>,
    ) -> InterpResult<'tcx, Option<Id>> { ... }
    fn condvar_reacquire_mutex(
        &mut self,
        mutex: MutexId,
        retval: Scalar,
        dest: MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods§

source

fn get_or_create_id<Id: SyncId + Idx, T: Default>( &mut self, lock_op: &OpTy<'tcx>, lock_layout: TyAndLayout<'tcx>, offset: u64, get_objs: impl for<'a> Fn(&'a mut MiriInterpCx<'tcx>) -> &'a mut IndexVec<Id, T>, ) -> InterpResult<'tcx, Option<Id>>

Lazily initialize the ID of this Miri sync structure. If memory stores ‘0’, that indicates uninit and we generate a new instance. Returns None if memory stores a non-zero invalid ID.

get_objs must return the IndexVec that stores all the objects of this type.

source

fn condvar_reacquire_mutex( &mut self, mutex: MutexId, retval: Scalar, dest: MPlaceTy<'tcx>, ) -> InterpResult<'tcx>

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<'tcx> EvalContextExtPriv<'tcx> for MiriInterpCx<'tcx>