|
@@ -39,6 +39,12 @@ void desired_resources(const ZZ &order, unsigned short total_nodes,
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
// How many workers would we like to use?
|
|
// How many workers would we like to use?
|
|
|
|
|
+#if defined(DERANDOMIZE) || defined(MAKE_VERSIONS_COMPARABLE)
|
|
|
|
|
+ max_workers = 1;
|
|
|
|
|
+ // so that there aren't multiple workers using the
|
|
|
|
|
+ // exact same a, b, astep, etc
|
|
|
|
|
+ // or so that it's similar to the dlrho version
|
|
|
|
|
+#else
|
|
|
ZZ sorder23 = sorder >> 23;
|
|
ZZ sorder23 = sorder >> 23;
|
|
|
if (NumBits(sorder23) > 30) {
|
|
if (NumBits(sorder23) > 30) {
|
|
|
// Just use all the workers we can find
|
|
// Just use all the workers we can find
|
|
@@ -46,6 +52,7 @@ void desired_resources(const ZZ &order, unsigned short total_nodes,
|
|
|
} else {
|
|
} else {
|
|
|
max_workers = trunc_long(sorder23,31) + 1;
|
|
max_workers = trunc_long(sorder23,31) + 1;
|
|
|
}
|
|
}
|
|
|
|
|
+#endif
|
|
|
|
|
|
|
|
// By default, 1 in dpscale points are distinguished points.
|
|
// By default, 1 in dpscale points are distinguished points.
|
|
|
dpfreq = 4294967295U / dpscale;
|
|
dpfreq = 4294967295U / dpscale;
|