Struct IntrusiveMailbox 

pub struct IntrusiveMailbox {
    head: AtomicUsize,
}

A lock-free LIFO mailbox (stack) for kernel-internal IPC.

Messages are pushed atomically to the head of an intrusive linked list and popped from the head. This is not a FIFO queue : message order is reversed on reception.

Use case

Use for notification-style IPC between trusted kernel components where low latency (~10 cycles) matters more than message ordering. For FIFO-guaranteed IPC, use LockFreeRing.

Fields

head: AtomicUsize

Implementations

impl IntrusiveMailbox

pub const fn new() -> Self

Create a new empty mailbox.

pub fn push(&self, msg: &[u8]) -> Result<(), MailboxError>

Push a message onto the mailbox (LIFO : inserted at head).

Allocates a new MailboxMessage from the kernel heap. This allocation is the primary cost; for a deterministic fast path consider a pre-allocated freelist (see design doc §12.15).

pub fn pop(&self) -> Option<Box<MailboxMessage>>

Pop a message from the mailbox (LIFO : from head).

pub fn is_empty(&self) -> bool

Whether the mailbox is empty.

Trait Implementations

impl Debug for IntrusiveMailbox

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

Formats the value using the given formatter.

impl IpcConsumer for IntrusiveMailbox

fn recv(&self, buf: &mut [u8]) -> Result<usize, IpcError>

Receive a message, blocking if the buffer is empty.

fn try_recv(&self, buf: &mut [u8]) -> Result<Option<usize>, IpcError>

Receive without blocking.

impl IpcProducer for IntrusiveMailbox

fn send(&self, msg: &[u8]) -> Result<(), IpcError>

Send a message, blocking if the buffer is full.

fn try_send(&self, msg: &[u8]) -> Result<(), IpcError>

Send without blocking.

impl IpcTransport for IntrusiveMailbox

fn level(&self) -> TransportLevel

The isolation level of this transport.

fn capabilities(&self) -> TransportCapabilities

Static capabilities of this transport.

fn name(&self) -> &'static str

Human-readable name for debugging / profiling.