#include <thread.h> int sema_post(sema_t *sp);
Use sema_post(3THR) to atomically increment the semaphore pointed to by sp. When any threads are blocked on the semaphore, one is unblocked.