[threads-1,2,3] modifty sema_up, thread_set_priority using high_priority_cmp