semaphore信号量：一个简单的示例程序