Module child 

Re-exports

use std::cell::RefCell; 🔒

use std::panic::abort_on_unwind; 🔒 Experimental

use std::ptr::NonNull; 🔒

use std::rc::Rc; 🔒

use ipc_channel::TryRecvError; 🔒

use ipc_channel::ipc; 🔒

use nix::sys::mman; 🔒

use nix::sys::ptrace; 🔒

use nix::sys::signal; 🔒

use nix::unistd; 🔒

use rustc_const_eval::interpret::InterpResult; 🔒

use rustc_const_eval::interpret::interp_ok; 🔒

use super::CALLBACK_STACK_SIZE; 🔒

use super::messages::Confirmation; 🔒

use super::messages::StartFfiInfo; 🔒

use super::messages::TraceRequest; 🔒

use super::parent::ChildListener; 🔒

use super::parent::sv_loop; 🔒

use crate::alloc::isolated_alloc::IsolatedAlloc; 🔒

use crate::shims::native_lib::MemEvents; 🔒

Structs

Supervisor

The main means of communication between the child and parent process, allowing the former to send requests and get info from the latter.

SvInitError

Marker representing that an error occurred during creation of the supervisor.

Statics

SUPERVISOR 🔒

A handle to the single, shared supervisor process across all MiriMachines. Since it would be very difficult to trace multiple FFI calls in parallel, we need to ensure that either (a) only one MiriMachine is performing an FFI call at any given time, or (b) there are distinct supervisor and child processes for each machine. The former was chosen here.

Functions

init_sv^⚠

Initialises the supervisor process. If this function errors, then the supervisor process could not be created successfully; else, the caller is now the child process and can communicate via do_ffi, receiving back events at the end.

register_retcode_sv

Instruct the supervisor process to return a particular code. Useful if for whatever reason this code fails to be intercepted normally.