sleep_until: add clock_nanosleep support to Miri

dvdsk · dvdsk · commit 30bd4861c5e0 · 2025-07-06T17:49:35.000+02:00
The clock_nanosleep support is there to allow code using `sleep_until`
to run under Miri. Therefore the implementation is minimal.
- Only the clocks REALTIME and MONOTONIC are supported. The first is supported simply
because it was trivial to add not because it was needed for sleep_until.
- The only supported flag combinations are no flags or TIMER_ABSTIME only.
If an unsupported flag combination or clock is passed in this throws
unsupported.
diff --git a/std/src/sys/pal/unix/thread.rs b/std/src/sys/pal/unix/thread.rs
@@ -297,6 +297,7 @@ impl Thread {
     }
 
     // Any unix that has clock_nanosleep
+    // If this list changes update the MIRI chock_nanosleep shim
     #[cfg(any(
         target_os = "freebsd",
         target_os = "netbsd",

Original file line number	Diff line number	Diff line change
`@@ -297,6 +297,7 @@ impl Thread {`
`297`	`297`	`}`
`298`	`298`
`299`	`299`	`// Any unix that has clock_nanosleep`
	`300`	`+ // If this list changes update the MIRI chock_nanosleep shim`
`300`	`301`	`#[cfg(any(`
`301`	`302`	`target_os = "freebsd",`
`302`	`303`	`target_os = "netbsd",`