Struct mmtk::plan::barriers::ObjectBarrier

source · 
pub struct ObjectBarrier<S: BarrierSemantics> {
    semantics: S,
}
Expand description

Generic object barrier with a type argument defining it’s slow-path behaviour.

Fields§

§semantics: S

Implementations§

source§

impl<S: BarrierSemantics> ObjectBarrier<S>

source

pub fn new(semantics: S) -> Self

source

fn object_is_unlogged(&self, object: ObjectReference) -> bool

Attepmt to atomically log an object. Returns true if the object is not logged previously.

source

fn log_object(&self, object: ObjectReference) -> bool

Attepmt to atomically log an object. Returns true if the object is not logged previously.

Trait Implementations§

source§

impl<S: BarrierSemantics> Barrier<<S as BarrierSemantics>::VM> for ObjectBarrier<S>

source§

fn flush(&mut self)

source§

fn object_reference_write_post( &mut self, src: ObjectReference, slot: <S::VM as VMBinding>::VMSlot, target: Option<ObjectReference> )

Full post-barrier for object reference write
source§

fn object_reference_write_slow( &mut self, src: ObjectReference, slot: <S::VM as VMBinding>::VMSlot, target: Option<ObjectReference> )

Object reference write slow-path call. This can be called either before or after the store, depend on the concrete barrier implementation.
source§

fn memory_region_copy_post( &mut self, src: <S::VM as VMBinding>::VMMemorySlice, dst: <S::VM as VMBinding>::VMMemorySlice )

Full post-barrier for array copy
source§

fn object_probable_write(&mut self, obj: ObjectReference)

A pre-barrier indicating that some fields of the object will probably be modified soon. Specifically, the caller should ensure that: * The barrier must called before any field modification. * Some fields (unknown at the time of calling this barrier) might be modified soon, without a write barrier. * There are no safepoints between the barrier call and the field writes. Read more
source§

fn object_reference_write( &mut self, src: ObjectReference, slot: VM::VMSlot, target: ObjectReference )

Subsuming barrier for object reference write
source§

fn object_reference_write_pre( &mut self, _src: ObjectReference, _slot: VM::VMSlot, _target: Option<ObjectReference> )

Full pre-barrier for object reference write
source§

fn memory_region_copy(&mut self, src: VM::VMMemorySlice, dst: VM::VMMemorySlice)

Subsuming barrier for array copy
source§

fn memory_region_copy_pre( &mut self, _src: VM::VMMemorySlice, _dst: VM::VMMemorySlice )

Full pre-barrier for array copy

Auto Trait Implementations§

§

impl<S> RefUnwindSafe for ObjectBarrier<S>
where S: RefUnwindSafe,

§

impl<S> Send for ObjectBarrier<S>

§

impl<S> Sync for ObjectBarrier<S>
where S: Sync,

§

impl<S> Unpin for ObjectBarrier<S>
where S: Unpin,

§

impl<S> UnwindSafe for ObjectBarrier<S>
where S: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.