posix信号量相关函数