Require CAS for rand

Author: Sympatron

Cargo.toml

@@ -62,6 +62,7 @@ memchr = []
 qsort = []
 rand_r = []
 rand = ["rand_r", "dep:portable-atomic"]
+rand-cs = ["rand", "portable-atomic/critical-section"]
 signal = ["dep:portable-atomic"]
 signal-cs = ["portable-atomic/critical-section"]
 snprintf = []

src/rand.rs

@@ -17,15 +17,16 @@ pub extern "C" fn srand(seed: c_uint) {
 	RAND_STATE.store(seed, Ordering::Release);
 }
 
-/// Rust implementation of C library function `rand`
+/// Rust implementation of C library function `rand`.
 ///
-/// Returns a pseudo-random integer in the range 0 to `RAND_MAX` (inclusive).
-/// May produce the same value in a row if called from multiple threads on platforms not supporting CAS operations.
+/// Returns a pseudo-random integer in the range 0 to [`RAND_MAX`](crate::RAND_MAX) (inclusive).
+/// This requires CAS operations. If your platform does not support them natively,
+/// you either have to enable the `rand-cs` feature of `tinyrlibc`,
+/// or the [`critical-section`](https://docs.rs/portable-atomic/1.9.0/portable_atomic/#optional-features-critical-section) feature,
+/// or the [`unsafe-assume-single-core`](https://docs.rs/portable-atomic/1.9.0/portable_atomic/#optional-features-unsafe-assume-single-core) feature
+/// in [`portable-atomic`](https://crates.io/crates/portable-atomic).
 #[cfg_attr(feature = "rand", no_mangle)]
 pub extern "C" fn rand() -> c_int {
-	// Atomically update the global LFSR state using compare_and_swap if available
-	#[allow(dead_code)]
-	fn with_cas() -> c_int {
 		let mut current_state = RAND_STATE.load(Ordering::Relaxed);
 		let mut new_state = current_state;
 		let mut result = unsafe { crate::rand_r(&mut new_state as *mut _) };
@@ -45,17 +46,6 @@ pub extern "C" fn rand() -> c_int {
 		}
 
 		result as _
-	}
-	// Fallback to non-atomic operation if compare_and_swap is not available
-	#[allow(dead_code)]
-	fn without_cas() -> c_int {
-		let mut current_state = RAND_STATE.load(Ordering::Acquire);
-		let result = unsafe { crate::rand_r(&mut current_state as *mut _) };
-		RAND_STATE.store(current_state, Ordering::Release);
-		result as _
-	}
-	portable_atomic::cfg_has_atomic_cas! { with_cas() }
-	portable_atomic::cfg_no_atomic_cas! { without_cas() }
 }
 
 #[cfg(test)]