linux下清理信号量