示例：带有身份验证功能的计数信号量