Yield when sleep (#48)

cmu-pasta · Nov 5, 2024 · 7c0892a · 7c0892a
1 parent 568d3fe
commit 7c0892a
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/core/src/main/kotlin/org/pastalab/fray/core/RuntimeDelegate.kt b/core/src/main/kotlin/org/pastalab/fray/core/RuntimeDelegate.kt
@@ -801,9 +801,15 @@ class RuntimeDelegate(val context: RunContext) : org.pastalab.fray.runtime.Deleg
     return probe
   }
 
-  override fun onThreadSleepDuration(duration: Duration?) {}
+  override fun onThreadSleepDuration(duration: Duration?) {
+    Thread.yield()
+  }
 
-  override fun onThreadSleepMillis(millis: Long) {}
+  override fun onThreadSleepMillis(millis: Long) {
+    Thread.yield()
+  }
 
-  override fun onThreadSleepMillisNanos(millis: Long, nanos: Int) {}
+  override fun onThreadSleepMillisNanos(millis: Long, nanos: Int) {
+    Thread.yield()
+  }
 }