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

Constants

PORT_QUEUE_CAPACITY 🔒

Maximum number of messages buffered in a single port.

Statics

NEXT_PORT_ID 🔒

Next port ID to assign.

PORTS 🔒

Global registry of all live ports.

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.

ensure_registry 🔒

Ensure the registry is initialized (called lazily).

get_port

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