Enum ProcessRequest 

pub enum ProcessRequest {
    Kill(ProcessId),
    Suspend(ProcessId),
    Resume(ProcessId),
    Await(ProcessId),
    SyncBlock,
    SyncWake(ProcessId),
}

One process class method call that mutates another process (or this one), queued by SchedulerOps::process_request and applied by the engine at the next suspend point – the same drain-at-apply_suspend shape disable fork uses, because SchedulerOps methods take &self.

Variants

Kill(ProcessId)

Suspend(ProcessId)

Resume(ProcessId)

Await(ProcessId)

SyncBlock

Classes plan Task 17 (LRM 15.3): the requester called a blocking synchronisation-object method (semaphore.get) that must wait; it stays yielded after its Suspend::ByRequest until a ProcessRequest::SyncWake names it.

SyncWake(ProcessId)

The named process’s blocked get has been granted its keys: it runs again. Queued by the put (or kill) that released it.

Trait Implementations

impl Clone for ProcessRequest

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for ProcessRequest

impl Debug for ProcessRequest

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ProcessRequest

impl PartialEq for ProcessRequest

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ProcessRequest