Module port 

IPC Port — a kernel-managed message queue with blocking send/recv.

Each port has a bounded FIFO queue of IpcMessages. Senders block if the queue is full; receivers block if it’s empty. The scheduler’s block/wake API (via WaitQueue) provides the blocking mechanism.

Structs

Port

An IPC port: a bounded message queue with blocking semantics.

PortId

Unique identifier for an IPC port.

Enums

IpcError

Functions

cleanup_ports_for_task

Clean up all ports owned by a dying task.

create_port

Create a new port owned by owner. Returns the new port’s ID.

destroy_port

Destroy a port, removing it from the registry and waking all waiters.

get_port

Look up a port by ID. Returns a cloned Arc<Port> if found.