Changeset 9fce2572 for libcfa/src

Timestamp:

Nov 21, 2022, 5:52:57 PM (17 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

857081e

Parents:

910e1d0

Message:

32-bit update of PRNG

Location:

libcfa/src

Files:

• bits/random.hfa (modified) (7 diffs)
• concurrency/invoke.h (modified) (3 diffs)

libcfa/src/bits/random.hfa

@@ -10 +10 @@
 // Created On       : Fri Jan 14 07:18:11 2022
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Nov 19 17:47:43 2022
-// Update Count     : 8
+// Last Modified On : Mon Nov 21 17:50:12 2022
+// Update Count     : 15
 // 
 
@@ -18 +18 @@
 #include <stdint.h>
 
+// Set default PRNG for architecture size.
 #ifdef __x86_64__                                                                               // 64-bit architecture
 #define LEHMER64
@@ -24 +25 @@
 #endif // __x86_64__
 
+// C/CFA PRNG name and random-state.
+#ifdef LEHMER64
+#define PRNG_NAME lehmer64
+#define PRNG_ARG_T __uint128_t
+#endif // LEHMER64
+
+#ifdef XORSHIFT_6_21_7
+#define PRNG_NAME xorshift_6_21_7
+#define PRNG_ARG_T uint32_t
+#endif // XORSHIFT_6_21_7
+
+#ifdef __cforall                                                                                // don't include in C code (invoke.h)
+
 // Pipelined to allow out-of-order overlap with reduced dependencies. Critically, the current random state is returned
 // (copied), and then compute and store the next random value.
@@ -29 +43 @@
 #if defined(__SIZEOF_INT128__)
 //--------------------------------------------------
-        #ifdef LEHMER64
-        #define PRNG_ARG_T __uint128_t
-        #define PRNG_NAME lehmer64
-        #endif // LEHMER64
-
         static inline uint64_t lehmer64( __uint128_t & state ) {
                 __uint128_t ret = state;
@@ -62 +71 @@
 
 //--------------------------------------------------
-
-#ifdef XORSHIFT_6_21_7
-#define PRNG_ARG_T uint32_t
-#define PRNG_NAME xorshift_6_21_7
-#endif // XORSHIFT_6_21_7
-
 static inline uint32_t xorshift_6_21_7( uint32_t & state ) {
         uint32_t ret = state;
@@ -78 +81 @@
 //--------------------------------------------------
 typedef struct {
-  uint32_t a, b, c, d;
-  uint32_t counter;
+        uint32_t a, b, c, d;
+        uint32_t counter;
 } xorwow__state_t;
 
@@ -133 +136 @@
 #undef C
 #undef D
+
+#endif // __cforall

libcfa/src/concurrency/invoke.h

@@ -10 +10 @@
 // Created On       : Tue Jan 17 12:27:26 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Nov 18 12:20:26 2022
-// Update Count     : 49
+// Last Modified On : Mon Nov 21 17:40:24 2022
+// Update Count     : 55
 //
 
@@ -17 +17 @@
 #include "bits/defs.hfa"
 #include "bits/locks.hfa"
+#include "bits/random.hfa"
 #include "kernel/fwd.hfa"
 
@@ -222 +223 @@
                 struct processor * last_proc;
 
-                __uint128_t random_state;                                               // fast random numbers
+                PRNG_ARG_T random_state;                                                // fast random numbers
 
                 #if defined( __CFA_WITH_VERIFY__ )