X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fthread.h;h=0039560018ddc942fb2f10002ddd4d94e3045b8c;hb=53a7f5d0952a4595f252247f5ee3d017468eb57e;hp=2043d8dc86e251bbd8c0492aaabc8266e935c3b9;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 2043d8d..0039560 100644
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -20,9 +20,9 @@ typedef int tid_t;
 #define TID_ERROR ((tid_t) -1)          /* Error value for tid_t. */
 
 /* Thread priorities. */
-#define PRI_MIN 0                       /* Highest priority. */
+#define PRI_MIN 0                       /* Lowest priority. */
 #define PRI_DEFAULT 31                  /* Default priority. */
-#define PRI_MAX 63                      /* Lowest priority. */
+#define PRI_MAX 63                      /* Highest priority. */
 
 /* A kernel thread or user process.
 
@@ -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);