Module unnamed_socket

This implements “anonymous” sockets, that do not correspond to anything on the host system and are entirely implemented inside Miri. We also use the same infrastructure to implement unnamed pipes.

Structs

AnonSocket 🔒

One end of a pair of connected unnamed sockets.

Buffer 🔒

Constants

MAX_SOCKETPAIR_BUFFER_CAPACITY 🔒

The maximum capacity of the socketpair buffer in bytes. This number is arbitrary as the value can always be configured in the real system.

Traits

EvalContextExt

Functions

anonsocket_read 🔒

Read from AnonSocket and return the number of bytes read.

anonsocket_write 🔒

Write to AnonSocket based on the space available and return the written byte size.