Changes in / [cf08cb2:bbf6a180]

File:

• tests/concurrent/readyQ/leader_spin.cfa (modified) (4 diffs)

tests/concurrent/readyQ/leader_spin.cfa

@@ -14 +14 @@
 //
 
-#include <stdlib.hfa>
+#include <bits/random.hfa>
 #include <fstream.hfa>
 #include <thread.hfa>
@@ -26 +26 @@
 }
 
-PRNG lead_rng;
+__uint128_t lead_seed;
 volatile unsigned leader;
 volatile size_t lead_idx;
@@ -65 +65 @@
         waitgroup();
 
-        unsigned nleader = prng( lead_rng, nthreads );
+        unsigned nleader = lehmer64( lead_seed ) % nthreads;
         __atomic_store_n( &leader, nleader, __ATOMIC_SEQ_CST );
 }
@@ -98 +98 @@
 // ==================================================
 int main(int argc, char * argv[]) {
+        uint64_t lead_seed = prng();
+        for(10) lehmer64( lead_seed );
+
         lead_idx = 0;
-        leader = prng( lead_rng, nthreads );
+        leader = lehmer64( lead_seed ) % nthreads;
 
         the_main = active_thread();