From: Ben Pfaff Date: Sat, 9 Oct 2004 21:26:38 +0000 (+0000) Subject: Clarify. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8948923498b937bb8a91ab8a5b0360f3013220fb;p=pintos-anon Clarify. --- diff --git a/doc/threads.texi b/doc/threads.texi index e1191bf..e5b087b 100644 --- a/doc/threads.texi +++ b/doc/threads.texi @@ -447,9 +447,9 @@ Implement priority scheduling in Pintos. Priority scheduling is a key building block for real-time systems. Implement functions @func{thread_set_priority} to set the priority of the running thread and @func{thread_get_priority} to get the running thread's priority. -(A thread can examine and modify only its own priority.) There are -already prototypes for these functions in @file{threads/thread.h}, -which you should not change. +(This API only allows a thread to examine and modify its own +priority.) There are already prototypes for these functions in +@file{threads/thread.h}, which you should not change. Thread priority ranges from @code{PRI_MIN} (0) to @code{PRI_MAX} (59). The initial thread priority is passed as an argument to