From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 10 Jan 2006 22:56:29 +0000 (+0000)
Subject: Fix priority donation example.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=3fef1de27448b2c1a7829e04d4de4b13c56c97ef

Fix priority donation example.
From Godmar Back's TA.
---

diff --git a/doc/threads.texi b/doc/threads.texi
index e6e64f1..b84a8f6 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -681,8 +681,8 @@ If multiple threads have the same highest priority,
 
 Priority donation only changes the priority of the donee
 thread.  The donor thread's priority is unchanged.  
-Priority donation is not additive: if thread @var{A} (with priority 5) donates
-to thread @var{B} (with priority 3), then @var{B}'s new priority is 5, not 8.
+Priority donation is not additive: if thread @var{A} (with priority 3) donates
+to thread @var{B} (with priority 5), then @var{B}'s new priority is 3, not 8.
 
 @item Can a thread's priority change while it is on the ready queue?