Struct Heap 

pub struct Heap { /* private fields */ }

Implementations

impl Heap

pub fn new(budget: usize) -> Heap

pub fn spawn(&mut self, thunk: Val) -> Id

Seed a task from outside. The thunk is applied to nil.

pub fn idle(&self) -> bool

A heap with live tasks and an empty queue is waiting on a message from outside; a heap with none is finished.

pub fn post(&mut self, to: &Val, msg: Val)

Waking it if it was parked. An address for anything else is dropped, exactly as a send to a task that has ended is.

pub fn alive(&self, id: Id) -> bool

pub fn take_exits(&mut self) -> Vec<(Id, Val)>

Tasks that have ended since this was last called, in the order they ended.

pub fn take_away(&mut self) -> Vec<(Val, Val)>

Routing these is the executor’s job: another heap, another machine and a host adapter are all just the far end of a channel, which is what lets a syscall be an ordinary send rather than a floor verb.

pub fn take_watches(&mut self) -> Vec<(Id, Val)>

As (watcher, address). Whether such a thing is alive is not a question this heap can put, so the answer is owed by whoever holds link or peer.

pub fn run(&mut self) -> Result<(), Fault>

Until the queue empties - every task finished or parked on an empty mailbox.