Linux内核的竞态与并发——信号量实例