Seed the random number engine with a random seed

Results vary significantly with small numbers of tokens, so this allows running multiple times to get a feel of the variation.
avikivity · Apr 23, 2020 · e982414 · e982414
1 parent 8a446e0
commit e982414
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shardsim.cc b/shardsim.cc
@@ -56,7 +56,7 @@ struct vnode {
 double
 random_token() {
     static auto dist = std::uniform_real_distribution<double>(0, 1);
-    static auto re = std::default_random_engine();
+    static auto re = std::default_random_engine(std::random_device()());
     return dist(re);
 }