priority-sema and priority-donate-sema pass. thread_yield () was moved from lock_acquire () to sema_down ()