in multicore, generator periodically checks for new best to avoid generating many...

diff --git a/main.c b/main.c
index 5eb9e19d6b0b7caa3324e9c515561b895639a14e..69023658988f0526de782d0ea25a51b54e092a10 100644 (file)
--- a/main.c
+++ b/main.c
@@ -202,6 +202,8 @@ static void mc_awaitpid(int wnum, pid_t pid) {
 }
 
 static void multicore_outer_iteration(int i, AdjWord min) {
+  static unsigned check_counter;
+
   assert(i == multicore_iteration_boundary);
   mc_iter_min = min;
   mc_rwvsetup_outer();
@@ -209,6 +211,9 @@ static void multicore_outer_iteration(int i, AdjWord min) {
   assert(r == mc_iovlen);
   /* effectively, this writev arranges to transfers control
    * to some worker's instance of iterate_recurse via mc_iterate_worker */
+
+  if (!(check_counter++ & 0xff))
+    multicore_check_for_new_best();
 }
 
 static void mc_iterate_worker(void) {