linux信号量处理函数