#include <thread.h> int sema_post(sema_t *sp);
sema_post(3THR) は、sp が指すセマフォの値を原子操作によって 1 増やします。そのセマフォでブロックされているスレッドがある場合は、そのスレッドのうちの 1 つのスレッドがブロック解除されます。