Type Definition microbench::types::DeviceId

source · [−]
pub type DeviceId = DeviceType<u16, u32>;
Expand description

The device type and it’s ID

Used to specify where a task should be run. For example, CPU ID for numactl or GPU ID for CUDA