Fix two bugs in the base Pintos code:

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

diff --git a/src/threads/thread.h b/src/threads/thread.h
index fbef34b4673720b2f62bf3a80d1e08eadb441aa3..b45bdb8616f02b66c72a3c455215233de1b4f761 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -101,6 +101,13 @@ 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 options "-o mlfqs".
+   Note that the command line is not parsed until well after
+   thread_init() is called. */
+extern bool thread_mlfqs;
+
 void thread_init (void);
 void thread_start (void);