Struct IpcChannelModel 

pub struct IpcChannelModel {
    pub id: u64,
    pub capacity: usize,
    pub messages: VecDeque<IpcMessage>,
    pub sender_count: u32,
    pub receiver_count: u32,
    pub total_sent: u64,
    pub total_received: u64,
    /* private fields */
}

Model of an IPC channel for verification

Fields

id: u64

Channel identifier

capacity: usize

Maximum number of messages

messages: VecDeque<IpcMessage>

Message queue (FIFO)

sender_count: u32

Number of senders with access

receiver_count: u32

Number of receivers with access

total_sent: u64

Total messages ever sent

total_received: u64

Total messages ever received

Implementations

impl IpcChannelModel

pub fn new(id: u64, capacity: usize) -> Self

Create a new channel with the given ID and capacity

pub fn send( &mut self, payload: u64, msg_type: MessageType, sender: u64, rights: u32, ) -> Result<u64, IpcModelError>

Send a message on this channel

pub fn receive(&mut self, rights: u32) -> Result<IpcMessage, IpcModelError>

Receive a message from this channel

pub fn pending_count(&self) -> usize

Current message count in buffer

Trait Implementations

impl Clone for IpcChannelModel

fn clone(&self) -> IpcChannelModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IpcChannelModel

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

Formats the value using the given formatter.

impl Default for IpcChannelModel

Available on crate feature alloc only.

fn default() -> Self

Returns the “default value” for a type.