From: Ben Pfaff Date: Thu, 23 Jun 2005 01:39:18 +0000 (+0000) Subject: Fix wording in priority donation section. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a0658782364e9d758ca07026cc0289b126830920;p=pintos-anon Fix wording in priority donation section. --- diff --git a/doc/threads.texi b/doc/threads.texi index 58cf316..f538d83 100644 --- a/doc/threads.texi +++ b/doc/threads.texi @@ -461,8 +461,7 @@ a lock that @var{M} holds and @var{M} is waiting on a lock that @var{L} holds, then both @var{M} and @var{L} should be boosted to @var{H}'s priority. -You need not implement priority donation when a thread is waiting -for a lock held by a lower-priority thread. You need not +You must implement priority donation for locks. You need not implement priority donation for semaphores or condition variables, but you are welcome to do so. You do need to implement priority scheduling in all cases.