信号量如何从另一个线程释放？

Question

据我所知，线程可以释放信号量，而无需首先使用WaitOne获取锁。

所以，如果我们有线程A、B和C以及一个信号量，A和B调用WaitOne，得到一个锁，然后开始做他们的工作<线程C出现了，只需在信号量上调用Release。

这应该将信号量的计数增加1。这是否意味着信号量将终止A或B，或者只允许第三个线程获取锁并在其池中有3个线程，即使最大值为2？

Answer 1

您可以将信号量视为阻塞队列的特例：信号量的“计数”是队列中的项目数，但项目本身不包含任何信息。正如允许任何线程将项目放入阻塞队列，允许任何线程将项目取出一样，任何线程都可以增加或减少信号量的计数。

Answer 2

考虑

var semaphore = new SemaphoreSlim(2);

这意味着此时的信号量只有2个执行槽，但您必须记住，它只是执行槽的初始数量（对于并发授予的请求）。

因此，如果我们将A、B、C线程生成一个具有2个执行槽的信号量，那么前两个线程将被执行，C线程将排队，直到代码中的其他线程发出信号，再添加一个执行槽就可以了。

当有人说可以执行队列中的下一个线程时，无论其他线程如何，都将执行C。

（正如我在@dmitri-nesteruk的课程中看到的）

可用执行槽的总数由CurrentCount表示。

每次线程想要执行时，它都会询问信号量是否有可用的执行槽（使用MONtCount

使信号量如此混乱的是，CurrentCount的值可以减少也可以增加。

>

每次在代码中的其他地方调用发布（1）时，它会增加一个（或多个），这意味着还有一个可用的执行槽，所以队列中信号量中的第一个线程正在执行（它不会终止其他线程）。

在本例中，我们生成了3个线程，但只会执行前两个线程，直到有人对信号量说，他可以通过使用发布（1）增加当前计数来释放另一个执行槽。

for (int i = 0; i < 3 ; i++)
{
    Task.Factory.StartNew(() => 
    {
        Console.WriteLine($"Spawning task: {Task.CurrentId}");
        semaphore.Wait(); //CurrentCount--
        Console.WriteLine($"Executing task: {Task.CurrentId}");
    });
}


while (semaphore.CurrentCount <= 2)
{
    Console.ReadKey();
    Console.WriteLine("Key pressed");
    semaphore.Release(1); //CurrentCount++
}

Spawning task: A
Spawning task: B
Spawning task: C
Executing task: A
Executing task: B
.....
Key pressed
Executing task: C