Module mmtk::scheduler::worker_monitor

This module contains WorkerMonitor and related types. It purposes includes:

• allowing workers to park,
• letting the last parked worker take action, and
• letting workers and mutators notify workers when workers are given things to do.

Structs

• WorkerMonitor 🔒
  A data structure for synchronizing workers with each other and with mutators.
• WorkerMonitorSync 🔒
  The synchronized part of WorkerMonitor.
• WorkerParker 🔒
  This struct counts the number of workers parked and identifies the last parked worker.

Enums

• LastParkedResult 🔒
  The result type of the on_last_parked call-back in WorkMonitor::park_and_wait. It decides how many workers should wake up after on_last_parked.