From: Ben Pfaff Date: Tue, 19 Oct 2004 02:05:09 +0000 (+0000) Subject: Clarify. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=73940b62000dc5a032a094f3c9a6923c9d30c8dc Clarify. --- diff --git a/doc/threads.texi b/doc/threads.texi index b177d43..a544b78 100644 --- a/doc/threads.texi +++ b/doc/threads.texi @@ -487,8 +487,9 @@ that @var{L} holds, then both @var{M} and @var{L} should be boosted to You only need to implement priority donation when a thread is waiting for a lock held by a lower-priority thread. You do not need to -implement this fix for semaphores, condition variables, or joins. -However, you do need to implement priority scheduling in all cases. +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