miri/concurrency/
mod.rs

1pub mod cpu_affinity;
2pub mod data_race;
3mod data_race_handler;
4pub mod init_once;
5pub mod sync;
6pub mod thread;
7mod vector_clock;
8pub mod weak_memory;
9
10// Import either the real genmc adapter or a dummy module.
11// On unsupported platforms, we always include the dummy module, even if the `genmc` feature is enabled.
12// FIXME(genmc,macos): Add `target_os = "macos"` once `https://github.com/dtolnay/cxx/issues/1535` is fixed.
13#[cfg_attr(
14    not(all(
15        feature = "genmc",
16        target_os = "linux",
17        target_pointer_width = "64",
18        target_endian = "little"
19    )),
20    path = "genmc/dummy.rs"
21)]
22mod genmc;
23
24pub use self::data_race_handler::{AllocDataRaceHandler, GlobalDataRaceHandler};
25pub use self::genmc::{GenmcConfig, GenmcCtx};
26pub use self::vector_clock::VClock;
miri/concurrency/mod.rs

miri/concurrency/
mod.rs
