X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fsynch.c;h=b304244176ec6fc32c929bbfd691204370fb541f;hb=6bae0ee083ed3ef0a1df7e892c6509e47a0ad2dc;hp=c3b46a8c7f675708cacd2d68d0b35c894480c5f6;hpb=41cc2728b06b5e1eeb4cf5a4979692640049e047;p=pintos-anon

diff --git a/src/threads/synch.c b/src/threads/synch.c
index c3b46a8..b304244 100644
--- a/src/threads/synch.c
+++ b/src/threads/synch.c
@@ -70,8 +70,8 @@ sema_up (struct semaphore *sema)
 
   old_level = intr_disable ();
   if (!list_empty (&sema->waiters)) 
-    thread_ready (list_entry (list_pop_front (&sema->waiters),
-                              struct thread_elem, elem)->thread);
+    thread_wake (list_entry (list_pop_front (&sema->waiters),
+                             struct thread_elem, elem)->thread);
   sema->value++;
   intr_set_level (old_level);
 }