Function validate_specific_gpu_device_request

crates/openshell-core/src/gpu.rs:314–344

Validate a compute-driver GPU request against driver-owned specific devices. Drivers call this when a sandbox request combines portable GPU requirements with exact device identifiers in `driver_config`. # Errors Returns an error when the sandbox GPU request is absent, when `gpu.count` is zero, when device IDs are duplicated, or when the effective GPU count does not equal the number of specific d

(
    gpu: Option<&DriverGpuResourceRequirements>,
    specific_devices: &[String],
    driver_config_field: &str,
)

/// is zero, when device IDs are duplicated, or when the effective GPU count
/// does not equal the number of specific devices.
pub fn validate_specific_gpu_device_request(
    gpu: Option<&DriverGpuResourceRequirements>,
    specific_devices: &[String],
    driver_config_field: &str,
) -> Result<(), String> {
    let device_count = specific_devices.len();
    if device_count == 0 {
        return Ok(());
    }

    let mut seen = HashSet::with_capacity(device_count);
    for device in specific_devices {
        if !seen.insert(device.as_str()) {
            return Err(format!(
                "{driver_config_field} contains duplicate device ID '{device}'"
            ));
        }
    }

    let Some(count) = effective_driver_gpu_count(gpu)? else {
        return Err(format!("{driver_config_field} requires a gpu request"));
    };

    if usize::try_from(count).ok() != Some(device_count) {
        return Err(format!(
            "gpu count ({count}) must match {driver_config_field} length ({device_count})"
        ));
    }

    Ok(())
}

#[cfg(test)]
mod tests {