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.