信号量负值可能吗？

Question

在信号量中 虽然包含条件s <= 0 其中s--在while循环之后。 s如何获得负值。