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