From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=90823ae32d93d84129ea163c48cb59a6bfaaa82c

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.