X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=a544b78f06522fd89a27a76a2ea0c598b0bbbf3b;hb=59f80c83ea4d8d70c781dff37e4542f0707a5ee1;hp=9138daf5e12082273d00fdc667cc6618c7a6448b;hpb=f3f1ff8ee9010599559a2c194d529850764b581c;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index 9138daf..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