我知道理论和为什么使用它们，问题是面向它的内部功能，因为我认为信号量只不过是一个全局变量或文件，以及SO如何在上下行时保证互斥例如，同时调用，up 可能会覆盖与 down 相同的变量，反之亦然。即使这些函数内部有像 Decker 或 Peterson 这样的算法，它们也使用可以同时被覆盖的全局变量。理论上不可能保证互斥吗？