Module miri::shims::unix

source ·



  • freebsd 🔒
  • fs 🔒
  • linux 🔒
  • 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.
  • sync 🔒
  • thread 🔒