From f58380b1b01bf813da4c41939bd468ecc2d9dc34 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20P=C3=B6schl?= <62295828+olepoeschl@users.noreply.github.com> Date: Wed, 24 May 2023 22:18:32 +0200 Subject: [PATCH] Added deviceConfig validation check --- src/de/nqueensfaf/config/Config.java | 29 +++++++++++----------- src/de/nqueensfaf/config/DeviceConfig.java | 4 +++ 2 files changed, 18 insertions(+), 15 deletions(-) diff --git a/src/de/nqueensfaf/config/Config.java b/src/de/nqueensfaf/config/Config.java index 42e8ba9f..7cc1d272 100644 --- a/src/de/nqueensfaf/config/Config.java +++ b/src/de/nqueensfaf/config/Config.java @@ -91,23 +91,22 @@ public void validate() { if(cpuThreadcount <= 0 || cpuThreadcount > Runtime.getRuntime().availableProcessors()) cpuThreadcount = getDefaultConfig().getCPUThreadcount(); - if(gpuDeviceConfigs == null) + if(gpuDeviceConfigs == null || gpuDeviceConfigs.length == 0) gpuDeviceConfigs = getDefaultConfig().getGPUDeviceConfigs(); - // check for invalid values and remove each invalid value that is found from the array - ArrayList gpuDeviceConfigsTmp = new ArrayList(); - for(DeviceConfig deviceConfig : gpuDeviceConfigs) { - if((deviceConfig.getIndex() < 0) || deviceConfig.getWorkgroupSize() <= 0 || deviceConfig.getPresetQueens() < 4) - continue; - if(gpuDeviceConfigsTmp.stream().anyMatch(dvcCfg -> deviceConfig.getIndex() == dvcCfg.getIndex())) // check for duplicates - continue; - gpuDeviceConfigsTmp.add(deviceConfig); - } - gpuDeviceConfigs = new DeviceConfig[gpuDeviceConfigsTmp.size()]; - for(int i = 0; i < gpuDeviceConfigsTmp.size(); i++) { - gpuDeviceConfigs[i] = gpuDeviceConfigsTmp.get(i); + else { + // check for invalid values and remove each invalid value that is found + ArrayList gpuDeviceConfigsTmp = new ArrayList(); + for(var deviceConfig : gpuDeviceConfigs) { + if(gpuDeviceConfigsTmp.stream().anyMatch(dvcCfg -> deviceConfig.getIndex() == dvcCfg.getIndex())) // check for duplicates + continue; + if(deviceConfig.isValid()) + gpuDeviceConfigsTmp.add(deviceConfig); + } + gpuDeviceConfigs = new DeviceConfig[gpuDeviceConfigsTmp.size()]; + for(int i = 0; i < gpuDeviceConfigsTmp.size(); i++) { + gpuDeviceConfigs[i] = gpuDeviceConfigsTmp.get(i); + } } - if(gpuDeviceConfigs.length == 0) - gpuDeviceConfigs = getDefaultConfig().getGPUDeviceConfigs(); if(gpuPresetQueens < 4) gpuPresetQueens = getDefaultConfig().getGPUPresetQueens(); diff --git a/src/de/nqueensfaf/config/DeviceConfig.java b/src/de/nqueensfaf/config/DeviceConfig.java index 8796e467..55e04939 100644 --- a/src/de/nqueensfaf/config/DeviceConfig.java +++ b/src/de/nqueensfaf/config/DeviceConfig.java @@ -25,6 +25,10 @@ public DeviceConfig(int index, int workgroupSize, int presetQueens, int weight) this.weight = weight; } + public boolean isValid() { + return index >= 0 && workgroupSize > 0 && presetQueens >= 4; + } + public int getIndex() { return index; }