Module virtual_socket 

This implements “virtual” sockets, that do not correspond to anything on the host system and are entirely implemented inside Miri. This is used to implement socketpair and pipe.

Structs

Buffer 🔒

VirtualSocket 🔒

One end of a pair of connected virtual sockets.

Enums

VirtualSocketType 🔒

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

virtual_socket_read 🔒

Read from VirtualSocket and return the number of bytes read.

virtual_socket_write 🔒

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