信号量会导致竞争条件吗？

Question

我是一名学生，目前正在研究操作系统的并发——信号量。 我阅读有关信号量、互斥量和信号量的书籍和文章......但似乎无法回答标题的条件。

---

存在一个信号量，信号量可以用作“二进制信号量”和“计数信号量”，按初始值分类。 我了解二进制信号量可以通过与互斥锁类似的行为来防止竞争条件（但由于各种原因，两者并不相同。）

我比较好奇的是，当我们初始化大于等于2的信号量值，比如说n，那么n个值就可以进入临界会话。那么这种信号量的使用会导致竞争条件吗？

我阅读了有关计数信号量的文章，并且认为它们被认为是跟踪对资源的访问，我对此感到困惑 难道我们不是这样使用counting semaphore吗，不是用来解决并发问题的counting semaphore吗？

---

添加在下面是因为我的问题不详细。

例如，当有100个线程时，我初始化X=10，然后用sem_init(&s, 0, X)初始化信号量，如果线程的代码流中有一个关键会话，那么它不会因为10而导致竞争条件是否允许线程使用资源并通过线程的流程？

Answer 1

信号量可以防止竞争条件。计数信号量用于它们控制的资源有多个可用实例。

如果他们控制对单个资源的访问，则将使用互斥信号量。如果有两个资源可以使用，那么将使用两个计数信号量。如果有 3 个，则信号量为 3，依此类推。

Answer 2

我比较好奇的是，当我们初始化大于等于2的信号量值，比如说n，那么n个值就可以进入临界会话。那么这种信号量的使用会导致竞争条件吗？

你说的是一个计数信号量，它通常被初始化为 0。我实际上想不出你想要将它初始化为一个值 >0 的用例，因为每个等待的线程/任务都会导致计数只要它在等待，信号量就会增加。而且增量是原子指令，不会引起并发问题。