From 5831539fab1b7aa1575cc89ad35cba1fef8703be Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sat, 9 Oct 2004 21:26:38 +0000 Subject: [PATCH] Clarify. --- doc/threads.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.30.2