Struct SyncChan 

pub struct SyncChan { /* private fields */ }

A symmetric bounded channel over IpcMessage, used by the global channel registry for silo-to-silo syscall-level IPC.

Unlike Sender/Receiver, SyncChan has no directional specialisation: any caller with an Arc<SyncChan> can both send and receive. Destruction is explicit (via SyncChan::destroy), triggered when the last userspace handle is closed.

Implementations

impl SyncChan

pub fn send(&self, msg: IpcMessage) -> Result<(), ChannelError>

Send a message, blocking until space is available.

Returns Err(ChannelError::Disconnected) if the channel has been destroyed while the sender was blocked.

pub fn try_send(&self, msg: IpcMessage) -> Result<(), ChannelError>

Try to send without blocking.

Returns Err(WouldBlock) if the queue is full, or Err(Disconnected) if the channel is destroyed.

pub fn recv(&self) -> Result<IpcMessage, ChannelError>

Receive a message, blocking until one arrives.

Returns Err(ChannelError::Disconnected) if the channel was destroyed while the receiver was blocked.

pub fn try_recv(&self) -> Result<IpcMessage, ChannelError>

Try to receive without blocking.

Returns Err(WouldBlock) if the queue is empty, or Err(Disconnected) if the channel is destroyed and empty.

pub fn destroy(&self)

Mark the channel as destroyed and wake all blocked tasks.

Called when the last userspace handle is closed. Subsequent send/recv operations on any still-held reference return Disconnected.

pub fn is_destroyed(&self) -> bool

Returns true if the channel has been destroyed.

pub fn len(&self) -> usize

Returns the current number of messages buffered.

pub fn is_empty(&self) -> bool

Returns true if the queue is empty.

pub fn is_full(&self) -> bool

Returns whether full.

pub fn can_send(&self) -> bool

Returns whether this can send.