pub struct GCWorkScheduler<VM: VMBinding> {
    pub work_buckets: EnumMap<WorkBucketStage, WorkBucket<VM>>,
    pub(crate) worker_group: Arc<WorkerGroup<VM>>,
    pub(crate) worker_monitor: Arc<WorkerMonitor>,
    affinity: AffinityKind,
}

Fields§

§work_buckets: EnumMap<WorkBucketStage, WorkBucket<VM>>

Work buckets

§worker_group: Arc<WorkerGroup<VM>>

Workers

§worker_monitor: Arc<WorkerMonitor>

For synchronized communication between workers and with mutators.

§affinity: AffinityKind

How to assign the affinity of each GC thread. Specified by the user.

Implementations§

source§

impl<VM: VMBinding> GCWorkScheduler<VM>

source

pub fn new(num_workers: usize, affinity: AffinityKind) -> Arc<Self>

source

pub fn num_workers(&self) -> usize

source

pub fn spawn_gc_threads( self: &Arc<Self>, mmtk: &'static MMTK<VM>, tls: VMThread )

Create GC threads for the first time. It will also create the GCWorker instances.

Currently GC threads only include worker threads, and we currently have only one worker group. We may add more worker groups in the future.

source

pub fn stop_gc_threads_for_forking(self: &Arc<Self>)

Ask all GC workers to exit for forking.

source

pub fn surrender_gc_worker(&self, worker: Box<GCWorker<VM>>)

Surrender the GCWorker struct of a GC worker when it exits.

source

pub fn respawn_gc_threads_after_forking(self: &Arc<Self>, tls: VMThread)

Respawn GC threads after forking. This will reuse the GCWorker instances of stopped workers. tls is the VM thread that requests GC threads to be re-spawn, and will be passed down to crate::vm::Collection::spawn_gc_thread.

source

pub fn resolve_affinity(&self, thread: usize)

Resolve the affinity of a thread.

source

pub(crate) fn request_schedule_collection(&self)

Request a GC to be scheduled. Called by mutator via GCRequester.

source

fn add_schedule_collection_packet(&self)

Add the ScheduleCollection packet. Called by the last parked worker.

source

pub fn schedule_common_work<C: GCWorkContext<VM = VM>>( &self, plan: &'static C::PlanType )

Schedule all the common work packets

source

fn are_buckets_drained(&self, buckets: &[WorkBucketStage]) -> bool

source

pub fn all_buckets_empty(&self) -> bool

source

pub(crate) fn schedule_sentinels(&self) -> bool

Schedule “sentinel” work packets for all activated buckets.

source

pub(crate) fn update_buckets(&self) -> bool

Open buckets if their conditions are met.

This function should only be called after all the workers are parked. No workers will be waked up by this function. The caller is responsible for that.

Return true if there’re any non-empty buckets updated.

source

pub fn deactivate_all(&self)

source

pub fn reset_state(&self)

source

pub fn debug_assert_all_buckets_deactivated(&self)

source

pub(crate) fn assert_all_activated_buckets_are_empty(&self)

Check if all the work buckets are empty

source

fn poll_schedulable_work_once( &self, worker: &GCWorker<VM> ) -> Steal<Box<dyn GCWork<VM>>>

Get a schedulable work packet without retry.

source

fn poll_schedulable_work( &self, worker: &GCWorker<VM> ) -> Option<Box<dyn GCWork<VM>>>

Get a schedulable work packet.

source

pub(crate) fn poll( &self, worker: &GCWorker<VM> ) -> Result<Box<dyn GCWork<VM>>, WorkerShouldExit>

Called by workers to get a schedulable work packet. Park the worker if there’re no available packets.

source

fn poll_slow( &self, worker: &GCWorker<VM> ) -> Result<Box<dyn GCWork<VM>>, WorkerShouldExit>

source

fn on_last_parked( &self, worker: &GCWorker<VM>, goals: &mut WorkerGoals ) -> LastParkedResult

Called when the last worker parked. goal allows this function to inspect and change the current goal.

source

fn respond_to_requests( &self, worker: &GCWorker<VM>, goals: &mut WorkerGoals ) -> LastParkedResult

Respond to a worker reqeust.

source

fn find_more_work_for_workers(&self) -> bool

Find more work for workers to do. Return true if more work is available.

source

fn on_gc_finished(&self, worker: &GCWorker<VM>)

Called when GC has finished, i.e. when all work packets have been executed.

source

pub fn enable_stat(&self)

source

pub fn statistics(&self) -> HashMap<String, String>

source

pub fn notify_mutators_paused(&self, mmtk: &'static MMTK<VM>)

Trait Implementations§

Auto Trait Implementations§

§

impl<VM> !RefUnwindSafe for GCWorkScheduler<VM>

§

impl<VM> Send for GCWorkScheduler<VM>

§

impl<VM> Unpin for GCWorkScheduler<VM>

§

impl<VM> !UnwindSafe for GCWorkScheduler<VM>

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.