标签： process operating-system semaphore
我正在网上阅读有关信号量的信息，我发现这个问题我觉得非常有趣，我需要证明这一点：
For any semaphore S, it is always true that S >= 0
我无法理解如何做到这一点？
从我在网上看到的这句话是正确的，但我发现难以理解的原因是什么？
有人能够解决一些问题吗？