Busy wait if the wait time < MIN_SLEEP_DURATION

lf-lang · Mar 28, 2024 · 0fc0a40 · 0fc0a40
1 parent 22d49a1
commit 0fc0a40
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/threaded/reactor_threaded.c b/core/threaded/reactor_threaded.c
@@ -241,6 +241,9 @@ bool wait_until(instant_t logical_time, lf_cond_t* condition) {
     if (wait_duration < MIN_SLEEP_DURATION) {
       LF_PRINT_DEBUG("Wait time " PRINTF_TIME " is less than MIN_SLEEP_DURATION " PRINTF_TIME ". Skipping wait.",
                      wait_duration, MIN_SLEEP_DURATION);
+      while (lf_time_physical() < wait_until_time) {
+        //Busy wait
+      }
       return true;
     }