From: Ben Pfaff Date: Thu, 20 Jan 2005 00:42:59 +0000 (+0000) Subject: Remove more or less meaningless comment. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa557bd51d490d49ede549b5932a8878615893a5;p=pintos-anon Remove more or less meaningless comment. --- diff --git a/doc/threads.texi b/doc/threads.texi index 7d7526c..6659732 100644 --- a/doc/threads.texi +++ b/doc/threads.texi @@ -557,10 +557,6 @@ implement this fix for semaphores, condition variables, or joins, although you are welcome to do so. However, you do need to implement priority scheduling in all cases. -You may assume a static priority for priority donation, that is, it is -not necessary to ``re-donate'' a thread's priority if it changes -(although you are free to do so). - @node Problem 1-4 Advanced Scheduler @section Problem 1-4: Advanced Scheduler