Add GCINTERVAL to param.h

0b2530e8 · Silas Boyd-Wickizer · 0ee57d47 · 0b2530e8 · 0b2530e8
--- a/kernel/gc.cc
+++ b/kernel/gc.cc
@@ -225,7 +225,8 @@ gc_worker(void *x)
  for (;;) {
    u64 i;
    acquire(&wl);
-    cv_sleepto(&gc_state[mycpu()->id].cv, &wl, nsectime() + 1000000000);
+    cv_sleepto(&gc_state[mycpu()->id].cv, &wl,
+               nsectime() + ((u64)GCINTERVAL)*1000000ull);
    release(&wl);
    gc_state[mycpu()->id].nrun++;
    u64 global = global_epoch;

--- a/param.h
+++ b/param.h
@@ -25,6 +25,7 @@
 #define USTACKPAGES   8
 #define WQSHIFT       7
 #define EXECSWITCH    1
+#define GCINTERVAL    1000 // max. time between GC runs (in msec)
 #if defined(HW_qemu)
 #define NCPU          8   // maximum number of CPUs
 #define MTRACE        0