这怎么看都是信号量的bug吧

如上2图，是侦察兵的程序。

正常来说会以图1的顺序来写，可是图1的程序并没有能成功的将指令2的信号量判断给关掉。

可是按照图2的顺序写则可以正常达到目的。

但是图中被换位置的那条指令中并没有对信号量6的操作，应该不存在优先级问题。

所以这里怎么看都是bug吧？

唯一能设想到会导致这种现象发生的可能性是，看说明描述里应该以短路逻辑工作的指令优先级，实际上是以覆盖逻辑在工作的……