Sync hpcgap/lib/random.gi

gap-system · Sep 19, 2017 · f2d004b · f2d004b
1 parent 96670b9
commit f2d004b
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 247 deletions.
diff --git a/hpcgap/lib/random.gi b/hpcgap/lib/random.gi
diff --git a/lib/random.gi b/lib/random.gi
@@ -67,9 +67,15 @@ end);
 
 ############################################################################
 ##  We provide the "classical" GAP random generator via a random source.
-##  
-InstallValue(GlobalRandomSource, Objectify(NewType(RandomSourcesFamily,
-                                                  IsGlobalRandomSource),rec()));
+##
+if IsBound(HPCGAP) then
+BindThreadLocalConstructor("GlobalRandomSource", {} ->
+    Objectify(NewType(RandomSourcesFamily, IsGlobalRandomSource), rec()));
+else
+InstallValue(GlobalRandomSource,
+    Objectify(NewType(RandomSourcesFamily, IsGlobalRandomSource), rec()));
+fi;
+
 InstallMethod(Init, [IsGlobalRandomSource, IsObject], function(rs, seed)
   if IsInt(seed) then
     RANDOM_SEED(seed);
@@ -218,7 +224,12 @@ end);
 
 # One global Mersenne twister random source, can be used to overwrite
 # the library Random(list) and Random(a,b) methods.
+if IsBound(HPCGAP) then
+BindThreadLocalConstructor("GlobalMersenneTwister", {} ->
+    RandomSource(IsMersenneTwister, String(GET_RANDOM_SEED_COUNTER())));
+else
 InstallValue(GlobalMersenneTwister, RandomSource(IsMersenneTwister, "1"));
+fi;
 
 # default random method for lists and pairs of integers using the Mersenne
 # twister