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?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.