pub struct ProcessNodes<T: Trace> {
objects: Vec<ObjectReference>,
bucket: WorkBucketStage,
phantom_data: PhantomData<T>,
}Expand description
A work packet for scanning objects and optionally do node-enqueuing tracing during a stop-the-world tracing GC and the final mark pause of a concurrent GC.
It will scan each object. For objects that supports slot enqueuing, it will collect their slots
and spawn ProcessSlots work packets to trace them. For objects that don’t support slot
enqueuing, it will immediately trace their slots and spawn other ProcessNodes work packets
to process their newly traced children. It is the VM’s responsibility to implement
Scanning::scan_object_and_trace_edges to update the references to point to the new addresses
in such a case.
Fields§
§objects: Vec<ObjectReference>§bucket: WorkBucketStage§phantom_data: PhantomData<T>Implementations§
Source§impl<T: Trace> ProcessNodes<T>
impl<T: Trace> ProcessNodes<T>
pub fn new(objects: Vec<ObjectReference>, bucket: WorkBucketStage) -> Self
fn try_enqueue_slots( &mut self, worker: &mut GCWorker<T::VM>, tls: VMWorkerThread, trace: &T, ) -> Vec<ObjectReference>
fn do_node_enqueuing_tracing( &mut self, worker: &mut GCWorker<T::VM>, tls: VMWorkerThread, trace: T, scan_later: Vec<ObjectReference>, )
Trait Implementations§
Source§impl<T: Trace> GCWork<<T as Trace>::VM> for ProcessNodes<T>
impl<T: Trace> GCWork<<T as Trace>::VM> for ProcessNodes<T>
Source§fn do_work(&mut self, worker: &mut GCWorker<T::VM>, mmtk: &'static MMTK<T::VM>)
fn do_work(&mut self, worker: &mut GCWorker<T::VM>, mmtk: &'static MMTK<T::VM>)
Define the work for this packet. However, this is not supposed to be called directly.
Usually
do_work_with_stat() should be used. Read moreSource§fn do_work_with_stat(
&mut self,
worker: &mut GCWorker<VM>,
mmtk: &'static MMTK<VM>,
)
fn do_work_with_stat( &mut self, worker: &mut GCWorker<VM>, mmtk: &'static MMTK<VM>, )
Do work and collect statistics. This internally calls
do_work(). In most cases,
this should be called rather than do_work() so that MMTk can correctly collect
statistics for the work packets.
If the feature “work_packet_stats” is not enabled, this call simply forwards the call
to do_work().Source§fn get_type_name(&self) -> &'static str
fn get_type_name(&self) -> &'static str
Get the compile-time static type name for the work packet.
Auto Trait Implementations§
impl<T> Freeze for ProcessNodes<T>
impl<T> RefUnwindSafe for ProcessNodes<T>where
T: RefUnwindSafe,
impl<T> Send for ProcessNodes<T>
impl<T> Sync for ProcessNodes<T>where
T: Sync,
impl<T> Unpin for ProcessNodes<T>where
T: Unpin,
impl<T> UnwindSafe for ProcessNodes<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Converts
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Converts
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Converts
&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)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Converts
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.§impl<T> DowncastSend for T
impl<T> DowncastSend for T
§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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