Enable GC_MIN_MARKERS to set minimal number of pthread-based markers

* pthread_support.c (GC_thr_init): Allow to specify GC_markers
minimum value (by GC_MIN_MARKERS).

diff --git a/pthread_support.c b/pthread_support.c
index 6d5c314eb958f8545e87a6f2504dd6aea2e07782..5ad3a7de42dddb06e0fd277df78a72b57fb42404 100644 (file)
--- a/pthread_support.c
+++ b/pthread_support.c
@@ -1020,11 +1020,16 @@ GC_INNER void GC_thr_init(void)
          }
        } else {
          GC_markers = GC_nprocs;
+#        ifdef GC_MIN_MARKERS
+           /* This is primarily for targets without getenv().   */
+           if (GC_markers < GC_MIN_MARKERS)
+             GC_markers = GC_MIN_MARKERS;
+#        endif
          if (GC_markers >= MAX_MARKERS)
            GC_markers = MAX_MARKERS; /* silently limit GC_markers value */
        }
      }
-#   endif
+#  endif
   }
 # ifdef PARALLEL_MARK
     if (GC_print_stats) {