X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=f5e60585f685a9b0e8f0779192bb6bff108abc57;hb=2791793b038dec7e3365d6570bff5c3afaaa188c;hp=51b52f7abb95b80966d3dc684ecfeafaeed5ca5b;hpb=7e97928e155c19be56010f3f8ec2dc8f03c6985c;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index 51b52f7..f5e6058 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -697,6 +697,13 @@ priority to @var{L}.  @var{L} releases the lock and
 thus loses the CPU and is moved to the ready queue.  Now @var{L}'s
 old priority is restored while it is in the ready queue.
 
+@item Can a thread's priority change while it is blocked?
+
+Yes.  While a thread that has acquired lock @var{L} is blocked for any
+reason, its priority can increase by priority donation if a
+higher-priority thread attempts to acquire @var{L}.  This case is
+checked by the @code{priority-donate-sema} test.
+
 @item Can a thread added to the ready list preempt the processor?
 
 Yes.  If a thread added to the ready list has higher priority than the