Module unix

Re-exports

pub use self::env::EvalContextExt as _;

pub use self::env::UnixEnvVars;

pub use self::fd::EvalContextExt as _;

pub use self::fd::UnixFileDescription;

pub use self::fs::DirTable;

pub use self::fs::EvalContextExt as _;

pub use self::linux_like::epoll::EpollInterestTable;

pub use self::mem::EvalContextExt as _;

pub use self::sync::EvalContextExt as _;

pub use self::thread::EvalContextExt as _;

pub use self::thread::ThreadNameResult;

pub use self::unnamed_socket::EvalContextExt as _;

Modules

android 🔒

env 🔒

fd 🔒

General management of file descriptors, and support for standard file descriptors (stdin/stdout/stderr).

foreign_items

freebsd 🔒

fs 🔒

File and file system access

linux

linux_like 🔒

macos 🔒

mem 🔒

This is an incomplete implementation of mmap/munmap which is restricted in order to be implementable on top of the existing memory system. The point of these function as-written is to allow memory allocators written entirely in Rust to be executed by Miri. This implementation does not support other uses of mmap such as file mappings.

solarish 🔒

sync 🔒

thread 🔒

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.

Constants

UID 🔒