Update: Enable kernel profiling and execution simultaneously on multiple devices - part2,fix1
@@ -84,10 +84,12 @@ public class KernelPreferences {
}
private void maybeSetUpDefaultPreferredDevices() {
+ if (preferredDevices.get() == null) {
preferredDevices.compareAndSet(null, new LinkedList<>(manager.getDefaultPreferences().getPreferredDevices(null)));
}
+ }
- public List<Device> getFailedDevices() {
+ public synchronized List<Device> getFailedDevices() {
return new ArrayList<>(failedDevices);
}
}
