miri::concurrency::cpu_affinity

Constant MAX_CPUS

Source
pub const MAX_CPUS: usize = 1024;
Expand description

The maximum number of CPUs supported by miri.

This value is compatible with the libc CPU_SETSIZE constant and corresponds to the number of CPUs that a cpu_set_t can contain.

Real machines can have more CPUs than this number, and there exist APIs to set their affinity, but this is not currently supported by miri.