我正在尝试解决经典的“单channel隧道”信号量/互斥量问题。这是我写的代码，但它不起作用，我不明白为什么。理论上，只有当隧道已经被同向行驶的汽车占用时，来自相反方向的汽车才应该穿过，否则它们应该等待，输出应该是这样的:car1_leftToRightcrossingcar2_leftToRightcrossingcar1_leftToRightendcrossingcar2_leftToRightendcrossing(ALLcarsleftToRighthavecrossed)car1_rightToLeftstartcrossingetc..但我当前的输出是您可以在我附上的图片