Trait miri::concurrency::data_race::EvalContextPrivExt

trait EvalContextPrivExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
    fn validate_atomic_op<A: Debug + Copy>(
        &self,
        place: &MPlaceTy<'tcx, Tag>,
        atomic: A,
        description: &str,
        op: impl FnMut(&mut MemoryCellClocks, &mut ThreadClockSet, VectorIdx, A) -> Result<(), DataRace>
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods

fn validate_atomic_op<A: Debug + Copy>(
    &self,
    place: &MPlaceTy<'tcx, Tag>,
    atomic: A,
    description: &str,
    op: impl FnMut(&mut MemoryCellClocks, &mut ThreadClockSet, VectorIdx, A) -> Result<(), DataRace>
) -> InterpResult<'tcx>

Generic atomic operation implementation

Implementors

impl<'mir, 'tcx: 'mir> EvalContextPrivExt<'mir, 'tcx> for MiriEvalContext<'mir, 'tcx>