Module scheduler 

This file contains Miri’s scheduler, which is in charge of picking the next thread to run when the current thread blocks/yields. It also manages timeouts and runs an async event loop to deal with host I/O. In GenMC mode, it handles delegating schedule control to GenMC.

Re-exports

use std::cell::RefCell; 🔒

use std::fmt; 🔒

use std::sync::atomic::Ordering; 🔒

use std::task::Poll; 🔒

use std::time::Duration; 🔒

use rand::seq::IteratorRandom; 🔒

use rustc_const_eval::CTRL_C_RECEIVED; 🔒

use rustc_index::Idx; 🔒

use rustc_span::DUMMY_SP; 🔒

use crate::*; 🔒

Structs

DelayedCallbacks

When we need to perform an operation but don’t have an ecx around to run it immediately, we can register a callback here and it will be invoked on the next scheduler call.

Enums

SchedulingAction 🔒

Traits

EvalContextExt

EvalContextPrivExt 🔒

Type Aliases

DelayedCallback