do rcu_gc even when not idle

7cc9dbf2 · Nickolai Zeldovich · 845e50fe · 7cc9dbf2
--- a/proc.c
+++ b/proc.c
@@ -546,13 +546,13 @@ scheduler(void)
      }
    }
-    if (idle[cpu->id]) {
+    int now = ticks;
-      int now = ticks;
+    if (now - cpu->last_rcu_gc_ticks > 100) {
-      if (now - cpu->last_rcu_gc_ticks > 100) {
+      rcu_gc();
-	rcu_gc();
+      cpu->last_rcu_gc_ticks = now;
-	cpu->last_rcu_gc_ticks = now;
+    }
-      }
+    if (idle[cpu->id]) {
      sti();
      hlt();
    }