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