Adding SharC annotations. Type checker off
[akaros.git] / kern / src / smp.c
index aa50ac5..8c6c924 100644 (file)
@@ -17,6 +17,7 @@
 #include <assert.h>
 #include <pmap.h>
 #include <process.h>
+#include <manager.h>
 #include <trap.h>
 
 struct per_cpu_info per_cpu_info[MAX_NUM_CPUS];
@@ -24,17 +25,30 @@ struct per_cpu_info per_cpu_info[MAX_NUM_CPUS];
 // tracks number of global waits on smp_calls, must be <= NUM_HANDLER_WRAPPERS
 atomic_t outstanding_calls = 0;
 
-/* All non-zero cores call this at the end of their boot process.  They halt,
- * and wake up when interrupted, do any work on their work queue, then halt
- * when there is nothing to do.  
- * TODO: think about resetting the stack pointer at the beginning.
+/* All cores end up calling this whenever there is nothing left to do.  Non-zero
+ * cores call it when they are done booting.  Other cases include after getting
+ * a DEATH IPI.
+ * - Management cores (core 0 for now) call manager, which should never return.
+ * - Worker cores halt and wake up when interrupted, do any work on their work
+ *   queue, then halt again.
+ *
+ * TODO: think about resetting the stack pointer at the beginning for worker
+ * cores. (keeps the stack from growing if we never go back to userspace).
+ * TODO: think about unifying the manager into a workqueue function, so we don't
+ * need to check mgmt_core in here.  it gets a little ugly, since there are
+ * other places where we check for mgmt and might not smp_idle / call manager.
  */
 void smp_idle(void)
 {
-       enable_irq();
-       while (1) {
-               process_workqueue();
-               // consider races with work added after we started leaving the last func
-               cpu_halt();
+       if (!management_core()) {
+               enable_irq();
+               while (1) {
+                       process_workqueue();
+                       // consider races with work added after we started leaving the last func
+                       cpu_halt();
+               }
+       } else {
+               manager();
        }
+       assert(0);
 }