From: Ben Pfaff Date: Sat, 8 Jul 2006 18:56:36 +0000 (+0000) Subject: "woken up" => "awakened" X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2e9f1eca8738a888033e4be9f661da9734e130e9;p=pintos-anon "woken up" => "awakened" --- diff --git a/doc/threads.texi b/doc/threads.texi index 7964879..f8cd04e 100644 --- a/doc/threads.texi +++ b/doc/threads.texi @@ -447,7 +447,7 @@ When a thread is added to the ready list that has a higher priority than the currently running thread, the current thread should immediately yield the processor to the new thread. Similarly, when threads are waiting for a lock, semaphore, or condition variable, the -highest priority waiting thread should be woken up first. A thread +highest priority waiting thread should be awakened first. A thread may raise or lower its own priority at any time, but lowering its priority such that it no longer has the highest priority must cause it to immediately yield the CPU.