操作系统：同步互斥——理发师睡觉问题