信号量在Java中的实现

Question

我没有使用足够奇怪的信号灯
无论如何，我在查看一些使用它的代码时发现，与锁不同，许可证可以由另一个线程发布（即没有所有权）
我研究了并发操作，它说（第98页）：

实现没有实际的许可对象。。。。因此，一个线程获得的许可证可以由另一个线程发布

我之前没有注意到这个细节，并查看了一本操作系统教科书，上面写着（我的重点）：

当一个进程修改信号量值时，没有其他进程。。。。等

那么这是Java具体的设计决定吗？我的意思是信号量不属于线程。
还是我误解了信号量的概念？

注意：这不是一个关于这是否是一个好/坏的设计等的问题。我只是想确定我是否理解这个概念

Answer 1

根据Wikipedia的说法，信号量不跟踪获取/发布的对象，只跟踪数字。因此，“所有权”在此不适用。阅读“重要观察”一节！

因此，没有所有权。在这方面，Java信号量做了正确的事情。Unix信号量（参见semop（2））也是这样工作的。

然而，一些教科书似乎相当随意地混合了术语“互斥锁”、“锁”和“信号量”——你可以自己判断这些文本的质量。

编辑：

我不敢相信Tannenbaum没有区分信号量和互斥量，所以我搜索了“当一个进程修改信号量值[…]”的完整引文并且想出了这样的东西（不知道他们是否来自Tannenbaum）：

[...]P和V操作中对S的修改是不可分割地执行的：即当一个进程修改信号量值时，没有其他进程可以同时修改相同的信号量值。[...]

其他引文如此相似，我怀疑是抄袭

关键是：如果你的文本读的是相同的，那么你误解了这一段的意图——它不是关于“所有权”，而是关于“仅”并发访问。当多个线程试图同时访问一个信号量时，线程必须被序列化，并且值的修改（请记住，所有资源的信号量中只有一个值）必须是原子的。