Interface and details about posix semaphore