Module miri::shims::unix::fd

source ·
Expand description

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

Structs§

  • FdId
    A unique id for file descriptions. While we could use the address, considering that is definitely unique, the address would expose interpreter internal state when used for sorting things. So instead we generate a unique id per file description that stays the same even if a file descriptor is duplicated and gets a new integer file descriptor.
  • FdTable
    The file descriptor table
  • FileDescWithId
    Structure contains both the file description and its unique identifier.
  • FileDescriptionRef
  • NullOutput
    Like /dev/null
  • WeakFileDescriptionRef
    Holds a weak reference to the actual file description.

Enums§

Traits§