Changeset 29702ad for libcfa/src/concurrency/thread.cfa

Timestamp:

Nov 22, 2022, 10:18:04 AM (19 months ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master

Children:

20cf96d

Parents:

1553a55 (diff), d41735a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• libcfa/src/concurrency/thread.cfa (modified) (3 diffs)

libcfa/src/concurrency/thread.cfa

@@ -10 +10 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Feb 12 15:24:18 2022
-// Update Count     : 66
+// Last Modified On : Sun Nov 20 17:17:50 2022
+// Update Count     : 80
 //
 
@@ -26 +26 @@
 #include "invoke.h"
 
-extern uint32_t __global_random_seed, __global_random_prime, __global_random_mask;
+extern PRNG_ARG_T __global_random_seed, __global_random_prime;
+extern bool __global_random_mask;
 
 #pragma GCC visibility push(default)
@@ -225 +226 @@
 
 //-----------------------------------------------------------------------------
-#define GENERATOR LCG
-
-void set_seed( uint32_t seed ) {
-        uint32_t & state = active_thread()->random_state;
+
+void set_seed( uint64_t seed ) {
+        PRNG_ARG_T & state = active_thread()->random_state;
         state = __global_random_seed = seed;
-        GENERATOR( state );
+        (void)PRNG_NAME( state );                                                       // prime PRNG
         __global_random_prime = state;
         __global_random_mask = true;
 } // set_seed
 
-uint32_t prng( void ) {                                                                 // [0,UINT_MAX]
-        uint32_t & state = active_thread()->random_state;
-        return GENERATOR( state );
+uint64_t prng( void ) {                                                                 // [0,UINT_MAX]
+        PRNG_ARG_T & state = active_thread()->random_state;
+        return PRNG_NAME( state );
 } // prng