Parse command-line options much earlier, so that thread_mlfqs is

[pintos-anon] / src / threads / thread.h

diff --git a/src/threads/thread.h b/src/threads/thread.h
index fbef34b4673720b2f62bf3a80d1e08eadb441aa3..0039560018ddc942fb2f10002ddd4d94e3045b8c 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -101,6 +101,11 @@ struct thread
     unsigned magic;                     /* Detects stack overflow. */
   };
 
+/* If false (default), use round-robin scheduler.
+   If true, use multi-level feedback queue scheduler.
+   Controlled by kernel command-line option "-o mlfqs". */
+extern bool thread_mlfqs;
+
 void thread_init (void);
 void thread_start (void);