Stop Watchdog early if no longer required

ad-freiburg · Mar 13, 2024 · b003651 · b003651
1 parent 28366a1
commit b003651
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/util/CancellationHandle.cpp b/src/util/CancellationHandle.cpp
@@ -43,6 +43,10 @@ void CancellationHandle<Mode>::startWatchDogInternal() requires WatchDogEnabled
         startTimeoutWindow_ = steady_clock::now();
         cancellationState_.compare_exchange_strong(state, CHECK_WINDOW_MISSED,
                                                    std::memory_order_relaxed);
+      } else if (detail::isCancelled(state)) {
+        // No need to keep the watchdog running if the handle was cancelled
+        // already
+        break;
       }
     } while (!watchDogState_.conditionVariable_.wait_for(
         lock, DESIRED_CANCELLATION_CHECK_INTERVAL,