feat(autotuner): adaptive timeout

discopop-project · Aug 20, 2024 · 024c47d · 024c47d
1 parent 1c48575
commit 024c47d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/discopop_library/EmpiricalAutotuning/Autotuner.py b/discopop_library/EmpiricalAutotuning/Autotuner.py
@@ -192,6 +192,13 @@ def run(arguments: AutotunerArguments) -> None:
                 + " stored at "
                 + best_suggestion_configuration[1].root_path
             )
+            # update the timeout according to the new time measurement
+            timeout_after = max(
+                3.0, cast(ExecutionResult, best_suggestion_configuration[1].execution_result).runtime * 2
+            )
+            logger.debug("Updated timeout to: " + str(round(timeout_after, 3)))
+
+            # update the graph and store the current best configuration
             statistics_graph.add_child(
                 "step "
                 + str(statistics_step_num)