sem_up unblocks highest priority thread
merged synch.c